Add Hvec space to de Rham sequence, if requested #1965

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest / Python 3.8	1h 2m 34s
ubuntu-latest / Python 3.11	44m 40s
macos-latest / Python 3.9	50m 6s
	2h 37m 20s