All workflows

Workflow runs

• CI

  completed successfully:
  CI#37:Scheduled
  main

  Nov 9, 202614m 53s
  More actions for workflow run 37

• CI

  completed successfully:
  CI#36:Scheduled
  main

  Nov 2, 202614m 39s
  More actions for workflow run 36

• CI

  completed successfully:
  CI#35:Scheduled
  main

  Oct 26, 202614m 13s
  More actions for workflow run 35

• CI

  completed successfully:
  CI#34:Scheduled
  main

  Oct 19, 202619m 40s
  More actions for workflow run 34

• CI

  failed:
  CI#33:Scheduled
  main

  Oct 12, 202618m 41s
  More actions for workflow run 33

• CI

  completed successfully:
  CI#32:Scheduled
  main

  Oct 5, 202617m 38s
  More actions for workflow run 32

• CI

  completed successfully:
  CI#31:Scheduled
  main

  Sep 28, 202622m 24s
  More actions for workflow run 31

• chore: exclude formal/ from GitHub language stats (#6)

  completed successfully:
  CI#30:Commit40eb65fpushedbythevilledev
  main

  Sep 26, 20265m 2s
  More actions for workflow run 30

• chore: exclude formal/ from GitHub language stats

  completed successfully:
  CI#29:Pull request#6openedbythevilledev
  fix/gitattributes-linguist

  Sep 26, 20264m 3s
  More actions for workflow run 29

• CI: cut version matrices and stop duplicate PR runs (#5)

  completed successfully:
  CI#28:Commitb82e655pushedbythevilledev
  main

  Sep 26, 20263m 47s
  More actions for workflow run 28

• CI: cut version matrices and stop duplicate PR runs

  completed successfully:
  CI#27:Pull request#5synchronizebythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20269m 28s
  More actions for workflow run 27

• CI: cut version matrices and stop duplicate PR runs

  completed successfully:
  CI#26:Pull request#5synchronizebythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20264m 13s
  More actions for workflow run 26

• CI: drop the separate Dune version matrix

  completed successfully:
  CI#25:Commitb516d0bpushedbythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20264m 22s
  More actions for workflow run 25

• CI: cut version matrices and stop duplicate PR runs

  cancelled:
  CI#24:Pull request#5synchronizebythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20263m 1s
  More actions for workflow run 24

• CI: use OCaml 5.5 instead of 5.4

  cancelled:
  CI#23:Commit67e4485pushedbythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20263m 5s
  More actions for workflow run 23

• CI: cut version matrices and stop duplicate PR runs

  cancelled:
  CI#22:Pull request#5openedbythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20264m 4s
  More actions for workflow run 22

• CI: test only OCaml 4.14 and 5.4

  cancelled:
  CI#21:Commit397fc11pushedbythevilledev
  claude/busy-cannon-td6dk6

  Sep 26, 20265m 46s
  More actions for workflow run 21

• Add Lean 4 proofs and TLA+ models of both backends (#4)

  completed successfully:
  CI#20:Commitf13e6e0pushedbythevilledev
  main

  Sep 23, 20267m 13s
  More actions for workflow run 20

• fix: treat every nonzero phflag as Ed448ph in both backends (#3)

  completed successfully:
  CI#19:Commitdf56eaepushedbythevilledev
  main

  Sep 23, 20264m 16s
  More actions for workflow run 19

• fix: check the carry-remainder hints in the kernel generator's proof …

  completed successfully:
  CI#18:Commitdb14a9cpushedbythevilledev
  main

  Sep 23, 20264m 8s
  More actions for workflow run 18

• fix: correct the tight-element bound in Fe448.to_bytes' comment (#1)

  completed successfully:
  CI#17:Commitb50b110pushedbythevilledev
  main

  Sep 23, 20264m 16s
  More actions for workflow run 17

• Add Lean 4 proofs and TLA+ models of both backends

  completed successfully:
  CI#16:Pull request#4openedbythevilledev
  claude/lean-tla-formal-verification-9761f0

  Sep 23, 202611m 34s
  More actions for workflow run 16

• fix: treat every nonzero phflag as Ed448ph in both backends

  completed successfully:
  CI#15:Pull request#3openedbythevilledev
  claude/fix-ocaml-backend-phflag

  Sep 23, 202615m 25s
  More actions for workflow run 15

• fix: check the carry-remainder hints in the kernel generator's proof

  completed successfully:
  CI#14:Pull request#2openedbythevilledev
  claude/fix-gen-fe448-remainder-hints

  Sep 23, 20265m 54s
  More actions for workflow run 14

• fix: correct the tight-element bound in Fe448.to_bytes' comment

  completed successfully:
  CI#13:Pull request#1openedbythevilledev
  claude/fix-fe448-tight-bound-comment

  Sep 23, 20269m 2s
  More actions for workflow run 13