CI

glossary: Unicode: refer to the Consortium's one, not ISO/IEC's #1133

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build the documentation	45s
Deploy to GitHub Pages	0s
CI finished	3s
	48s