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

Sign in to view logs

Re-run triggered September 5, 2024 10:45

quark17

main

Status Success

Total duration 47m 4s

Artifacts 25

ci.yml

on: push

Check: code cleanliness

Check: testsuite lint

Matrix: Build/Test: GHC macOS

Matrix: Build/Test: GHC Ubuntu

Matrix: build-and-test-macos

Matrix: build-and-test-ubuntu

Matrix: build-doc-macOS

Matrix: build-doc-ubuntu

Matrix: build-releasenotes-ubuntu

Annotations

14 warnings

Build doc: macos-12

These files were overwritten during the `brew link` step:

Build doc: macos-14

These files were overwritten during the `brew link` step:

Build doc: macos-13

These files were overwritten during the `brew link` step:

Build/Test: GHC macOS (9.10.1) / Build: macos-14 ghc-9.10.1

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Build: macos-14 ghc-9.4.8

pyyaml has been deprecated! It will be disabled on 2024-10-06.

Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Build: macos-14 ghc-9.4.8

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Build/Test: macos-13 / Build: macos-13 ghc-9.6.6

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

Build/Test: macos-13 / Build: macos-13 ghc-9.6.6

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Build: macos-14 ghc-9.8.2

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Build: macos-14 ghc-9.8.2

pyyaml has been deprecated! It will be disabled on 2024-10-06.

Build/Test: macos-12 / Build: macos-12 ghc-9.6.6

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

Build/Test: macos-12 / Build: macos-12 ghc-9.6.6

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

Build/Test: macos-14 / Build: macos-14 ghc-9.6.6

pyyaml has been deprecated! It will be disabled on 2024-10-06.

Build/Test: macos-14 / Build: macos-14 ghc-9.6.6

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config