projects / gram.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88a1787) | patch
Use Z3 from Fedora repos for faster CI
authorJean THOMAS <git0@pub.jeanthomas.me>
Fri, 24 Jul 2020 13:30:34 +0000 (15:30 +0200)
committerJean THOMAS <git0@pub.jeanthomas.me>
Fri, 24 Jul 2020 13:30:34 +0000 (15:30 +0200)
commit39a933d9795ca3ed856d4ac835f78eb10f122061
treec1b7f5b651d4681200cd54d56ba4da2ce49750d7tree
parent88a1787fd3838a39333f8249c2eb0e6d16124cc7commit | diff
Use Z3 from Fedora repos for faster CI
.build.yml diff | blob | history