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

Level checking implementation and proof (WIP) Build and Test cedar-spec #1429: Pull request #533 synchronize by john-h-kastner-aws
March 4, 2025 22:36 14m 4s levels-checking
levels-checking
March 4, 2025 22:36 14m 4s
Add types and methods from datetime extension to parsers Build and Test cedar-spec #1428: Pull request #565 synchronize by adpaco-aws
March 4, 2025 20:50 13m 57s adpaco-aws:datetime-parsers
adpaco-aws:datetime-parsers
March 4, 2025 20:50 13m 57s
Add types and methods from datetime extension to parsers Build and Test cedar-spec #1427: Pull request #565 synchronize by adpaco-aws
March 4, 2025 20:29 16m 17s adpaco-aws:datetime-parsers
adpaco-aws:datetime-parsers
March 4, 2025 20:29 16m 17s
[lean] remove JSON deserializer for internal JSON format Build and Test cedar-spec #1426: Pull request #567 opened by cdisselkoen
March 4, 2025 20:24 14m 48s cdisselkoen/remove-lean-json
cdisselkoen/remove-lean-json
March 4, 2025 20:24 14m 48s
Add types and methods from datetime extension to parsers Build and Test cedar-spec #1425: Pull request #565 synchronize by adpaco-aws
March 4, 2025 20:21 5m 48s adpaco-aws:datetime-parsers
adpaco-aws:datetime-parsers
March 4, 2025 20:21 5m 48s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1424: Pull request #533 synchronize by john-h-kastner-aws
March 4, 2025 18:33 9m 47s levels-checking
levels-checking
March 4, 2025 18:33 9m 47s
WellTyped relation for TypedExpr Build and Test cedar-spec #1423: Pull request #547 synchronize by shaobo-he-aws
March 4, 2025 18:14 9m 17s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 4, 2025 18:14 9m 17s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1422: Pull request #533 synchronize by john-h-kastner-aws
March 4, 2025 17:54 10m 2s levels-checking
levels-checking
March 4, 2025 17:54 10m 2s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1421: Pull request #533 synchronize by john-h-kastner-aws
March 4, 2025 17:47 6m 43s levels-checking
levels-checking
March 4, 2025 17:47 6m 43s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1420: Pull request #533 synchronize by john-h-kastner-aws
March 4, 2025 16:29 6m 12s levels-checking
levels-checking
March 4, 2025 16:29 6m 12s
remove partial-auth and partial-eval DRT targets Build and Test cedar-spec #1419: Pull request #566 opened by cdisselkoen
March 4, 2025 14:26 13m 35s cdisselkoen/remove-pe-drt
cdisselkoen/remove-pe-drt
March 4, 2025 14:26 13m 35s
Add types and methods from datetime extension to parsers Build and Test cedar-spec #1418: Pull request #565 opened by adpaco-aws
March 3, 2025 22:48 5m 36s adpaco-aws:datetime-parsers
adpaco-aws:datetime-parsers
March 3, 2025 22:48 5m 36s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1417: Pull request #533 synchronize by john-h-kastner-aws
March 3, 2025 22:22 6m 11s levels-checking
levels-checking
March 3, 2025 22:22 6m 11s
WellTyped relation for TypedExpr Build and Test cedar-spec #1416: Pull request #547 synchronize by shaobo-he-aws
March 3, 2025 22:16 13m 42s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 3, 2025 22:16 13m 42s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1415: Pull request #533 synchronize by john-h-kastner-aws
March 3, 2025 21:39 14m 30s levels-checking
levels-checking
March 3, 2025 21:39 14m 30s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1414: Pull request #533 synchronize by john-h-kastner-aws
March 3, 2025 21:28 14m 15s levels-checking
levels-checking
March 3, 2025 21:28 14m 15s
TPE Lean model Build and Test cedar-spec #1413: Pull request #548 synchronize by shaobo-he-aws
March 3, 2025 21:14 13m 43s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
March 3, 2025 21:14 13m 43s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1412: Pull request #533 synchronize by john-h-kastner-aws
March 3, 2025 20:56 14m 32s levels-checking
levels-checking
March 3, 2025 20:56 14m 32s
TPE Lean model Build and Test cedar-spec #1411: Pull request #548 synchronize by shaobo-he-aws
March 3, 2025 17:18 13m 50s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
March 3, 2025 17:18 13m 50s
Fix usage of deprecated theorems Build and Test cedar-spec #1410: Pull request #564 opened by shaobo-he-aws
March 3, 2025 17:07 13m 39s chore/shaobo/fix-deprecated
chore/shaobo/fix-deprecated
March 3, 2025 17:07 13m 39s
use Protobuf for additional DRT targets Build and Test cedar-spec #1409: Pull request #562 synchronize by cdisselkoen
March 3, 2025 16:08 13m 34s cdisselkoen/more-proto-drt
cdisselkoen/more-proto-drt
March 3, 2025 16:08 13m 34s
Refactor Protobufs code Build and Test cedar-spec #1408: Pull request #561 synchronize by shaobo-he-aws
March 3, 2025 15:52 13m 44s chore/shaobo/protobuf-refactor
chore/shaobo/protobuf-refactor
March 3, 2025 15:52 13m 44s
use Protobuf for additional DRT targets Build and Test cedar-spec #1407: Pull request #562 synchronize by cdisselkoen
March 3, 2025 15:40 12m 19s cdisselkoen/more-proto-drt
cdisselkoen/more-proto-drt
March 3, 2025 15:40 12m 19s
use Protobuf for additional DRT targets Build and Test cedar-spec #1406: Pull request #562 synchronize by cdisselkoen
March 3, 2025 15:37 12m 27s cdisselkoen/more-proto-drt
cdisselkoen/more-proto-drt
March 3, 2025 15:37 12m 27s
upgrade to Lean 4.17 Build and Test cedar-spec #1405: Pull request #563 opened by cdisselkoen
March 3, 2025 15:36 14m 5s cdisselkoen/lean-4.17
cdisselkoen/lean-4.17
March 3, 2025 15:36 14m 5s