Agda

chore(deps): bump the actions group with 2 updates (#308) #922

Sign in to view logs

Triggered via push August 29, 2026 20:35

main

Status Success

Total duration 11m 8s

Artifacts –

agda.yml

on: push