Tactic.Derive.DecEq: faster variant · agda/agda-stdlib-meta@beece2f

Triggered via pull request August 5, 2025 09:32

omelkonian

synchronize #36

orestis/fastDeriveDecEq

Status Failure

Total duration 17m 49s

Artifacts –

ci.yml

on: pull_request

1 error and 1 warning

./scripts/measureTypechecking.sh "agda ./standard-library-meta.agda" "site/typecheck.time" exited with non-zero code: 42

Failed to restore: Cache service responded with 400