Skip to content
Agda

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no… #226

Sign in to view logs

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no…

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no… #226

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 49s
2m 49s