Skip to content
Build and Test cedar-spec

Fail CI on unchecked theorems #1088

Sign in to view logs

Fail CI on unchecked theorems

Fail CI on unchecked theorems #1088

Triggered via pull request September 30, 2024 21:44
@andrewmwells-amazonandrewmwells-amazon
opened #445
andrewmwells/unchecked_thm_linter
Status Success
Total duration 26m 55s
Artifacts –

ci.yml

on: pull_request
get-branch-name
0s
get-branch-name
Test Docker build
4m 35s
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