diff options
| author | Dimitri Staessens <dimitri@ouroboros.rocks> | 2026-02-15 20:56:26 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander@ouroboros.rocks> | 2026-02-18 08:02:31 +0100 |
| commit | c87c99ff5adf700e768a08d2c8c02a7705cf9003 (patch) | |
| tree | 1740be2e77263cf8cc7f36be8c5d3d5e2ba13355 /ouroboros-irm.pc.in | |
| parent | b6b0b754d99dc2298930cb5db42950bf7c08cc08 (diff) | |
| download | ouroboros-c87c99ff5adf700e768a08d2c8c02a7705cf9003.tar.gz ouroboros-c87c99ff5adf700e768a08d2c8c02a7705cf9003.zip | |
ci: Add a check for VERSION file
This adds a check that the VERSION file is the correct format so we
detect accidental editing or overwrites.
Signed-off-by: Dimitri Staessens <dimitri@ouroboros.rocks>
Signed-off-by: Sander Vrijders <sander@ouroboros.rocks>
Diffstat (limited to 'ouroboros-irm.pc.in')
0 files changed, 0 insertions, 0 deletions