amai2012 2708a54c49 More GitHub actions (#2546) ... * add macOS env * add validation targets * use Z3		2020-02-20 22:00:14 +01:00
..
main.yml	More GitHub actions (#2546)	2020-02-20 22:00:14 +01:00