Build and Test cedar-spec

Updates needed by cedar-policy/cedar#1415 #1247

Sign in to view logs

Re-run triggered January 14, 2025 16:46

#516

chore/shaobo/update-cedar

Status Success

Total duration 15m 18s

Artifacts –

ci.yml

on: pull_request

get-branch-name

Test Docker build

Matrix: Build and test Lean

Matrix: build_and_test_drt / Build and test DRT

Matrix: run-integration-tests / Run integration tests

Annotations

5 warnings

get-branch-name

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Build and test Lean (stable)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

run-integration-tests / Run integration tests (stable)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

build_and_test_drt / Build and test DRT (stable)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test Docker build

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636