CodeQL Security Analysis

Resolve the monad/comonad/adjunction variance of loss in --safe Agda #158

Sign in to view logs

Triggered via pull request June 19, 2026 23:25

opened #243

claude/eager-heisenberg-r3gz3c

Status Success

Total duration 36s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze