Skip to content
build lean

2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq) #3

Sign in to view logs

2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq)

2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq) #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
3s
3s