Skip to content

Fix noop deref warning (#1082) #2229

Fix noop deref warning (#1082)

Fix noop deref warning (#1082) #2229

Annotations

3 warnings

build-on-ubuntu-2004

succeeded Apr 20, 2024 in 12m 17s
Set up job
1s
Checkout c2rust
1s
Checkout c2rust-testsuite
33s
Cache Rust toolchain
14s
Cache Rust artifacts
9s
Cache Python - pip
2s
Provision Rust
0s
Provision Debian Packages
15s
Provision Python Packages
0s
Build c2rust
1m 13s
Run c2rust testsuite
9m 36s
Run 8398a7/action-slack@v3
0s
Run actions/upload-artifact@v2
3s
Post Cache Python - pip
2s
Post Cache Rust artifacts
2s
Post Cache Rust toolchain
0s
Post Checkout c2rust-testsuite
0s
Post Checkout c2rust
0s
Complete job
0s