File tree Expand file tree Collapse file tree 2 files changed +4
-10
lines changed
Expand file tree Collapse file tree 2 files changed +4
-10
lines changed Original file line number Diff line number Diff line change @@ -46,13 +46,10 @@ jobs:
4646 # Create builder for multi-arch builds
4747 ./scripts/create_builder.sh
4848
49- # Build
50- ./scripts/build.sh "main"
51-
52- # Test
49+ # Build & Test (amd64-only for tests to be fast)
5350 ./scripts/test.sh
5451
55- # Optionally: Publish
52+ # Optionally (if on main branch) : Publish (multi-arch: amd64, arm64)
5653 # We do not use the push feature of devcontainers/ci here, since that would push the wrong container.
5754 # Instead, we use the publish script which pushes the correct container (residing in src/s-core-devcontainer).
5855 if [ "${{ github.ref }}" = "refs/heads/main" ]; then
Original file line number Diff line number Diff line change @@ -41,13 +41,10 @@ jobs:
4141 # Create builder for multi-arch builds
4242 ./scripts/create_builder.sh
4343
44- # Build
45- ./scripts/build.sh "${{ github.ref_name }}" "latest"
46-
47- # Test
44+ # Build & Test (amd64-only for tests to be fast)
4845 ./scripts/test.sh
4946
50- # Publish
47+ # Publish (multi-arch: amd64, arm64)
5148 # We do not use the push feature of devcontainers/ci here, since that would push the wrong container.
5249 # Instead, we use the publish script which pushes the correct container (residing in src/s-core-devcontainer).
5350
You can’t perform that action at this time.
0 commit comments