Agda

fix(ci): repair corrupted rsr-antipattern.yml on this branch #274

Sign in to view logs

Triggered via push May 14, 2026 13:07

fix/ci-rsr-and-setup-beam-2026-05-14

Status Failure

Total duration 2h 8m 34s

Artifacts –

agda.yml

on: push

Annotations

1 error

Process completed with exit code 42.