Skip to content

fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump #879

fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump

fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump #879

Triggered via pull request July 21, 2026 20:23
Status Success
Total duration 25m 0s
Artifacts

agda.yml

on: pull_request
Fit to window
Zoom out
Zoom in