CI

Workflow runs for CI

• Update readme to reflect official release

  completed successfully:
  CI#15:Commit9a43aaapushedbyshilangyu
  main

  May 13, 20265m 22s
  More actions for workflow run 15

• Add publishing script

  completed successfully:
  CI#14:Commitf00c2d5pushedbyshilangyu
  main

  May 11, 20265m 25s
  More actions for workflow run 14

• Add 9.2 to CI

  completed successfully:
  CI#13:Commitada2bbapushedbyshilangyu
  main

  May 11, 20265m 35s
  More actions for workflow run 13

• Test: CD

  cancelled:
  CI#12:Commitc20d190pushedbyshilangyu
  main

  May 11, 20261m 1s
  More actions for workflow run 12

• Test: CD

  cancelled:
  CI#11:Commit97ef18cpushedbyshilangyu
  main

  May 9, 202615s
  More actions for workflow run 11

• Test: CD

  cancelled:
  CI#10:Commitcc2396fpushedbyshilangyu
  main

  May 9, 202622s
  More actions for workflow run 10

• Test: CD

  cancelled:
  CI#9:Commit9429443pushedbyshilangyu
  main

  May 9, 20261m 48s
  More actions for workflow run 9

• Add 9.2 to CI

  failed:
  CI#8:Commitada2bbapushedbyshilangyu
  main

  May 9, 202629m 2s
  More actions for workflow run 8

• Prevent hard fails during failed proofs

  completed successfully:
  CI#7:Commitc2c6b1fpushedbyshilangyu
  main

  Mar 23, 20265m 16s
  More actions for workflow run 7

• Fix finding cycles when looking for paths

  completed successfully:
  CI#6:Commit6f8de4apushedbyshilangyu
  main

  Mar 23, 20265m 21s
  More actions for workflow run 6

• Support Ltac1

  completed successfully:
  CI#5:Commit9a07e8cpushedbyshilangyu
  main

  Mar 23, 20265m 18s
  More actions for workflow run 5

• Add README

  completed successfully:
  CI#4:Commit4ecff7bpushedbyshilangyu
  main

  Mar 23, 20268m 45s
  More actions for workflow run 4

• Add README

  completed successfully:
  CI#3:Commit1a0e3d2pushedbyshilangyu
  main

  Mar 20, 20265m 13s
  More actions for workflow run 3

• Bump Rocq version

  completed successfully:
  CI#2:Commita85f496pushedbyshilangyu
  main

  Mar 20, 20265m 23s
  More actions for workflow run 2

• Add CI

  failed:
  CI#1:Commitc246403pushedbyshilangyu
  main

  Mar 20, 20268m 42s
  More actions for workflow run 1