deploy site

chore(100,1000.html): remove mention of formalised statements (#579) #3016

Sign in to view logs

Summary
Jobs
- Build HTML
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build HTML	7m 40s
	7m 40s