Skip to content
Rust

SAT-bench -B 2971 #2372

Sign in to view logs

SAT-bench -B 2971

SAT-bench -B 2971 #2372

Triggered via push September 20, 2024 07:02
@shnarazkshnarazk
pushed a9744ff
20240916-vibrated-reduction
Status Success
Total duration 51s
Artifacts –

rust.yml

on: push
build
43s
build
Fit to window
Zoom out
Zoom in