Skip to content

Disable ping options on Windows. Refs #440 #876

Disable ping options on Windows. Refs #440

Disable ping options on Windows. Refs #440 #876

aarch64-unknown-linux-gnu

succeeded Dec 16, 2024 in 53s
Set up job
4s
Run actions/checkout@v4
0s
Install Rust
2s
Setup Rust Caching
2s
Test
40s
Sanity check
0s
Build release
0s
Publish artifacts and release
0s
Post Test
0s
Post Setup Rust Caching
0s
Post Install Rust
0s
Post Run actions/checkout@v4
0s
Complete job
0s