Skip to content
Test

fully qualify Timestamp type to future proof with later Idris 2 libra… #888

Sign in to view logs

fully qualify Timestamp type to future proof with later Idris 2 libra…

fully qualify Timestamp type to future proof with later Idris 2 libra… #888

Triggered via push September 1, 2023 03:15
@mattpolzinmattpolzin
pushed ee71c4c
main
Status Success
Total duration 2m 17s
Artifacts –

test.yml

on: push
stable-idris
2m 5s
stable-idris
nightly-idris
2m 1s
nightly-idris
Fit to window
Zoom out
Zoom in