Skip to content
Agda

set-2: N5 falsifier attempt — candidate survives, ready for adoption as gate-2 N5 #213

Sign in to view logs

set-2: N5 falsifier attempt — candidate survives, ready for adoption as gate-2 N5

set-2: N5 falsifier attempt — candidate survives, ready for adoption as gate-2 N5 #213

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
58s
58s