ivabus/pantry
1
0
Fork 0
mirror of https://github.com/ivabus/pantry synced 2024-11-10 18:45:19 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
1524 commits 3 branches 0 tags 6.3 MiB
Commit graph

3 commits

Author SHA1 Message Date
Jacob Heider fe950699b8 fix(z3) 2023-04-18 23:38:11 -04:00
Max Howell d619c00c39
In fact z3 needs python during build 
It’s worrying that the CI/CD builds found python even though we weren't specifying it @jheider
 2023-03-17 15:14:30 -04:00
Max Howell fdbb7f18cf +z3 
Closes #518
 2023-03-17 15:01:48 -04:00