skip to content
nixbot
builds
sign in
Sign in with Gitea
Sign in with GitHub
succeeded
checks.aarch64-linux.alt-ergo
build #1
·
raw
· eval 2 ms · 1.6 KiB allocated ·
#2 ›
copy
Succeeded (8)
8 built
setup
built · 0.0s
·
open ↗
·
raw ↗
ocaml4.14.0-psmt2-frontend-0.4.0
built · 18.6s
·
open ↗
·
raw ↗
source
built · 4.7s
·
open ↗
·
raw ↗
source
built · 3.0s
·
open ↗
·
raw ↗
ocaml4.14.0-ocplib-simplex-0.4
built · 30.1s
·
open ↗
·
raw ↗
ocaml4.14.0-alt-ergo-lib-2.4.2
built · 26.3s
·
open ↗
·
raw ↗
ocaml4.14.0-alt-ergo-parsers-2.4.2
built · 28.4s
·
open ↗
·
raw ↗
ocaml4.14.0-alt-ergo-2.4.2
built · 10.6s
·
open ↗
·
raw ↗