Agda

ci: CodeQL language matrix -> actions #726

Sign in to view logs

Triggered via pull request June 14, 2026 12:44

synchronize #216

claude/practical-newton-9eFe2

Status Success

Total duration 12m 16s

Artifacts –

agda.yml

on: pull_request