Skip to content
Agda

ci: Secret Scanner caller must grant the reusable's job permissions (… #870

Sign in to view logs

ci: Secret Scanner caller must grant the reusable's job permissions (…

ci: Secret Scanner caller must grant the reusable's job permissions (… #870

Triggered via push July 9, 2026 08:26
@hyperpolymathhyperpolymath
pushed 9eac58c
main
Status Success
Total duration 13m 34s
Artifacts –

agda.yml

on: push
check
2m 4s
check
cold-check
12m 13s
cold-check
Fit to window
Zoom out
Zoom in