build: Fix bad PR race between #1362 and #1363 #2227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tarball	8m 49s
Docs	9s
Build alpine	11m 33s
Build centos_7_6	22m 12s
Build debian_bullseye	10m 5s
Build rocky_8	13m 49s
Build rocky_9	14m 10s
Build ubuntu_22_04	11m 18s
Build fedora_38	13m 6s
Build vscode	7m 41s
Build wasm	15m 55s
Deploy Docs to GH Pages	0s
Create Release	0s
	2h 8m 47s