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
|
01848e7d5b
|
Add an action for checking Javascript style. (#5361)
|
2022-09-23 11:55:05 +01:00 |