Code

Put SRS file into docker image#1366

Code

Merged

sveitser merged 11 commits intomainEspressoSystems/espresso-sequencer:mainfrom ma/srs-in-docker-imageEspressoSystems/espresso-sequencer:ma/srs-in-docker-imageCopy head branch name to clipboardApr 23, 2024

+60-25

Commits

Commits on Apr 23, 2024

• Put SRS file into docker image

  Show description for fbe0766
  sveitser

  committed
  fbe0766

  Copy full SHA for fbe0766

• Remove postgres role does not exist warnings

  sveitser

  committed
  8bc0bb8

  Copy full SHA for 8bc0bb8

• Remove unused git dependency

  sveitser

  committed
  381b228

  Copy full SHA for 381b228

• Improve caching and script documentation

  sveitser

  committed
  6f293c9

  Copy full SHA for 6f293c9

• Fix postgres healthcheck

  sveitser

  committed
  e57d845

  Copy full SHA for e57d845

• clippy

  Show description for dfa3a83
  sveitser

  committed
  dfa3a83

  Copy full SHA for dfa3a83

• Add SRS file to builder image

  sveitser

  committed
  d0ab4f7

  Copy full SHA for d0ab4f7

• Fix docker tag

  Show description for 5db7ffa
  sveitser

  committed
  5db7ffa

  Copy full SHA for 5db7ffa

• Fix image tag

  sveitser

  committed
  776461e

  Copy full SHA for 776461e

• Prover fixes for docker demo

  Show description for ab07b9c
  sveitser

  committed
  ab07b9c

  Copy full SHA for ab07b9c

• Remove unused jq dependency

  Show description for ccd776a
  sveitser

  committed
  ccd776a

  Copy full SHA for ccd776a