Skip to content
CI

Chance license to lgpl since this is what Coq is #140

Sign in to view logs

Chance license to lgpl since this is what Coq is

Chance license to lgpl since this is what Coq is #140

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11m 14s
11m 14s