Skip to content
Lean 4 CI

chore: hide internal reports from repo (.gitignore + untrack) #3

Sign in to view logs

chore: hide internal reports from repo (.gitignore + untrack)

chore: hide internal reports from repo (.gitignore + untrack) #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
59s
59s