Bump etc/coq-scripts from `8b66ebe` to `2df5dbe` #4216

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.14.1	1h 1m 55s
8.15.2	1h 7m 56s
master	1h 0m 0s
check-all	1s
	3h 9m 52s