Skip to content
Build and Test cedar-spec

Make DRT compatible to arbitrary 1.4 #1128

Sign in to view logs

Make DRT compatible to arbitrary 1.4

Make DRT compatible to arbitrary 1.4 #1128

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test Docker build
4m 39s
get-branch-name
1s
Build and test Lean (stable)
4m 34s
build_and_test_drt / Build and test DRT (stable)
1m 10s
run-integration-tests / Run integration tests (stable)
26m 7s
36m 31s