Use CachedMemory in bulk-ops executors (#1075)
#3717
Robbepoprust.yml
on: push
Build
2m 27s
Test (Address Sanitizer)
2m 37s
Formatting
12s
Documentation
45s
Audit
20s
uDeps
1m 20s
Fuzz (Translation)
9m 37s
Fuzz (Execution)
9m 34s
Fuzz (Differential)
9m 57s
Miri
5m 58s
Miri (spec)
6m 4s
Clippy
2m 3s
Coverage
3m 40s
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
|
66.7 KB |
|