Skip to content
Docs

Convert test infrastructure to tasty-golden based testsuite #224

Sign in to view logs

Convert test infrastructure to tasty-golden based testsuite

Convert test infrastructure to tasty-golden based testsuite #224

Re-run triggered November 28, 2025 20:57
@andreasabelandreasabel
#450
copilot/improve-agda2hs-test-infrastructure
Status Cancelled
Total duration 2s
Artifacts –

docs.yml

on: pull_request
Matrix: deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Docs
Canceling since a higher priority waiting request for pages exists
deploy (3.14)
Canceling since a higher priority waiting request for pages exists