-
Notifications
You must be signed in to change notification settings - Fork 39
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- make not using snapshots the default - remove snapshots from CI build While the snapshots in theory make the build more reproducible, the snapshot repos is notoriously unreliable in CI making the build fail more often than it succeeds. Since we publish and tag the CI builds, if somebody wants to use the exact same base containers, they can use the tagged image -- reproducing the image build from scratch is not necessary for that scenario. Signed-off-by: Gerwin Klein <[email protected]>
- Loading branch information
Showing
10 changed files
with
14 additions
and
20 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -16,7 +16,7 @@ LABEL MAINTAINER="Luke Mondy ([email protected])" | |
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG DESKTOP_MACHINE=no | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG MAKE_CACHES=yes | ||
ARG SMTSOLVERS_DIR="/smtsolvers" | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -16,7 +16,7 @@ LABEL MAINTAINER="Luke Mondy ([email protected])" | |
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG DESKTOP_MACHINE=no | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG MAKE_CACHES=yes | ||
|
||
ARG SCRIPT=apply-camkes_vis.sh | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -16,7 +16,7 @@ LABEL MAINTAINER="Gerwin Klein <[email protected]>" | |
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG DESKTOP_MACHINE=no | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG MAKE_CACHES=yes | ||
|
||
ARG SCRIPT=apply-tex.sh | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -15,7 +15,7 @@ LABEL MAINTAINER="Luke Mondy ([email protected])" | |
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG DESKTOP_MACHINE=no | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG SNAPSHOT_DATE | ||
ARG MAKE_CACHES=yes | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -14,7 +14,7 @@ LABEL MAINTAINER="Luke Mondy ([email protected])" | |
# ARGS are env vars that are *only available* during the docker build | ||
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG DESKTOP_MACHINE=no | ||
ARG MAKE_CACHES=yes | ||
ARG STACK_ROOT=/etc/stack | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -15,7 +15,7 @@ LABEL MAINTAINER="Luke Mondy ([email protected])" | |
# They can be modified at docker build time via '--build-arg VAR="something"' | ||
ARG SCM | ||
ARG DESKTOP_MACHINE=no | ||
ARG USE_DEBIAN_SNAPSHOT=yes | ||
ARG USE_DEBIAN_SNAPSHOT | ||
ARG MAKE_CACHES=yes | ||
|
||
ARG SCRIPT=sel4.sh | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters