Skip to content
formal-spec

Update pagda, remove custom index.html #6

Sign in to view logs

Update pagda, remove custom index.html

Update pagda, remove custom index.html #6

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pagda / check
7m 31s
pagda / docs
20m 12s
pagda / deploy
40s
28m 23s