7 commits

Author	SHA1	Message	Date
Charles Hall	1e050c8983	expose static binaries in gitlab artifacts again	2024-12-11 14:37:43 -08:00
Charles Hall	9e3738d330	run some jobs on the final commit only ... These are too expensive to be worth running against all commits.	2024-12-11 11:39:20 -08:00
Charles Hall	f4dfb496e1	skip jobs that don't make artifacts on main branch ... This is okay because we only allow fast-forward merges, changes always go through MRs, and MRs are subject to, e.g., the code quality checks. This change is desirable because it should save some time and energy.	2024-12-11 11:39:20 -08:00
Charles Hall	976aef690f	cache and skip commits that have passed already ... Commits marked as passed can be re-run by changing their hash or clearing the cache.	2024-12-11 11:39:20 -08:00
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