Skip to content
Non-primary OS

Idris2 pretty printer initial support #29

Sign in to view logs

Idris2 pretty printer initial support

Idris2 pretty printer initial support #29

Triggered via pull request October 28, 2024 13:58
@GlebChiliGlebChili
opened #208
GlebChili:idris2-pretty-printer
Status Success
Total duration 29s
Artifacts –

ci-non-primary-os.yml

on: pull_request
Clone on Windows
15s
Clone on Windows
Fit to window
Zoom out
Zoom in