Skip to content

Actions: cedar-policy/cedar-spec

Actions

Build and Test cedar-spec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
983 workflow runs
983 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use Protobuf for additional DRT targets Build and Test cedar-spec #1404: Pull request #562 opened by cdisselkoen
March 3, 2025 15:12 4m 53s cdisselkoen/more-proto-drt
cdisselkoen/more-proto-drt
March 3, 2025 15:12 4m 53s
TPE Lean model Build and Test cedar-spec #1403: Pull request #548 synchronize by shaobo-he-aws
March 3, 2025 04:44 14m 56s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
March 3, 2025 04:44 14m 56s
Refactor Protobufs code Build and Test cedar-spec #1402: Pull request #561 synchronize by shaobo-he-aws
March 2, 2025 22:35 13m 42s chore/shaobo/protobuf-refactor
chore/shaobo/protobuf-refactor
March 2, 2025 22:35 13m 42s
Refactor Protobufs code Build and Test cedar-spec #1401: Pull request #561 synchronize by shaobo-he-aws
March 2, 2025 22:19 13m 28s chore/shaobo/protobuf-refactor
chore/shaobo/protobuf-refactor
March 2, 2025 22:19 13m 28s
Refactor Protobufs code Build and Test cedar-spec #1400: Pull request #561 opened by shaobo-he-aws
March 2, 2025 22:11 13m 59s chore/shaobo/protobuf-refactor
chore/shaobo/protobuf-refactor
March 2, 2025 22:11 13m 59s
Enable datetime generation Build and Test cedar-spec #1399: Pull request #560 opened by shaobo-he-aws
March 1, 2025 00:55 13m 32s re-enable-datetime
re-enable-datetime
March 1, 2025 00:55 13m 32s
Lean: Update models with the datetime extension Build and Test cedar-spec #1398: Pull request #558 synchronize by adpaco-aws
February 28, 2025 22:59 13m 50s adpaco-aws:datetime-proofs
adpaco-aws:datetime-proofs
February 28, 2025 22:59 13m 50s
Lean: Update models with the datetime extension Build and Test cedar-spec #1397: Pull request #558 synchronize by adpaco-aws
February 28, 2025 22:41 13m 51s adpaco-aws:datetime-proofs
adpaco-aws:datetime-proofs
February 28, 2025 22:41 13m 51s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1396: Pull request #533 synchronize by john-h-kastner-aws
February 28, 2025 22:30 14m 0s levels-checking
levels-checking
February 28, 2025 22:30 14m 0s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1395: Pull request #533 synchronize by john-h-kastner-aws
February 28, 2025 22:22 13m 42s levels-checking
levels-checking
February 28, 2025 22:22 13m 42s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1394: Pull request #533 synchronize by john-h-kastner-aws
February 28, 2025 22:21 6m 7s levels-checking
levels-checking
February 28, 2025 22:21 6m 7s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1393: Pull request #533 synchronize by john-h-kastner-aws
February 28, 2025 22:06 13m 34s levels-checking
levels-checking
February 28, 2025 22:06 13m 34s
apply #555 to all of CedarProto Build and Test cedar-spec #1392: Pull request #559 synchronize by cdisselkoen
February 28, 2025 21:09 13m 27s cdisselkoen/parseFieldElement
cdisselkoen/parseFieldElement
February 28, 2025 21:09 13m 27s
apply #555 to all of CedarProto Build and Test cedar-spec #1391: Pull request #559 synchronize by cdisselkoen
February 28, 2025 21:08 13m 31s cdisselkoen/parseFieldElement
cdisselkoen/parseFieldElement
February 28, 2025 21:08 13m 31s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1390: Pull request #533 synchronize by john-h-kastner-aws
February 28, 2025 20:16 14m 31s levels-checking
levels-checking
February 28, 2025 20:16 14m 31s
apply #555 to all of CedarProto Build and Test cedar-spec #1389: Pull request #559 opened by cdisselkoen
February 28, 2025 19:44 14m 52s cdisselkoen/parseFieldElement
cdisselkoen/parseFieldElement
February 28, 2025 19:44 14m 52s
Lean: Update models with the datetime extension Build and Test cedar-spec #1388: Pull request #558 synchronize by adpaco-aws
February 28, 2025 19:00 13m 50s adpaco-aws:datetime-proofs
adpaco-aws:datetime-proofs
February 28, 2025 19:00 13m 50s
Lean: Update models with the datetime extension Build and Test cedar-spec #1387: Pull request #558 synchronize by adpaco-aws
February 28, 2025 18:16 14m 38s adpaco-aws:datetime-proofs
adpaco-aws:datetime-proofs
February 28, 2025 18:16 14m 38s
TPE Lean model Build and Test cedar-spec #1386: Pull request #548 synchronize by shaobo-he-aws
February 28, 2025 18:14 13m 59s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 28, 2025 18:14 13m 59s
TPE Lean model Build and Test cedar-spec #1385: Pull request #548 synchronize by shaobo-he-aws
February 28, 2025 16:58 13m 25s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 28, 2025 16:58 13m 25s
TPE Lean model Build and Test cedar-spec #1384: Pull request #548 synchronize by shaobo-he-aws
February 28, 2025 16:50 13m 20s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 28, 2025 16:50 13m 20s
TPE Lean model Build and Test cedar-spec #1383: Pull request #548 synchronize by shaobo-he-aws
February 28, 2025 05:10 13m 34s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 28, 2025 05:10 13m 34s
TPE Lean model Build and Test cedar-spec #1382: Pull request #548 synchronize by shaobo-he-aws
February 28, 2025 04:33 5m 21s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 28, 2025 04:33 5m 21s
TPE Lean model Build and Test cedar-spec #1381: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 22:11 13m 26s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 22:11 13m 26s
Lean: Update models with the datetime extension Build and Test cedar-spec #1380: Pull request #558 opened by adpaco-aws
February 27, 2025 21:52 13m 50s adpaco-aws:datetime-proofs
adpaco-aws:datetime-proofs
February 27, 2025 21:52 13m 50s