3 commits

Author	SHA1	Message	Date
Charles Hall	2265b6615e	run ci for each commit ... GitLab doesn't seem to have built-in support for this because of course it doesn't. To do this, we move the job scripts to a different file to make it possible to share code between job scripts.	2024-12-11 11:39:20 -08:00
Charles Hall	a5eba45472	set owner write bit in pages job ... This makes deleting the copied files easier.	2024-12-11 11:39:20 -08:00
Charles Hall	540cc89c83	move ci job scipts into an actual script ... This will make it possible/easier to: * share code between jobs * run jobs locally	2024-12-11 11:39:20 -08:00