Build (on push)

Merge pull request #1052 from mariofusco/out_guard_rewrite_doc #629

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on ubuntu-latest - 17	17m 15s
Build on ubuntu-latest - 21	16m 45s
Build on ubuntu-latest - 22	16m 57s
Build on ubuntu-latest - 23	16m 42s
	1h 7m 39s