Skip to content

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 #3996

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 #3996

Triggered via pull request January 11, 2024 00:56
Status Success
Total duration 27m 2s
Artifacts 32
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

qns.yml

on: pull_request
Matrix: s2n-quic-qns
Matrix: perf
Matrix: attack
Matrix: h3spec
Matrix: interop
perf-report
29s
perf-report
interop-report
45s
interop-report
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 46 warnings
interop (s2n-quic, aioquic)
This event loop is already running
interop (s2n-quic, aioquic)
This event loop is already running
interop (s2n-quic, aioquic)
This event loop is already running
env
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected], camshaft/rust-cache@v1, actions-rs/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
s2n-quic-qns (debug)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug): quic/s2n-quic/src/provider/datagram.rs#L8
unused imports: `ConnectionInfo`, `Packet`, `PreConnectionInfo`, `ReceiveContext`, `Receiver`, `Sender`, `WriteError`, `default`
s2n-quic-qns (debug)
`s2n-quic` (lib) generated 1 warning (run `cargo fix --lib -p s2n-quic` to apply 1 suggestion)
s2n-quic-qns (debug)
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (debug)
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected], camshaft/rust-cache@v1, actions-rs/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
s2n-quic-qns (release)
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release)
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release): quic/s2n-quic/src/provider/datagram.rs#L8
unused imports: `ConnectionInfo`, `Packet`, `PreConnectionInfo`, `ReceiveContext`, `Receiver`, `Sender`, `WriteError`, `default`
s2n-quic-qns (release)
`s2n-quic` (lib) generated 1 warning (run `cargo fix --lib -p s2n-quic` to apply 1 suggestion)
s2n-quic-qns (release)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
s2n-quic-qns (release)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic-null, s2n-quic-null)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected], camshaft/install@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
perf (s2n-quic-null, s2n-quic-null)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic-null, s2n-quic-null)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic-null, s2n-quic-null)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic-null, s2n-quic-null)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic, s2n-quic)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected], camshaft/install@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
perf (s2n-quic, s2n-quic)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic, s2n-quic)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic, s2n-quic)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf (s2n-quic, s2n-quic)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
perf-report
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
attack (udp)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
attack (udp)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
attack (udp)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
attack (udp)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
attack (udp)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected], camshaft/rust-cache@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
interop-report
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
interop-report
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
interop-report
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size
interop-aioquic-client-s2n-quic-server Expired
3.88 KB
interop-chrome-client-s2n-quic-server Expired
3.93 KB
interop-kwik-client-s2n-quic-server Expired
3.87 KB
interop-lsquic-client-s2n-quic-server Expired
3.89 KB
interop-mvfst-client-s2n-quic-server Expired
3.88 KB
interop-neqo-client-s2n-quic-server Expired
3.88 KB
interop-ngtcp2-client-s2n-quic-server Expired
3.88 KB
interop-picoquic-client-s2n-quic-server Expired
3.89 KB
interop-quic-go-client-s2n-quic-server Expired
3.89 KB
interop-quiche-client-s2n-quic-server Expired
3.88 KB
interop-quinn-client-s2n-quic-server Expired
3.88 KB
interop-s2n-quic-client-aioquic-server Expired
3.89 KB
interop-s2n-quic-client-haproxy-server Expired
3.88 KB
interop-s2n-quic-client-kwik-server Expired
3.87 KB
interop-s2n-quic-client-lsquic-server Expired
3.89 KB
interop-s2n-quic-client-mvfst-server Expired
3.98 KB
interop-s2n-quic-client-neqo-server Expired
3.88 KB
interop-s2n-quic-client-nginx-server Expired
3.96 KB
interop-s2n-quic-client-ngtcp2-server Expired
3.88 KB
interop-s2n-quic-client-picoquic-server Expired
3.9 KB
interop-s2n-quic-client-quic-go-server Expired
3.89 KB
interop-s2n-quic-client-quiche-server Expired
3.88 KB
interop-s2n-quic-client-quinn-server Expired
3.88 KB
interop-s2n-quic-client-s2n-quic-rustls-server Expired
3.9 KB
interop-s2n-quic-client-s2n-quic-server Expired
3.84 KB
interop-s2n-quic-client-xquic-server Expired
3.96 KB
interop-s2n-quic-rustls-client-s2n-quic-server Expired
3.9 KB
interop-xquic-client-s2n-quic-server Expired
3.93 KB
perf-results-s2n-quic-null-s2n-quic-null Expired
10.4 MB
perf-results-s2n-quic-s2n-quic Expired
15.9 MB
s2n-quic-qns-debug Expired
431 MB
s2n-quic-qns-release Expired
248 MB