Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make the generator to produce special i64 values easier Build and Test cedar-spec #325: Pull request #128 synchronize by shaobo-he-aws
October 3, 2023 18:36 19m 37s feature/shaobo/biased-int
feature/shaobo/biased-int
October 3, 2023 18:36 19m 37s
Make the generator to produce special i64 values easier Build and Test cedar-spec #324: Pull request #128 synchronize by shaobo-he-aws
October 3, 2023 18:35 5m 3s feature/shaobo/biased-int
feature/shaobo/biased-int
October 3, 2023 18:35 5m 3s
cedar-spec changes for arithmetic overflow validation Build and Test cedar-spec #323: Pull request #30 synchronize by john-h-kastner-aws
October 3, 2023 17:54 14m 3s feature/mattmccutchen-amazon/overflow-validation
feature/mattmccutchen-amazon/overflow-validation
October 3, 2023 17:54 14m 3s
Bump Dafny version to 4.3.0 Build and Test cedar-spec #322: Pull request #130 opened by shaobo-he-aws
October 3, 2023 05:06 20m 16s chore/shaobo/dafny-4.3.0
chore/shaobo/dafny-4.3.0
October 3, 2023 05:06 20m 16s
bump versions to 3.0 Build and Test cedar-spec #321: Pull request #129 opened by andrewmwells-amazon
October 2, 2023 23:25 10m 12s andrewmwells/v3.0
andrewmwells/v3.0
October 2, 2023 23:25 10m 12s
Make the generator to produce special i64 values easier Build and Test cedar-spec #320: Pull request #128 opened by shaobo-he-aws
October 2, 2023 21:35 19m 40s feature/shaobo/biased-int
feature/shaobo/biased-int
October 2, 2023 21:35 19m 40s
Make it easier to test new implementations of Cedar Build and Test cedar-spec #319: Pull request #124 synchronize by khieta
September 28, 2023 19:44 19m 44s refactor/khieta/add-cedar-test-impl
refactor/khieta/add-cedar-test-impl
September 28, 2023 19:44 19m 44s
Make it easier to test new implementations of Cedar Build and Test cedar-spec #318: Pull request #124 synchronize by khieta
September 28, 2023 19:28 10m 26s refactor/khieta/add-cedar-test-impl
refactor/khieta/add-cedar-test-impl
September 28, 2023 19:28 10m 26s