Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via push May 14, 2026 20:55
@hyperpolymathhyperpolymath
pushed fb934cf
main
Status Failure
Total duration 3h 25m 50s
Artifacts –

agda.yml

on: push
check
2m 29s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 42.