Skip to content
Build docs artifact with Verific

Remove make docs race conditions (and other docs fixes) #73

Sign in to view logs

Remove make docs race conditions (and other docs fixes)

Remove make docs race conditions (and other docs fixes) #73

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check_docs_rebuild
4s
prepare-docs
56s
1m 0s