Skip to content
Docker CI

delimited continuations, unary model #165

Sign in to view logs

delimited continuations, unary model

delimited continuations, unary model #165

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.17)
18m 21s
build_nix
5m 33s
build (coqorg/coq:8.18)
18m 3s
41m 57s