6 commits

Author	SHA1	Message	Date
Brendan Golden	f629dc2796	ci: fix pipeline?	2023-08-11 08:10:04 +01:00
Brendan Golden	d78b6257f2	dummy change	2023-08-11 07:54:42 +01:00
Brendan Golden	ba0da50bb0	dummy change	2023-08-11 02:15:43 +01:00
Brendan Golden	bce16b9b10	ci: linters and builders should always run	2023-08-11 02:04:55 +01:00
Brendan Golden	142dbf9914	fix: renamed to make room for teh compsoc repo	2023-07-30 14:08:54 +00:00
Brendan Golden	020fd7f25b	ci: added a ci pipeline	2023-06-18 22:50:23 +01:00