Sphinx

#173 Support exporting Idris types to Java #4

Sign in to view logs

Summary
Jobs
- Sphinx
Run details
- Usage
- Workflow file

Triggered via pull request July 14, 2024 22:37

opened #182

feature/idris-jvm-173-upgrade-0.7.0

Status Success

Total duration 29s

Artifacts –

ci-sphinx.yml

on: pull_request