Extend STP_STUB and YICES_STUB flag #937

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check: code cleanliness	6s
Build: macos-11	35m 38s
Build: macos-12	20m 34s
Build: macos-13	18m 20s
Check: testsuite lint	7s
Build doc: macos-11	11m 51s
Build doc: macos-12	12m 10s
Build doc: macos-13	10m 38s
Build doc: ubuntu-20.04	3m 5s
Build doc: ubuntu-22.04	2m 30s
Build releasenotes: ubuntu-22.04	24s
Build: ubuntu-20.04	10m 34s
Build: ubuntu-22.04	11m 5s
Test bsc-contrib ubuntu-20.04	4m 16s
Test bsc-contrib ubuntu-22.04	3m 55s
Test ubuntu-20.04	1h 35m 32s
Test ubuntu-22.04	1h 54m 15s
Test bdw ubuntu-20.04	2m 6s
Test bdw ubuntu-22.04	3m 2s
Test Toooba ubuntu-20.04	29m 26s
Test Toooba ubuntu-22.04	27m 19s
Test bdw macos-11	1m 34s
Test bdw macos-12	1m 19s
Test bdw macos-13	1m 4s
Test Toooba macos-11	29m 53s
Test Toooba macos-12	34m 56s
Test Toooba macos-13	36m 1s
Test bsc-contrib macos-11	5m 1s
Test bsc-contrib macos-12	4m 22s
Test bsc-contrib macos-13	4m 37s
Test macos-11	2h 3m 24s
Test macos-12	2h 8m 49s
Test macos-13	2h 33m 10s
	15h 41m 3s