Convert test infrastructure to tasty-golden based testsuite · agda/agda2hs@f6c7d62

Re-run triggered November 28, 2025 20:16

#450

Status Failure

Total duration 48s

Artifacts –

ci.yml

on: pull_request

Matrix: cabal

7 errors and 1 warning

Process completed with exit code 2.

The strategy configuration was canceled because "cabal.ubuntu-latest_3_14_2_0__4" failed

The operation was canceled.

The strategy configuration was canceled because "cabal.ubuntu-latest_3_14_2_0__4" failed

The operation was canceled.

The strategy configuration was canceled because "cabal.ubuntu-latest_3_14_2_0__4" failed

Process completed with exit code 2.

Cache save failed.