Skip to content
Docs

Convert test infrastructure to tasty-golden based testsuite #226

Sign in to view logs

Convert test infrastructure to tasty-golden based testsuite

Convert test infrastructure to tasty-golden based testsuite #226

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

docs.yml

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

Annotations

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