Github action to update version number inside Ada script - #131

Merged

hailihu merged 15 commits into

123-provide-reliable-ada---version

Oct 22, 2025

Commits on Oct 9, 2025

Add ADA_VERSION which can be automatically set by Github action
onnozweers
committed
8c369fd
Set version to 123-provide-reliable-ada---version

github-actions[bot]
authored and
onnozweers
committed
31688df
Changed comment
onnozweers
committed
cdd32be
When pushing branch, add commit hash to the version.
onnozweers
committed
1184c86
Reset version number to test Github Action
onnozweers
committed
f96cc82
Set version to 123-provide-reliable-ada---version
github-actions[bot]
committed
b0822c1
Add commit hash to version also on branch push
onnozweers
committed
9d9518d
Remove commit hash from the version number
onnozweers
committed
b6cc626
Pushing something to test what the Github action does
onnozweers
committed
d76b0bf
Add comments to explain the ADA_VERSION values
onnozweers
committed
db31a00

Commits on Oct 13, 2025

Clean up update-version-file.yml and ada-version
onnozweers
committed
1705bbe

Commits on Oct 15, 2025

Commits on Oct 22, 2025

Make update_ada_version.yml work on MacOS and UNIX
hailihu
committed
900ee47