7 Commits

Author	SHA1	Message	Date
Aditya Toshniwal	e8f108154d	Fix build failures.	2024-06-27 18:03:10 +05:30
Aditya Toshniwal	6f96f67655	Add the git commit hash details to the About dialog. #7623	2024-06-27 13:20:00 +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	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	a66dfff39d	Add a Github action to check the container build.	2023-03-22 16:07:04 +00:00