Skip to content

linting: add shellcheck for shell script lint #2591

linting: add shellcheck for shell script lint

linting: add shellcheck for shell script lint #2591

Triggered via pull request January 24, 2026 08:59
Status Success
Total duration 1h 3m 15s
Artifacts

all.yml

on: pull_request
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base  /  x86_64 Intel syntax
3m 16s
Base / x86_64 Intel syntax
Base  /  symlink-check
7s
Base / symlink-check
Nix  /  check_modified_files
35s
Nix / check_modified_files
Lint Markdown  /  lint-markdown-link
14s
Lint Markdown / lint-markdown-link
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  ...  /  Run tests
8m 11s
CBMC / CBMC (ML-DSA-44) / Run tests
CBMC  /  ...  /  Run tests
11m 58s
CBMC / CBMC (ML-DSA-65) / Run tests
CBMC  /  ...  /  Run tests
8m 28s
CBMC / CBMC (ML-DSA-87) / Run tests
SLOTHY  /  ...  /  Run tests
25m 1s
SLOTHY / SLOTHY / Run tests
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
8s
CBMC / CBMC (ML-DSA-44) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
8s
CBMC / CBMC (ML-DSA-65) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
8s
CBMC / CBMC (ML-DSA-87) / Stop instance (c7g.4xlarge)
SLOTHY  /  ...  /  Stop instance (c8g.8xlarge)
8s
SLOTHY / SLOTHY / Stop instance (c8g.8xlarge)
Fit to window
Zoom out
Zoom in