update headers for tspl schedule #884

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	25m 23s
Build on macOS	26m 18s
Build on Windows	30m 7s
Build with older Agda 2.6.4.3	26m 27s
Build with newer GHC 9.8.2	25m 2s
Build with newer GHC 9.6.6	24m 57s
Build with older GHC 9.2.8	28m 20s
Build with older GHC 9.0.2	40m 33s
Build with older GHC 8.10.7	38m 36s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	4h 25m 43s