All workflows

Workflow runs

• CI (Alpine)

  failed:
  CI (Alpine)#535:Scheduled
  master

  Nov 1, 20268s
  More actions for workflow run 535

• Adapt to rocq-prover/rocq#22173 (Delay q <= Type using above_prop)

  completed successfully:
  CI (Alpine)#534:Pull request#320openedbySkySkimmer
  SkySkimmer:belowtype-real

  Oct 16, 202615s
  More actions for workflow run 534

• Adapt to rocq-prover/rocq#22173 (Delay q <= Type using above_prop)

  completed successfully:
  Nix CI for bundle rocq-9.2#317:Pull request#320openedbySkySkimmer
  Oct 16, 202622m 41s
  More actions for workflow run 317

• Adapt to rocq-prover/rocq#22173 (Delay q <= Type using above_prop)

  failed:
  Nix CI for bundle rocq-master#890:Pull request#320openedbySkySkimmer
  Oct 16, 20261h 22m 15s
  More actions for workflow run 890

• Adapt to rocq-prover/rocq#22173 (Delay q <= Type using above_prop)

  completed successfully:
  Nix CI for bundle rocq-9.3#89:Pull request#320openedbySkySkimmer
  Oct 16, 202628m 40s
  More actions for workflow run 89

• Merge pull request #319 from SkySkimmer/fixwarn

  completed successfully:
  Nix CI for bundle rocq-9.2#316:Commit5a6422fpushedbyproux01
  master

  Oct 15, 20266m 9s
  More actions for workflow run 316

• Merge pull request #319 from SkySkimmer/fixwarn

  completed successfully:
  CI (Alpine)#533:Commit5a6422fpushedbyproux01
  master

  Oct 15, 202615s
  More actions for workflow run 533

• Merge pull request #319 from SkySkimmer/fixwarn

  completed successfully:
  Nix CI for bundle rocq-9.3#88:Commit5a6422fpushedbyproux01
  master

  Oct 15, 20267m 51s
  More actions for workflow run 88

• Merge pull request #319 from SkySkimmer/fixwarn

  completed successfully:
  Nix CI for bundle rocq-master#889:Commit5a6422fpushedbyproux01
  master

  Oct 15, 20262h 8m 21s
  More actions for workflow run 889

• Fix scope warning in MSetRBT ifpred abbreviation

  completed successfully:
  CI (Alpine)#532:Pull request#319openedbySkySkimmer
  SkySkimmer:fixwarn

  Oct 15, 202616s
  More actions for workflow run 532

• Fix scope warning in MSetRBT ifpred abbreviation

  cancelled:
  Nix CI for bundle rocq-master#888:Pull request#319openedbySkySkimmer
  Oct 15, 202642m 18s
  More actions for workflow run 888

• Fix scope warning in MSetRBT ifpred abbreviation

  completed successfully:
  Nix CI for bundle rocq-9.2#315:Pull request#319openedbySkySkimmer
  Oct 15, 202612m 58s
  More actions for workflow run 315

• Fix scope warning in MSetRBT ifpred abbreviation

  completed successfully:
  Nix CI for bundle rocq-9.3#87:Pull request#319openedbySkySkimmer
  Oct 15, 202620m 46s
  More actions for workflow run 87

• Merge pull request #311 from zacharie-moughanim/master

  completed successfully:
  Nix CI for bundle rocq-9.2#314:Commitc59bf6fpushedbyproux01
  master

  Oct 15, 202625m 25s
  More actions for workflow run 314

• Merge pull request #311 from zacharie-moughanim/master

  completed successfully:
  Nix CI for bundle rocq-master#887:Commitc59bf6fpushedbyproux01
  master

  Oct 15, 202632m 18s
  More actions for workflow run 887

• Merge pull request #311 from zacharie-moughanim/master

  completed successfully:
  Nix CI for bundle rocq-9.3#86:Commitc59bf6fpushedbyproux01
  master

  Oct 15, 202628m 2s
  More actions for workflow run 86

• Merge pull request #311 from zacharie-moughanim/master

  completed successfully:
  CI (Alpine)#531:Commitc59bf6fpushedbyproux01
  master

  Oct 15, 202613s
  More actions for workflow run 531

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  CI (Alpine)#530:Pull request#311synchronizebyzacharie-moughanim
  zacharie-moughanim:master

  Oct 15, 202618s
  More actions for workflow run 530

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  Nix CI for bundle rocq-master#886:Pull request#311synchronizebyzacharie-moughanim
  Oct 15, 20262h 10m 49s
  More actions for workflow run 886

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  Nix CI for bundle rocq-9.3#85:Pull request#311synchronizebyzacharie-moughanim
  Oct 15, 202624m 22s
  More actions for workflow run 85

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  Nix CI for bundle rocq-9.2#313:Pull request#311synchronizebyzacharie-moughanim
  Oct 15, 202617m 55s
  More actions for workflow run 313

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  CI (Alpine)#529:Pull request#311synchronizebyzacharie-moughanim
  zacharie-moughanim:master

  Oct 14, 202618s
  More actions for workflow run 529

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  Nix CI for bundle rocq-master#885:Pull request#311synchronizebyzacharie-moughanim
  Oct 14, 20261h 27m 9s
  More actions for workflow run 885

• Add ↔︎ with text variation selector as a notation for equivalence.

  completed successfully:
  Nix CI for bundle rocq-9.3#84:Pull request#311synchronizebyzacharie-moughanim
  Oct 14, 202616m 20s
  More actions for workflow run 84

• Add ↔︎ with text variation selector as a notation for equivalence.

  failed:
  Nix CI for bundle rocq-9.2#312:Pull request#311synchronizebyzacharie-moughanim
  Oct 14, 202618m 31s
  More actions for workflow run 312