Skip to content
CodeQL Security Analysis

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

Sign in to view logs

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

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

Triggered via push June 15, 2026 17:48
@hyperpolymathhyperpolymath
pushed 137e3ad
main
Status Success
Total duration 48s
Artifacts –

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in