Skip to content
Juvix standard library CI

Update traits (#80) #305

Sign in to view logs

Update traits (#80)

Update traits (#80) #305

Triggered via push September 13, 2023 17:49
@paulcadmanpaulcadman
pushed f9ebce1
main
Status Success
Total duration 10m 33s
Artifacts –

ci.yml

on: push
build
10m 20s
build
Fit to window
Zoom out
Zoom in