Juvix standard library CI

Migrate juvix.yaml to Package.juvix #361

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request November 7, 2023 17:04

paulcadman

opened #89

migrate-juvix-yaml

Status Success

Total duration 17m 44s

Artifacts –

ci.yml

on: pull_request