Code

cache build stages#13

Code

Closed

turadg wants to merge 6 commits intomainAgoric/agoric-3-proposals:mainfrom 2-cacheAgoric/agoric-3-proposals:2-cacheCopy head branch name to clipboard

+55-20

Commits

Commits on Nov 9, 2023

• ci: use GitHub Actions Cache

  turadg

  committed
  62b5684

• ci: include scope in GHA cache

  turadg

  committed
  0584ca2

• build: dockerignore .git

  turadg

  committed
  c437674

• build: omit SLOGFILE (~1GB)

  turadg

  committed
  6e804ec

• feat: build 'use' images script

  turadg

  committed
  acccaf8

• ci: switch to inline cache

  turadg

  committed
  b7d41b0