Skip to content
Security Policy

Merge branch 'main' into chore/recognise-agda-and-echo-types #311

Sign in to view logs

Merge branch 'main' into chore/recognise-agda-and-echo-types

Merge branch 'main' into chore/recognise-agda-and-echo-types #311

Triggered via push May 1, 2026 08:38
@hyperpolymathhyperpolymath
pushed c276169
chore/recognise-agda-and-echo-types
Status Success
Total duration 14s
Artifacts –

security-policy.yml

on: push
check
4s
check
Fit to window
Zoom out
Zoom in