Skip to content
CI

testsuite: remove some old -sat-cudd tests #81

Sign in to view logs

testsuite: remove some old -sat-cudd tests

testsuite: remove some old -sat-cudd tests #81

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check: code cleanliness
4s
Check: testsuite lint
7s
Build doc: macos-12
11m 55s
Build doc: ubuntu-20.04
1m 57s
Build doc: macos-13
21m 32s
Build doc: ubuntu-22.04
2m 20s
Build releasenotes: ubuntu-22.04
32s
Build doc: macos-14
10m 11s
Build doc: ubuntu-24.04
2m 40s
Build/Test: ubuntu-20.04 / Build: ubuntu-20.04 ghc-9.6.5
9m 51s
Build/Test: ubuntu-22.04 / Build: ubuntu-22.04 ghc-9.6.5
10m 0s
Build/Test: GHC macOS (9.10.1) / Build: macos-14 ghc-9.10.1
11m 17s
Build/Test: ubuntu-24.04 / Build: ubuntu-24.04 ghc-9.6.5
9m 40s
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Build: macos-14 ghc-9.4.8
9m 6s
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Build: macos-14 ghc-9.8.2
10m 55s
Build/Test: GHC Ubuntu (9.10.1) / Build: ubuntu-22.04 ghc-9.10.1
7m 2s
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.4.8
9m 33s
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.8.2
8m 5s
Build/Test: macos-12 / Build: macos-12 ghc-9.6.5
15m 18s
Build/Test: macos-13 / Build: macos-13 ghc-9.6.5
27m 47s
Build/Test: macos-14 / Build: macos-14 ghc-9.6.5
10m 9s
Build/Test: GHC Ubuntu (9.10.1) / Test ubuntu-22.04 ghc-9.10.1
1h 17m 40s
Build/Test: GHC Ubuntu (9.10.1) / Test bdw ubuntu-22.04 ghc-9.10.1
1m 38s
Build/Test: GHC Ubuntu (9.10.1) / Test bsc-contrib ubuntu-22.04 ghc-9.10.1
2m 46s
Build/Test: GHC Ubuntu (9.10.1) / Test Toooba ubuntu-22.04 ghc-9.10.1
12m 12s
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Test Toooba ubuntu-22.04 ghc-9.8.2
12m 32s
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Test ubuntu-22.04 ghc-9.8.2
1h 14m 58s
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Test bdw ubuntu-22.04 ghc-9.8.2
1m 42s
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Test bsc-contrib ubuntu-22.04 ghc-9.8.2
2m 57s
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Test ubuntu-22.04 ghc-9.4.8
1h 17m 41s
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Test bsc-contrib ubuntu-22.04 ghc-9.4.8
2m 51s
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Test Toooba ubuntu-22.04 ghc-9.4.8
12m 7s
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Test bdw ubuntu-22.04 ghc-9.4.8
1m 47s
Build/Test: ubuntu-24.04 / Test Toooba ubuntu-24.04 ghc-9.6.5
12m 1s
Build/Test: ubuntu-24.04 / Test ubuntu-24.04 ghc-9.6.5
1h 17m 34s
Build/Test: ubuntu-24.04 / Test bdw ubuntu-24.04 ghc-9.6.5
1m 42s
Build/Test: ubuntu-24.04 / Test bsc-contrib ubuntu-24.04 ghc-9.6.5
2m 52s
Build/Test: ubuntu-20.04 / Test bsc-contrib ubuntu-20.04 ghc-9.6.5
2m 59s
Build/Test: ubuntu-20.04 / Test Toooba ubuntu-20.04 ghc-9.6.5
12m 4s
Build/Test: ubuntu-20.04 / Test ubuntu-20.04 ghc-9.6.5
1h 15m 29s
Build/Test: ubuntu-20.04 / Test bdw ubuntu-20.04 ghc-9.6.5
1m 40s
Build/Test: ubuntu-22.04 / Test Toooba ubuntu-22.04 ghc-9.6.5
12m 41s
Build/Test: ubuntu-22.04 / Test ubuntu-22.04 ghc-9.6.5
1h 17m 13s
Build/Test: ubuntu-22.04 / Test bsc-contrib ubuntu-22.04 ghc-9.6.5
2m 54s
Build/Test: ubuntu-22.04 / Test bdw ubuntu-22.04 ghc-9.6.5
1m 49s
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Test macos-14 ghc-9.4.8
1h 1m 34s
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Test Toooba macos-14 ghc-9.4.8
7m 49s
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Test bdw macos-14 ghc-9.4.8
48s
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Test bsc-contrib macos-14 ghc-9.4.8
2m 32s
Build/Test: GHC macOS (9.10.1) / Test macos-14 ghc-9.10.1
1h 2m 22s
Build/Test: GHC macOS (9.10.1) / Test bdw macos-14 ghc-9.10.1
58s
Build/Test: GHC macOS (9.10.1) / Test bsc-contrib macos-14 ghc-9.10.1
2m 30s
Build/Test: GHC macOS (9.10.1) / Test Toooba macos-14 ghc-9.10.1
7m 31s
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Test macos-14 ghc-9.8.2
1h 3m 18s
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Test Toooba macos-14 ghc-9.8.2
8m 7s
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Test bdw macos-14 ghc-9.8.2
49s
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Test bsc-contrib macos-14 ghc-9.8.2
2m 49s
Build/Test: macos-14 / Test macos-14 ghc-9.6.5
1h 2m 32s
Build/Test: macos-14 / Test Toooba macos-14 ghc-9.6.5
8m 33s
Build/Test: macos-14 / Test bsc-contrib macos-14 ghc-9.6.5
2m 27s
Build/Test: macos-14 / Test bdw macos-14 ghc-9.6.5
47s
Build/Test: macos-12 / Test bsc-contrib macos-12 ghc-9.6.5
4m 30s
Build/Test: macos-12 / Test Toooba macos-12 ghc-9.6.5
15m 13s
Build/Test: macos-12 / Test macos-12 ghc-9.6.5
1h 53m 44s
Build/Test: macos-12 / Test bdw macos-12 ghc-9.6.5
1m 18s
Build/Test: macos-13 / Test Toooba macos-13 ghc-9.6.5
18m 11s
Build/Test: macos-13 / Test macos-13 ghc-9.6.5
2h 12m 1s
Build/Test: macos-13 / Test bdw macos-13 ghc-9.6.5
1m 17s
Build/Test: macos-13 / Test bsc-contrib macos-13 ghc-9.6.5
5m 39s
22h 19m 9s