diff options
| author | Jiuyang Liu | 2021-07-29 10:55:52 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 12:56:04 +0800 |
| commit | 5f550b606d47d04b7ee60976cdb18a51c391992c (patch) | |
| tree | d189267a74c2495d46d180912416236d6e01aa32 /macros/src | |
| parent | 7c8a032e7e23902283035d93579b8dc477b32f6a (diff) | |
Revert "Just install z3 from apt-get in CI (#2056)"
This reverts commit 1e7829eb674eed85a4cd537896d9fd9ee0bc5ff4.
Diffstat (limited to 'macros/src')
0 files changed, 0 insertions, 0 deletions