All workflows

Workflow runs

• oracle

  completed successfully:
  oracle#29:Scheduled
  main

  Oct 19, 20261m 44s
  More actions for workflow run 29

• oracle

  completed successfully:
  oracle#28:Scheduled
  main

  Oct 12, 20261m 48s
  More actions for workflow run 28

• oracle

  completed successfully:
  oracle#27:Scheduled
  main

  Oct 5, 20261m 49s
  More actions for workflow run 27

• oracle

  completed successfully:
  oracle#26:Scheduled
  main

  Sep 28, 20262m 0s
  More actions for workflow run 26

• oracle

  completed successfully:
  oracle#25:Scheduled
  main

  Sep 21, 20261m 51s
  More actions for workflow run 25

• oracle

  failed:
  oracle#24:Scheduled
  main

  Sep 14, 20261m 46s
  More actions for workflow run 24

• oracle

  completed successfully:
  oracle#23:Scheduled
  main

  Sep 7, 20261m 50s
  More actions for workflow run 23

• oracle

  failed:
  oracle#22:Scheduled
  main

  Aug 31, 20261m 32s
  More actions for workflow run 22

• oracle

  completed successfully:
  oracle#21:Scheduled
  main

  Aug 24, 20261m 49s
  More actions for workflow run 21

• oracle

  completed successfully:
  oracle#20:Scheduled
  main

  Aug 17, 20261m 46s
  More actions for workflow run 20

• oracle

  completed successfully:
  oracle#19:Manually runbyemircbngl
  main

  Aug 16, 20261m 53s
  More actions for workflow run 19

• Close issues #2 and #4: an order-dependent verdict, and 22 git subpro…

  completed successfully:
  ci#86:Commit04df808pushedbyemircbngl
  main

  Aug 15, 20265m 22s
  More actions for workflow run 86

• oracle

  completed successfully:
  oracle#18:Manually runbyemircbngl
  main

  Aug 11, 20261m 40s
  More actions for workflow run 18

• Take the withdrawn claim out of the places I did not look

  completed successfully:
  ci#85:Commit5100ab0pushedbyemircbngl
  main

  Aug 11, 20264m 49s
  More actions for workflow run 85

• oracle

  completed successfully:
  oracle#17:Manually runbyemircbngl
  main

  Aug 11, 20261m 48s
  More actions for workflow run 17

• Withdraw the claim I could not establish, and make two fields agree

  completed successfully:
  ci#84:Commit7839530pushedbyemircbngl
  main

  Aug 11, 20264m 50s
  More actions for workflow run 84

• oracle

  completed successfully:
  oracle#16:Manually runbyemircbngl
  main

  Aug 10, 20261m 48s
  More actions for workflow run 16

• Replace a fitted bound with a structural one, and take the name off t…

  completed successfully:
  ci#83:Commit6521f89pushedbyemircbngl
  main

  Aug 10, 20264m 43s
  More actions for workflow run 83

• oracle

  completed successfully:
  oracle#15:Manually runbyemircbngl
  main

  Aug 10, 20261m 50s
  More actions for workflow run 15

• Fix the branch I did not test, and make a diagnostic keep its own con…

  completed successfully:
  ci#82:Commit5985150pushedbyemircbngl
  main

  Aug 10, 20264m 51s
  More actions for workflow run 82

• oracle

  completed successfully:
  oracle#14:Manually runbyemircbngl
  main

  Aug 10, 20261m 50s
  More actions for workflow run 14

• A test that compared a number with itself, and two claims still too s…

  completed successfully:
  ci#81:Commit2b35879pushedbyemircbngl
  main

  Aug 10, 20264m 44s
  More actions for workflow run 81

• oracle

  completed successfully:
  oracle#13:Manually runbyemircbngl
  main

  Aug 10, 20261m 50s
  More actions for workflow run 13

• Undo an API break I caused, and stop the statuses claiming more than …

  completed successfully:
  ci#80:Commit7f2170cpushedbyemircbngl
  main

  Aug 10, 20264m 27s
  More actions for workflow run 80

• oracle

  completed successfully:
  oracle#12:Manually runbyemircbngl
  main

  Aug 10, 20261m 51s
  More actions for workflow run 12