ivabus/pantry
1
0
Fork 0
mirror of https://github.com/ivabus/pantry synced 2024-11-14 04:25:08 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions
971 commits 3 branches 0 tags 6.3 MiB
Commit graph

2 commits

Author SHA1 Message Date
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