author | Paul Spooren <mail@aparcar.org> | |
Thu, 27 Jan 2022 09:25:19 +0000 (10:25 +0100) | ||
committer | Josef Schlehofer <pepe.schlehofer@gmail.com> | |
Sun, 4 Dec 2022 15:11:57 +0000 (16:11 +0100) | ||
commit | 09f4533d6d07eb7afd922ced0f4461e61d07a999 | |
tree | d5300d081d179d23452a3658c2f54529e61c95aa | tree | snapshot |
parent | fd90eed40ce6828a1bbd11d1a394e7c6368d0577 | commit | diff |
.github/workflows/ci_helpers.sh | [new file with mode: 0644] | blob |
.github/workflows/formal.yml | [new file with mode: 0644] | blob |