Skip to content
Idris2 ABI Type-Check

ci: deploy docs via Ddraig SSG #186

Sign in to view logs

ci: deploy docs via Ddraig SSG

ci: deploy docs via Ddraig SSG #186

Triggered via pull request July 19, 2026 12:42
@hyperpolymathhyperpolymath
opened #319
feat/ddraig-pages-mass
Status Success
Total duration 5m 0s
Artifacts –

idris2-abi-ci.yml

on: pull_request
Type-check Idris2 ABI definitions
16s
Type-check Idris2 ABI definitions
Fit to window
Zoom out
Zoom in