Agda

chore(ci): bump standards reusable workflow pins #849

Sign in to view logs

Triggered via pull request June 24, 2026 14:38

opened #276

chore/bump-standards-pins-2026-06-24

Status Success

Total duration 1h 23m 40s

Artifacts –

agda.yml

on: pull_request