Skip to content
.github/workflows/main.yml

change of implicit arguments with Tom de Jong #3443

Sign in to view logs

change of implicit arguments with Tom de Jong

change of implicit arguments with Tom de Jong #3443

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typechecking
17m 5s
17m 5s