Lading shutdown safety in Antithesis scenario #7245
ci.yml
on: pull_request
Shellcheck
7s
cargo-deny
30s
Test Suite
11m 36s
Check Benchmarks Compile
16m 12s
Integration Tests
2m 18s
Check Fuzz Targets
1m 12s
Payload Fingerprint Verification
3m 48s
buf
11s
actionlint
9s
action-sha-pin-check
14s
Check unused dependencies
23s
Custom Lints (ast-grep)
7s
Matrix: Kani Proofs
Matrix: Loom Tests
Matrix: Rust Actions (Check/Fmt/Clippy)
Annotations
4 errors, 38 warnings, and 14 notices
|
Custom Lints (ast-grep)
Process completed with exit code 1.
|
|
cargo-deny
Process completed with exit code 8.
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt)
Process completed with exit code 1.
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
Process completed with exit code 1.
|
|
Custom Lints (ast-grep)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
buf
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
actionlint
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Check unused dependencies
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
cargo-deny
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt):
test/antithesis/harness/src/capture.rs#L184
Diff in /home/runner/work/lading/lading/test/antithesis/harness/src/capture.rs
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt):
test/antithesis/harness/src/capture.rs#L158
Diff in /home/runner/work/lading/lading/test/antithesis/harness/src/capture.rs
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt):
test/antithesis/harness/src/bin/first_sample_config.rs#L14
Diff in /home/runner/work/lading/lading/test/antithesis/harness/src/bin/first_sample_config.rs
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt):
test/antithesis/harness/src/bin/anytime_lading_drained_bounded.rs#L24
Diff in /home/runner/work/lading/lading/test/antithesis/harness/src/bin/anytime_lading_drained_bounded.rs
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, fmt):
lading/src/bin/lading.rs#L716
Diff in /home/runner/work/lading/lading/lading/src/bin/lading.rs
|
|
Check Fuzz Targets
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt):
test/antithesis/harness/src/capture.rs#L184
Diff in /Users/runner/work/lading/lading/test/antithesis/harness/src/capture.rs
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt):
test/antithesis/harness/src/capture.rs#L158
Diff in /Users/runner/work/lading/lading/test/antithesis/harness/src/capture.rs
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt):
test/antithesis/harness/src/bin/first_sample_config.rs#L14
Diff in /Users/runner/work/lading/lading/test/antithesis/harness/src/bin/first_sample_config.rs
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt):
test/antithesis/harness/src/bin/anytime_lading_drained_bounded.rs#L24
Diff in /Users/runner/work/lading/lading/test/antithesis/harness/src/bin/anytime_lading_drained_bounded.rs
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt):
lading/src/bin/lading.rs#L716
Diff in /Users/runner/work/lading/lading/lading/src/bin/lading.rs
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, check)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Kani Proofs (lading_throttle)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Kani Proofs (lading_payload)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, clippy)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Integration Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Payload Fingerprint Verification
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Loom Tests (lading-signal)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Test Suite
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Check Benchmarks Compile
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: aws-actions/configure-aws-credentials@61815dcd50bd041e203e49132bacad1fd04d2708, mozilla-actions/sccache-action@7d986dd989559c6ecdb630a3fd2557667be217ad. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
sccache stats
0% - 0 hits, 0 misses, 0 errors
|
|
sccache stats
94% - 175 hits, 12 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 0 misses, 0 errors
|
|
sccache stats
99% - 468 hits, 4 misses, 0 errors
|
|
sccache stats
100% - 15 hits, 0 misses, 0 errors
|
|
sccache stats
100% - 21 hits, 0 misses, 0 errors
|
|
sccache stats
100% - 754 hits, 0 misses, 0 errors
|
|
sccache stats
90% - 9 hits, 1 misses, 0 errors
|
|
sccache stats
95% - 688 hits, 38 misses, 0 errors
|
|
sccache stats
89% - 403 hits, 51 misses, 0 errors
|
|
sccache stats
86% - 6 hits, 1 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 0 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 0 misses, 0 errors
|
|
sccache stats
100% - 464 hits, 2 misses, 0 errors
|