Skip to content
Uclid CI

Fix Type Checking + Type Declaration Bugs with ADTs #669

Sign in to view logs

Fix Type Checking + Type Declaration Bugs with ADTs

Fix Type Checking + Type Declaration Bugs with ADTs #669

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-ubuntu
3m 14s
test-macos
8m 22s
11m 36s