Commit graph

16 commits

Author SHA1 Message Date
Keir Fraser
e829d827da github: Update workflow actions to latest versions 2024-02-05 15:08:48 +00:00
Eric Anderson
9308d30b2e Upgrade gh-actions to Ubuntu 22.04
The newer GCC does a better job of reducing code size.
2023-07-17 18:18:49 +01:00
Keir Fraser
c885f2cb49 release.yml: Fix RELEASE_NOTES link 2023-03-01 12:39:12 +00:00
Keir Fraser
e912ef4cf0 github: Rewrite release creation rules 2022-11-07 08:23:26 +00:00
Keir Fraser
df0d5e5a89 github: Use latest versions of checkout and upload-artifact actions 2022-11-06 19:12:19 +00:00
Keir Fraser
8e8238c8ab github: Rewrite deprecated set-output commands 2022-11-06 19:00:14 +00:00
Keir Fraser
d593c6297d GitHub release: Better release name, and fix RELEASE_NOTES link 2022-05-23 13:18:54 +01:00
Keir Fraser
d7d3897a47 Remove 'v' prefix from version number usage. 2022-04-14 14:53:33 +01:00
Keir Fraser
773d173717 Modify build system to place artefacts in separate out/ folder 2022-03-13 15:27:12 +00:00
Keir Fraser
74c4808577 Repo names renamed to all lower case 2021-12-22 16:22:05 +00:00
Keir Fraser
c2a5c48439 Remove RELEASE_NOTES from CI artifacts. Remove RELEASE from Release zip. 2020-12-08 12:55:46 +00:00
Keir Fraser
73eddd3d5f Release workflow 2020-12-08 12:36:22 +00:00
Keir Fraser
81c24a3025 Put rev/sha commit id in CI artifacts 2020-12-08 11:39:01 +00:00
Keir Fraser
c04ddc13cb Rename CI uploaded artifact 2020-12-07 12:47:37 +00:00
Keir Fraser
b8cd33e1a2 Consistently use python3. Update CI workflow to reflect this and use Ubuntu 20.04. 2020-12-06 11:12:06 +00:00
Ryan Finnie
3028de3cbd
Add Github CI workflow 2020-12-05 11:14:54 -08:00