Kind2 CI

Make `src/docs/copy.sh` a little more robust #1577

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (ubuntu-20.04)	8m 47s
kind2-build (macos-13)	17m 16s
kind2-build (macos-14)	11m 57s
	38m 0s