Juvix standard library CI

Standard library traits #350

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered October 20, 2023 10:46

lukaszcz

#86

stdlib-traits

Status Success

Total duration 11m 2s

Artifacts –

ci.yml

on: pull_request