author | Paul Spooren <mail@aparcar.org> | |
Thu, 27 Jan 2022 09:25:19 +0000 (10:25 +0100) | ||
committer | Paul Spooren <mail@aparcar.org> | |
Sat, 29 Jan 2022 15:44:11 +0000 (16:44 +0100) | ||
commit | 3dc38823a2994639500ca201ac16928b7bf0bd8a | |
tree | 341b0c12a3fcd2baeb6cabf040dfdccd2d70e2b8 | tree | snapshot |
parent | f4a79148f8cbb7dfbcddfb0c1128caec45a01596 | commit | diff |
.github/workflows/ci_helpers.sh | [new file with mode: 0644] | blob |
.github/workflows/formal.yml | [new file with mode: 0644] | blob |