Use --locked in GitHub Actions CI jobs (#1097)
#3771
Robbepoprust.yml
on: push
Build
2m 29s
Test (Address Sanitizer)
2m 31s
Formatting
13s
Documentation
34s
Audit
10s
uDeps
1m 20s
Fuzz (Translation)
9m 34s
Fuzz (Execution)
9m 29s
Fuzz (Differential)
9m 51s
Miri
5m 53s
Miri (spec)
6m 8s
Clippy
1m 58s
Coverage
3m 31s
Matrix: Test
Annotations
2 warnings
|
Coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Coverage
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/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
code-coverage-report
|
66.7 KB |
|