Skip to content
Agda

ci: harden workflows per Hypatia security-scan findings #639

Sign in to view logs

ci: harden workflows per Hypatia security-scan findings

ci: harden workflows per Hypatia security-scan findings #639

Triggered via pull request June 2, 2026 18:06
@hyperpolymathhyperpolymath
synchronize #178
claude/hypatia-ci-hardening-r34Ql
Status Cancelled
Total duration 8m 13s
Artifacts –

agda.yml

on: pull_request
check
7m 53s
check
cold-check
7m 53s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check
Canceling since a higher priority waiting request for Agda-refs/pull/178/merge exists
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/178/merge exists
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/178/merge exists