Skip to content

All workflows

Showing runs from all workflows

    Workflow runs

    395 workflow runs

    • Originality proofs

      skipped:
      Originality proofs#75:Scheduled
      main
      Oct 17, 20261s

    • pushUrl

      completed successfully:
      pushUrl#124:Scheduled
      main
      Oct 17, 202623s

    • Originality proofs

      skipped:
      Originality proofs#74:Scheduled
      main
      Oct 16, 20261s

    • pushUrl

      completed successfully:
      pushUrl#123:Scheduled
      main
      Oct 16, 202630s

    • Originality proofs

      skipped:
      Originality proofs#73:Scheduled
      main
      Oct 15, 20261s

    • pushUrl

      completed successfully:
      pushUrl#122:Scheduled
      main
      Oct 15, 202624s

    • Originality proofs

      skipped:
      Originality proofs#72:Scheduled
      main
      Oct 14, 20261s

    • pushUrl

      completed successfully:
      pushUrl#121:Scheduled
      main
      Oct 14, 202621s

    • Originality proofs

      skipped:
      Originality proofs#71:Scheduled
      main
      Oct 13, 20262s

    • pushUrl

      completed successfully:
      pushUrl#120:Scheduled
      main
      Oct 13, 202622s

    • CodeQL

      completed successfully:
      CodeQL#60:Scheduled
      main
      Oct 12, 20262m 29s

    • Originality proofs

      skipped:
      Originality proofs#70:Scheduled
      main
      Oct 12, 20261s

    • Stale issues

      completed successfully:
      Stale issues#10:Scheduled
      main
      Oct 12, 20269s

    • pushUrl

      completed successfully:
      pushUrl#119:Scheduled
      main
      Oct 12, 202620s

    • Originality proofs

      skipped:
      Originality proofs#69:Scheduled
      main
      Oct 11, 202611s

    • pushUrl

      completed successfully:
      pushUrl#118:Scheduled
      main
      Oct 11, 202620s

    • Originality proofs

      skipped:
      Originality proofs#68:Scheduled
      main
      Oct 10, 20261s

    • pushUrl

      completed successfully:
      pushUrl#117:Scheduled
      main
      Oct 10, 202621s

    • Originality proofs

      skipped:
      Originality proofs#67:Scheduled
      main
      Oct 9, 20262s

    • pushUrl

      completed successfully:
      pushUrl#116:Scheduled
      main
      Oct 9, 202620s

    • Originality proofs

      skipped:
      Originality proofs#66:Scheduled
      main
      Oct 8, 20262s

    • pushUrl

      completed successfully:
      pushUrl#115:Scheduled
      main
      Oct 8, 202618s

    • Originality proofs

      skipped:
      Originality proofs#65:Scheduled
      main
      Oct 7, 20262s

    • pushUrl

      completed successfully:
      pushUrl#114:Scheduled
      main
      Oct 7, 202621s

    • Originality proofs

      skipped:
      Originality proofs#64:Scheduled
      main
      Oct 6, 20262s