Skip to content
CI

encoded mono/poly distinction in type system #43

Sign in to view logs

encoded mono/poly distinction in type system

encoded mono/poly distinction in type system #43

Triggered via push January 21, 2024 20:18
@ascandoneascandone
pushed 6ab25c2
main
Status Success
Total duration 49s
Billable time 1m
Artifacts –

ci.yml

on: push
main
39s
main
Fit to window
Zoom out
Zoom in