Skip to content
Build and Test cedar-spec

WellTyped relation for TypedExpr #1434

Sign in to view logs

WellTyped relation for TypedExpr

WellTyped relation for TypedExpr #1434

Run time

Learn about OS pricing on GitHub Actions
Job Run time
get-branch-name
1s
Build and test Lean (stable)
5m 36s
Test Docker build
12m 18s
run-integration-tests / Run integration tests (stable)
13m 38s
build_and_test_drt / Build and test DRT (stable)
9m 32s
41m 5s