Linux CI

Adding XAG resub and improving AIG resub #1240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clang 11	9m 24s
Clang 13	9m 52s
GNU GCC 10	11m 24s
GNU GCC 12	13m 53s
GNU GCC 10 (c++20)	12m 45s
GNU GCC 9	10m 26s
Compile everything (GCC 9)	15m 6s
	1h 22m 50s