[ fix ] Use freshly built `libidris2_support` in compiler #3441

Sign in to view logs

Summary
Jobs
- Sphinx
Run details
- Usage
- Workflow file

Triggered via pull request August 14, 2023 13:24

opened #3044

AlgebraicWolf:use-new-support

Status Success

Total duration 37s

Artifacts –

ci-sphinx.yml

on: pull_request