Build

Build #212

Sign in to view logs

Triggered via schedule December 20, 2023 04:06

kbertalan

main

Status Success

Total duration 6m 8s

Artifacts –

ci.yml

on: schedule

Build kbertalan/idris2-go with Idris2 latest