CodeQL Security Analysis

ci: SessionStart hook to auto-provision Agda toolchain on the web #106

Sign in to view logs

Triggered via pull request June 15, 2026 17:35

opened #223

claude/ecstatic-wright-OBEvx

Status Success

Total duration 53s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze