| commit | 475222dde71b4258abce8133d7005c39be4f3a14 | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Thu, 4 Nov 2021 11:32:42 +0000 (4 12:32 +0100) | ||
| committer | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Thu, 4 Nov 2021 14:39:26 +0000 (4 15:39 +0100) | ||
| tree | 2e43a368be1b61a80cf3179fc2443dde0f0f628f | treesnapshot (tar.gz zip) |
| parent | 65a51c85c10904211a1cdce3d43687c9f32bc5b3 | commitdiff |
Touch up CI, broken by github installing 9.2.1