All workflows

Workflow runs

• [documentation]: document seq tactic

  completed successfully:
  Build documentation#1627:Commit5ffc8ffpushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20267m 35s
  More actions for workflow run 1627

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5977:Commit5ffc8ffpushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202633m 45s
  More actions for workflow run 5977

• Enforce single-commit PR

  completed successfully:
  Enforce single-commit PR#986:Merge group checks requested
  Oct 30, 20268s
  More actions for workflow run 986

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5976:Merge group checks requested
  Oct 30, 202622m 22s
  More actions for workflow run 5976

• remove parts that are in flux (or might be wrong) due to soundness fixes

  completed successfully:
  EasyCrypt CI#5975:Commitc37f918pushedbyfdupress
  main

  Oct 30, 202632m 46s
  More actions for workflow run 5975

• remove parts that are in flux (or might be wrong) due to soundness fixes

  completed successfully:
  Build documentation#1626:Commitc37f918pushedbyfdupress
  main

  Oct 30, 20267m 51s
  More actions for workflow run 1626

• fix(phl): require the invariant on loop entry in the while variant …

  completed successfully:
  Build documentation#1625:Commit21d1f1epushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20265m 53s
  More actions for workflow run 1625

• fix(phl): require the invariant on loop entry in the while variant …

  completed successfully:
  EasyCrypt CI#5974:Commit21d1f1epushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202642m 30s
  More actions for workflow run 5974

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5973:Merge group checks requested
  Oct 30, 202622m 11s
  More actions for workflow run 5973

• Enforce single-commit PR

  completed successfully:
  Enforce single-commit PR#985:Merge group checks requested
  Oct 30, 20268s
  More actions for workflow run 985

• [documentation]: document while tactic

  completed successfully:
  Build documentation#1624:Pull request#880synchronizebyfdupress
  doc-while-tactic

  Oct 30, 202612m 54s
  More actions for workflow run 1624

• [documentation]: document while tactic

  failed:
  Enforce single-commit PR#984:Pull request#880synchronizebyfdupress
  doc-while-tactic

  Oct 30, 20266s
  More actions for workflow run 984

• [documentation]: document while tactic

  completed successfully:
  EasyCrypt CI#5972:Pull request#880synchronizebyfdupress
  doc-while-tactic

  Oct 30, 202623m 49s
  More actions for workflow run 5972

• [documentation]: document seq tactic

  completed successfully:
  Enforce single-commit PR#983:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 20267s
  More actions for workflow run 983

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5971:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 202624m 23s
  More actions for workflow run 5971

• [documentation]: document seq tactic

  completed successfully:
  Build documentation#1623:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 20267m 37s
  More actions for workflow run 1623

• [documentation]: document seq tactic

  cancelled:
  Build documentation#1622:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 20262m 7s
  More actions for workflow run 1622

• [documentation]: document seq tactic

  failed:
  Enforce single-commit PR#982:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 20267s
  More actions for workflow run 982

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5970:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 202620m 51s
  More actions for workflow run 5970

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  Build documentation#1621:Commit76d5c0dpushedbyfdupress
  main

  Oct 30, 20268m 5s
  More actions for workflow run 1621

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  EasyCrypt CI#5969:Commit76d5c0dpushedbyfdupress
  main

  Oct 30, 202638m 30s
  More actions for workflow run 5969

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  Enforce single-commit PR#981:Pull request#1225openedbyfdupress
  docker-z3-5.3.3

  Oct 30, 20263m 16s
  More actions for workflow run 981

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  EasyCrypt CI#5968:Pull request#1225openedbyfdupress
  docker-z3-5.3.3

  Oct 30, 202626m 28s
  More actions for workflow run 5968

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  Build documentation#1620:Pull request#1225openedbyfdupress
  docker-z3-5.3.3

  Oct 30, 202610m 41s
  More actions for workflow run 1620

• feat(theories): make FinType.card abstract, specified by card_spec

  requires action with the application:
  Enforce single-commit PR#980:Pull request#1224openedbymattc-try
  mattc-try:feat/fintype-abstract-card

  Oct 30, 2026Action required
  More actions for workflow run 980