Skip to content
Lean 4 CI

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #245

Sign in to view logs

Try add Verso doc to pages; add mechanism to trigger all CI [annotate]

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #245

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lean 4 Projects (ubuntu-latest)
9m 0s
Lean 4 Projects (macos-latest)
9m 1s
Lean 4 Projects (windows-latest)
8m 54s
26m 55s