Chores and minor non-technical improvements (#1087) #3758
Robbepoprust.yml
on: push
Build
2m 31s
Test (Address Sanitizer)
2m 33s
Formatting
11s
Documentation
40s
Audit
7s
uDeps
1m 15s
Fuzz (Translation)
9m 28s
Fuzz (Execution)
9m 43s
Fuzz (Differential)
9m 45s
Miri
5m 37s
Miri (spec)
6m 14s
Clippy
2m 3s
Coverage
3m 44s
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
Expired
|
67.2 KB |
|