Skip to content
Idris2 ABI Type-Check

fix(ci): unbreak workflow YAML and add a complete actions.lock (#368) #274

Sign in to view logs

fix(ci): unbreak workflow YAML and add a complete actions.lock (#368)

fix(ci): unbreak workflow YAML and add a complete actions.lock (#368) #274

Triggered via push August 27, 2026 05:06
@hyperpolymathhyperpolymath
pushed 994bda3
main
Status Success
Total duration 40m 29s
Artifacts –

idris2-abi-ci.yml

on: push
Type-check Idris2 ABI definitions
7m 57s
Type-check Idris2 ABI definitions
Fit to window
Zoom out
Zoom in