7 Commits

Author	SHA1	Message	Date
Akshay Joshi	8545d846c0	Replace actions/checkout@v3 with actions/checkout@v4 for all the github actions.	2024-03-12 15:26:31 +05:30
Dave Page	b4f517f7ff	Rename tasks in workflows to allow rule enforcement in Github.	2023-10-05 11:57:24 +05:30
Dave Page	401358568a	Simplify and standardise actions.	2023-04-05 15:01:11 +01:00
Dave Page	da937e2618	Don't upgrade base images when running tests. ... This takes a lot of time and CPU minutes, and Github keep the images pretty fresh anyway.	2023-03-30 11:23:57 +01:00
Dave Page	ac4827c33b	Don't let actions pile up!	2023-03-29 13:08:53 +01:00
Dave Page	e797eb17eb	Cleanup and improve robustness of Github actions.	2023-03-28 14:24:04 +01:00
Dave Page	61361dd2b8	Naming consistency (#5362)	2022-09-23 12:00:18 +01:00