Code

[CI] Remove coq-bignums before CI#87

Code

Merged

erikmd merged 4 commits intomastercoq-community/bignums:masterfrom fix_cicoq-community/bignums:fix_ciCopy head branch name to clipboardFeb 16, 2024

+15-3

Commits

Commits on Feb 13, 2024

• [CI] Remove coq-bignums before CI

  Show description for 1e2e235
  proux01

  committed
  1e2e235

  Copy full SHA for 1e2e235

Commits on Feb 16, 2024

• Update .github/workflows/docker-action.yml

  erikmd

  authored
  29e9de3

  Copy full SHA for 29e9de3

• Fixup

  erikmd

  authored
  4c008f2

  Copy full SHA for 4c008f2

• fix: Ensure "make -C tests" runs after "make install"

  erikmd

  committed
  adc6240

  Copy full SHA for adc6240