Skip to content

SAWScript

SAWScript #3974

Annotations

1 warning

Test s2n proofs (drbg, ubuntu-22.04, 9.4.8)

succeeded Jan 13, 2025 in 3m 20s
Set up job
1s
Run actions/checkout@v4
1s
Run mkdir -p s2nTests/bin
0s
Download previously-built SAW
4s
Run docker compose pull --ignore-buildable
0s
make s2n
58s
Restore SMT solver result cache
0s
s2n tests: drbg
2m 13s
Save SMT solver result cache
0s
Post Run actions/checkout@v4
0s
Complete job
0s