Code

CI: set up the CI/CD pipeline#3

Code

Merged

odesenfans merged 3 commits intomainMoonsong-Labs/madara-prover-api:mainfrom od/ci-cdMoonsong-Labs/madara-prover-api:od/ci-cdCopy head branch name to clipboardNov 20, 2023

+98-41

Commits

Commits on Nov 17, 2023

• CI: set up a CI/CD pipeline

  

  odesenfans

  authored and

  Olivier Desenfans

  committed
  6c6e9f3

  Copy full SHA for 6c6e9f3

• Fix: download the Stone Prover repository as submodule

  Show description for 3509bb3
  

  odesenfans

  authored and

  Olivier Desenfans

  committed
  3509bb3

  Copy full SHA for 3509bb3

• CI: Cache prover Docker build

  Show description for 6693364
  

  odesenfans

  authored and

  Olivier Desenfans

  committed
  6693364

  Copy full SHA for 6693364