5 Commits

Author	SHA1	Message	Date
Akshay Joshi	30398219f4	Replace actions/upload-artifact@v3 with actions/upload-artifact@v4 for all the github actions.	2024-03-12 16:04:15 +05:30
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	6969d5c16f	Build docs using a venv, created by our in-tree script.	2023-04-05 13:59:30 +01:00
Dave Page	fb6e59bab8	Merge the doc builds into one action. ... This will reduce the CPU time by avoiding multiple install/update cycles.	2023-03-30 11:45:08 +01:00