[ ci ] Move external libs outside of Idris2 job #163

Sign in to view logs

Summary
Jobs
- Sphinx
Run details
- Usage
- Workflow file

Triggered via push August 28, 2023 13:20

ci-pack-lsp

Status Success

Total duration 40s

Artifacts –

ci-sphinx.yml

on: push