Skip to content
Java CI with Maven

Now setting the Isabelle session name works seemingly correctly (#14) #39

Sign in to view logs

Now setting the Isabelle session name works seemingly correctly (#14)

Now setting the Isabelle session name works seemingly correctly (#14) #39

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 0s
2m 0s