author | Paul Spooren <mail@aparcar.org> | |
Wed, 10 Jan 2024 16:21:01 +0000 (17:21 +0100) | ||
committer | Paul Spooren <mail@aparcar.org> | |
Thu, 11 Jan 2024 09:09:03 +0000 (10:09 +0100) | ||
commit | 2d4552a96c7e5d44f9caaf1367e2be9d3775afae | |
tree | c70b597351f984b2878c5867a0fde8f47b2dc6dc | tree | snapshot |
parent | 3df9322771cc932e5b82438634337fcca6cc97bc | commit | diff |
.github/workflows/formal.yml | diff | blob | history |