Agda

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

Sign in to view logs

Triggered via pull request May 14, 2026 12:01

opened #41

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

Status Failure

Total duration 40m 35s

Artifacts –

agda.yml

on: pull_request

Annotations

1 error

Process completed with exit code 42.