Agda

chore(deps): bump the actions group with 5 updates #649

Sign in to view logs

Triggered via pull request June 5, 2026 09:59

synchronize #179

dependabot/github_actions/actions-69e071a450

Status Success

Total duration 11m 37s

Artifacts –

agda.yml

on: pull_request