Skip to content

Check equivalence of tags in schemas #1120

Check equivalence of tags in schemas

Check equivalence of tags in schemas #1120

Triggered via pull request November 4, 2024 22:02
Status Failure
Total duration 26m 37s
Artifacts

ci.yml

on: pull_request
get-branch-name
0s
get-branch-name
Test Docker build
4m 25s
Test Docker build
Matrix: Build and test Lean
Matrix: build_and_test_drt / Build and test DRT
Matrix: run-integration-tests / Run integration tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
build_and_test_drt / Build and test DRT (stable)
Process completed with exit code 101.