Skip to content
Report PR testing status to the lean4 repository

chore: adapt to updated argument and flag syntax (#570) #70

Sign in to view logs

chore: adapt to updated argument and flag syntax (#570)

chore: adapt to updated argument and flag syntax (#570) #70

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build site and generate HTML
5m 59s
5m 59s