Write git-hash and/or version number into results and log files
Useful for debugging peoples code who aren't sure what version they ran with.
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 25 March 2025 starting at approximately 8:30am PDT. It is expected to take around 30 minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
Useful for debugging peoples code who aren't sure what version they ran with.
changed title from Write current git-has and/or version number into results and log files to Write git-hash and/or version number into results and log files
closed via commit e8269967
mentioned in commit e8269967
unassigned @gregory.ashton