Agda

chore(deps): bump the actions group with 2 updates (#285) #862

Sign in to view logs

Triggered via push June 27, 2026 20:35

main

Status Success

Total duration 12m 21s

Artifacts –

agda.yml

on: push