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

Triggered via pull request April 30, 2026 04:26
@hyperpolymathhyperpolymath
opened #28
set-2-n5-falsifier
Status Failure
Total duration 1m 3s
Artifacts –

agda.yml

on: pull_request
check
58s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 42.