skip to content
nixbot
builds
sign in
Sign in with Gitea
Sign in with GitHub
succeeded
checks.x86_64-linux.compcert
build #5
·
raw
· eval 0 ms · 1.5 KiB allocated ·
‹ #4
copy
Succeeded (2)
2 built
setup
built · 0.0s
·
open ↗
·
raw ↗
coq8.16-compcert-3.11
built
no output