Skip to content
Docs

Convert test infrastructure to tasty-golden based testsuite #229

Sign in to view logs

Convert test infrastructure to tasty-golden based testsuite

Convert test infrastructure to tasty-golden based testsuite #229

Re-run triggered November 29, 2025 10:39
@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
Docs
Canceling since a higher priority waiting request for pages exists
deploy (3.14)
Canceling since a higher priority waiting request for pages exists