Skip to content
continuous integration

Trigger CI for https://github.com/leanprover-community/batteries/pull… #162105

Sign in to view logs

Trigger CI for https://github.com/leanprover-community/batteries/pull…

Trigger CI for https://github.com/leanprover-community/batteries/pull… #162105

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
1m 19s
Build
47m 49s
Post-CI job
11s
49m 19s