Code

Add weekly CI#315

Code

Closed

pnmadelaine wants to merge 11 commits intomainAeneasVerif/charon:mainfrom pnmadelaine/weekly-ciAeneasVerif/charon:pnmadelaine/weekly-ciCopy head branch name to clipboard

+18-2

Commits

Commits on Aug 16, 2024

• add weekly workflow

  pnmadelaine

  committed
  80526fc

  Copy full SHA for 80526fc

• temporarily enable workflow for pull requests

  pnmadelaine

  committed
  f6324a7

  Copy full SHA for f6324a7

• fix

  pnmadelaine

  committed
  50d8a6c

  Copy full SHA for 50d8a6c

• install dune

  pnmadelaine

  committed
  cfa5f8c

  Copy full SHA for cfa5f8c

• fix?

  pnmadelaine

  committed
  336860d

  Copy full SHA for 336860d

• fix?

  pnmadelaine

  committed
  600a25b

  Copy full SHA for 600a25b

• fix?

  pnmadelaine

  committed
  6f07068

  Copy full SHA for 6f07068

• is this necessary?

  pnmadelaine

  committed
  e39fd64

  Copy full SHA for e39fd64

• set IN_CI

  pnmadelaine

  committed
  61afe2c

  Copy full SHA for 61afe2c

• fix?

  pnmadelaine

  committed
  f0acde6

  Copy full SHA for f0acde6

• Revert "temporarily enable workflow for pull requests"

  Show description for 92ea7a0
  pnmadelaine

  committed
  92ea7a0

  Copy full SHA for 92ea7a0