Skip to content
Agda

theory: EchoSearch — Axis 8 witness-search machine (thin slice) #442

Sign in to view logs

theory: EchoSearch — Axis 8 witness-search machine (thin slice)

theory: EchoSearch — Axis 8 witness-search machine (thin slice) #442

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
16m 25s
check
16m 25s
flake-check
16m 25s
49m 15s