Code

[CI] Update equation (now uses dune)#101

Code

Merged

proux01 merged 1 commit intocoq:mastercoq/stdlib:masterfrom proux01:ci-equationsproux01/stdlib:ci-equationsCopy head branch name to clipboardFeb 1, 2025

+8-8

Commits

Commits on Feb 1, 2025

• [CI] Update equation (now uses dune)

  proux01

  committed
  2af12f0

  Copy full SHA for 2af12f0