Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 10 additions & 9 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
name: 'Validate DevContainer'
description: 'This workflow is checking that updates do not break stuff. If on main branch, publish to "latest" tag.'
---
name: Validate DevContainer
description: This workflow is checking that updates do not break stuff. If on main branch, publish to "latest" tag.
on:
pull_request:
push:
Expand All @@ -17,13 +18,13 @@ jobs:
os: [arm64, amd64]
include:
- os: amd64
name: 'DevContainer (amd64)'
name: DevContainer (amd64)
runner: ubuntu-24.04
- os: arm64
name: 'DevContainer (arm64)'
name: DevContainer (arm64)
runner: ubuntu-24.04-arm

name: '${{ matrix.name }}'
name: ${{ matrix.name }}
runs-on: ${{ matrix.runner }}
permissions:
contents: read
Expand All @@ -47,7 +48,7 @@ jobs:
with:
# The .devcontainer is never published as pre-built container.
# We want to only use it for building and testing the actual container, which resides in src/s-core-devcontainer.
push: "never"
push: never
runCmd: |
set -eux pipefail

Expand All @@ -73,8 +74,8 @@ jobs:
fi

merge:
name: 'Merge Labels (main only)'
needs: ["build"]
name: Merge Labels (main only)
needs: [build]
runs-on: ubuntu-24.04
if: github.ref == 'refs/heads/main'
permissions:
Expand All @@ -99,7 +100,7 @@ jobs:
with:
# The .devcontainer is never published as pre-built container.
# We want to only use it for building and testing the actual container, which resides in src/s-core-devcontainer.
push: "never"
push: never
runCmd: |
set -eux pipefail

Expand Down
21 changes: 11 additions & 10 deletions .github/workflows/release.yaml
Original file line number Diff line number Diff line change
@@ -1,23 +1,24 @@
name: 'Validate & Publish DevContainer'
description: 'This workflow is checking that for releases, updates do not break stuff and publishes the released container.'
---
name: Validate & Publish DevContainer
description: This workflow is checking that for releases, updates do not break stuff and publishes the released container.
on:
push:
tags:
- 'v[0-9]+.[0-9]+.[0-9]+'
- v[0-9]+.[0-9]+.[0-9]+
jobs:
build:
strategy:
matrix:
os: [arm64, amd64]
include:
- os: amd64
name: 'DevContainer (amd64)'
name: DevContainer (amd64)
runner: ubuntu-24.04
- os: arm64
name: 'DevContainer (arm64)'
name: DevContainer (arm64)
runner: ubuntu-24.04-arm

name: '${{ matrix.name }}'
name: ${{ matrix.name }}
runs-on: ${{ matrix.runner }}
permissions:
contents: read
Expand All @@ -41,7 +42,7 @@ jobs:
with:
# The .devcontainer is never published as pre-built container.
# We want to only use it for building and testing the actual container, which resides in src/s-core-devcontainer.
push: "never"
push: never
runCmd: |
set -eux pipefail

Expand All @@ -65,8 +66,8 @@ jobs:
./scripts/publish.sh --${{ matrix.os }} "${{ github.ref_name }}" "latest"

merge:
name: 'Merge Labels'
needs: ["build"]
name: Merge Labels
needs: [build]
runs-on: ubuntu-24.04
permissions:
contents: read
Expand All @@ -90,7 +91,7 @@ jobs:
with:
# The .devcontainer is never published as pre-built container.
# We want to only use it for building and testing the actual container, which resides in src/s-core-devcontainer.
push: "never"
push: never
runCmd: |
set -eux pipefail

Expand Down
11 changes: 9 additions & 2 deletions .pre-commit-config.yaml
Original file line number Diff line number Diff line change
@@ -1,10 +1,17 @@
---
repos:
- repo: https://github.com/pre-commit/pre-commit-hooks
rev: 3e8a8703264a2f4a69428a0aa4dcb512790b2c8c # v6.0.0
rev: 3e8a8703264a2f4a69428a0aa4dcb512790b2c8c # v6.0.0
hooks:
- id: check-yaml
- id: end-of-file-fixer
exclude: "devcontainer-lock.json"
exclude: devcontainer-lock.json
- id: trailing-whitespace
- id: check-shebang-scripts-are-executable
- id: check-executables-have-shebangs

- repo: https://github.com/jumanjihouse/pre-commit-hook-yamlfmt
rev: 8d1b9cadaf854cb25bb0b0f5870e1cc66a083d6b # 0.2.3
hooks:
- id: yamlfmt
args: [--mapping, '2', --offset, '2', --sequence, '4']
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
---
bazel:
# https://github.com/bazelbuild/bazel/releases -- latest version as of 2025-09-24
version: 8.4.1
Expand Down
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
---
graphviz:
version: 2.42.2

Expand All @@ -11,22 +12,22 @@ sshpass:
version: 1.09

gdb:
version: "15.0.50"
version: 15.0.50

git:
version: "2.43.0"
version: 2.43.0

git_lfs:
version: "3.4.1"
version: 3.4.1

python:
version: "3.12"
version: '3.12'

gh:
version: "2.45.0"
version: 2.45.0

openjdk_21:
version: "21.0.9"
version: 21.0.9

valgrind:
version: "3.22.0"
version: 3.22.0