All workflows

Workflow runs

• Escape-window separation for the fast constructive reals (discussion draft, cf. #227)

  completed successfully:
  Docker CI#128:Pull request#228openedbyhy7pc8gfmf-dotcom
  hy7pc8gfmf-dotcom:crn-pi

  Oct 14, 202613m 26s
  More actions for workflow run 128

• Support Rocq 9.1 and 9.2

  failed:
  Docker CI#127:Pull request#226synchronizebyspitters
  bump-rocq-9.2

  Jul 11, 202617m 3s
  More actions for workflow run 127

• Support Rocq 9.1 and 9.2

  failed:
  Docker CI#126:Pull request#226openedbyspitters
  bump-rocq-9.2

  Jul 11, 202616m 56s
  More actions for workflow run 126

• Drop compat with 8.18 (#223)

  completed successfully:
  Docker CI#125:Commitada7c0bpushedbyLysxia
  master

  Apr 4, 202613m 17s
  More actions for workflow run 125

• Drop compat with 8.18

  completed successfully:
  Docker CI#124:Pull request#223openedbySkySkimmer
  SkySkimmer:up-18

  Apr 3, 202616m 46s
  More actions for workflow run 124

• Fix incorrect Proof commands (#222)

  failed:
  Docker CI#123:Commit7042c72pushedbySkySkimmer
  master

  Apr 3, 202613m 16s
  More actions for workflow run 123

• Fix incorrect Proof commands

  failed:
  Docker CI#122:Pull request#222synchronizebySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202622m 39s
  More actions for workflow run 122

• Fix incorrect Proof commands

  failed:
  Docker CI#121:Pull request#222synchronizebySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202621m 50s
  More actions for workflow run 121

• Fix incorrect Proof commands

  failed:
  Docker CI#120:Pull request#222synchronizebySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202615m 49s
  More actions for workflow run 120

• Fix incorrect Proof commands

  failed:
  Docker CI#119:Pull request#222synchronizebySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202614m 55s
  More actions for workflow run 119

• Fix incorrect Proof commands

  failed:
  Docker CI#118:Pull request#222synchronizebySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202616m 28s
  More actions for workflow run 118

• Fix incorrect Proof commands

  failed:
  Docker CI#117:Pull request#222openedbySkySkimmer
  SkySkimmer:warn-missing-proof

  Apr 2, 202616m 4s
  More actions for workflow run 117

• Adapt to https://github.com/rocq-prover/rocq/pull/21849 (#221)

  failed:
  Docker CI#116:Commit8127c26pushedbyproux01
  master

  Apr 2, 202613m 21s
  More actions for workflow run 116

• Adapt to https://github.com/rocq-prover/rocq/pull/21849

  failed:
  Docker CI#115:Pull request#221openedbyproux01
  rocq21849

  Apr 2, 202613m 36s
  More actions for workflow run 115

• Adapt to rocq-prover/rocq#21129. (#220)

  failed:
  Docker CI#114:Commit225384epushedbyppedrot
  master

  Sep 28, 202513m 34s
  More actions for workflow run 114

• Adapt to rocq-prover/rocq#21129.

  failed:
  Docker CI#113:Pull request#220openedbyppedrot
  ppedrot:intuition-stop-using-auto-with-star

  Sep 28, 202513m 34s
  More actions for workflow run 113