Skip to content
Build

Merge pull request #2 from idris-community/core #6

Sign in to view logs

Merge pull request #2 from idris-community/core

Merge pull request #2 from idris-community/core #6

Triggered via push May 29, 2025 13:45
@stefan-hoeckstefan-hoeck
pushed 9c42f83
main
Status Success
Total duration 2m 4s
Artifacts –

ci-lib.yml

on: push
Build idris-community/idris2-scgi with Idris2 latest
2m 1s
Build idris-community/idris2-scgi with Idris2 latest
Fit to window
Zoom out
Zoom in