Agda

fix(ci): rsr-antipattern.yml duplicate heredoc #272

Sign in to view logs

Triggered via push May 14, 2026 12:01

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

Status Failure

Total duration 46m 6s

Artifacts –

agda.yml

on: push

Annotations

1 error

Process completed with exit code 42.