Skip to content
CI

Fix infinite loop with no sleep in the posix implementation. This spe… #115

Sign in to view logs

Fix infinite loop with no sleep in the posix implementation. This spe…

Fix infinite loop with no sleep in the posix implementation. This spe… #115

Run time

Learn about OS pricing on GitHub Actions
Job Run time
prove_framac
6m 24s
rts_posix_scenarios
6m 57s
rts_riscv_build_fpga
37m 56s
prove_specs
2m 21s
rts_riscv_build_verilator
2m 6s
55m 44s