Toolchain beyond doubt

Bump yamllint from 1.32.0 to 1.33.0 in /envs/dev/church #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Up to stacks in godel env	1m 34s
Up to stacks in turing env	1m 53s
Up to stacks in church env	2m 32s
	5m 59s