halmos

Workflow runs for halmos

• Merge halmos-440: slice fixed-decimal and withTargetExponent lemmas v…

  cancelled:
  halmos#34:Commitc99fe0dpushedbythedavidmeister
  halmos-fixed-decimal

  Oct 13, 202641m 16s
  More actions for workflow run 34

• halmos

  cancelled:
  halmos#33:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 202658m 18s
  More actions for workflow run 33

• halmos

  cancelled:
  halmos#32:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 202659m 8s
  More actions for workflow run 32

• halmos

  cancelled:
  halmos#31:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 0m 8s
  More actions for workflow run 31

• halmos

  cancelled:
  halmos#30:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 1m 9s
  More actions for workflow run 30

• halmos

  cancelled:
  halmos#29:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 2m 5s
  More actions for workflow run 29

• halmos

  cancelled:
  halmos#28:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 2m 21s
  More actions for workflow run 28

• halmos

  cancelled:
  halmos#27:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 2m 32s
  More actions for workflow run 27

• halmos

  cancelled:
  halmos#26:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 2m 47s
  More actions for workflow run 26

• halmos

  cancelled:
  halmos#25:Manually runbythedavidmeister
  halmos-div-inv

  Oct 13, 20261h 2m 52s
  More actions for workflow run 25

• Halmos: packing lemmas (packLossy, packLossless, unpack, canonicalize)

  cancelled:
  halmos#24:Commit8818996pushedbythedavidmeister
  halmos-packing

  Oct 13, 20261h 8m 27s
  More actions for workflow run 24

• halmos

  cancelled:
  halmos#23:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 18m 24s
  More actions for workflow run 23

• halmos

  cancelled:
  halmos#22:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 17m 50s
  More actions for workflow run 22

• halmos

  cancelled:
  halmos#21:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 17m 11s
  More actions for workflow run 21

• halmos

  cancelled:
  halmos#20:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 16m 38s
  More actions for workflow run 20

• halmos

  cancelled:
  halmos#19:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 16m 3s
  More actions for workflow run 19

• halmos

  cancelled:
  halmos#18:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 20261h 17m 5s
  More actions for workflow run 18

• halmos

  failed:
  halmos#17:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 202636m 41s
  More actions for workflow run 17

• halmos

  cancelled:
  halmos#16:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 202638m 13s
  More actions for workflow run 16

• halmos

  failed:
  halmos#15:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 202642m 38s
  More actions for workflow run 15

• halmos

  completed successfully:
  halmos#14:Manually runbythedavidmeister
  halmos-agree

  Oct 13, 202635m 52s
  More actions for workflow run 14

• CI: halmos on every push, sliced lemmas, 300s per run

  cancelled:
  halmos#13:Commitd1e3a52pushedbythedavidmeister
  halmos-440

  Oct 13, 20261h 18m 56s
  More actions for workflow run 13

• halmos

  failed:
  halmos#12:Manually runbythedavidmeister
  halmos-fixed-decimal

  Oct 13, 20263m 31s
  More actions for workflow run 12

• halmos

  completed successfully:
  halmos#11:Manually runbythedavidmeister
  halmos-fixed-decimal

  Oct 13, 202610m 21s
  More actions for workflow run 11

• halmos

  completed successfully:
  halmos#10:Manually runbythedavidmeister
  halmos-fixed-decimal

  Oct 13, 20266m 24s
  More actions for workflow run 10