Skip to content

Actions: chaluli/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Lean version to 4.23 (#740) Deploy Lean Documentation to Pages #63: Commit 9a1c529 pushed by chaluli
13s main
main
13s
PBT on TPE (#678) Deploy Lean Documentation to Pages #62: Commit ef53d7f pushed by chaluli
10s main
main
10s
Update cedar-drt to use Cedar API types when possible + Refactor to u… Deploy Lean Documentation to Pages #61: Commit c4237eb pushed by chaluli
15s main
main
15s
Address Craig's comments. Deploy Lean Documentation to Pages #60: Commit d3a5c2f pushed by chaluli
8s main
main
8s
lint tests Deploy Lean Documentation to Pages #59: Commit a6f03b4 pushed by chaluli
11s main
main
11s
lint Deploy Lean Documentation to Pages #58: Commit c006fb9 pushed by chaluli
14s main
main
14s
Fix cedar-lean-ffi test. Deploy Lean Documentation to Pages #57: Commit 8408a19 pushed by chaluli
9s main
main
9s
Remove unused import. Deploy Lean Documentation to Pages #56: Commit 6328adc pushed by chaluli
9s main
main
9s
Update cedar-lean-cli to match change in cedar-lean-ffi Deploy Lean Documentation to Pages #55: Commit 3badf8f pushed by chaluli
10s main
main
10s
Fix test to match updates to cedar-lean-ffi Deploy Lean Documentation to Pages #54: Commit 11e04da pushed by chaluli
10s main
main
10s
Fix Cargo.toml of cedar-drt to actually override dependencies version… Deploy Lean Documentation to Pages #53: Commit 09b9b36 pushed by chaluli
11s main
main
11s
Updates cargo.toml to have cedar-lean-cli and cedar-lean-ffi to use c… Deploy Lean Documentation to Pages #52: Commit 3b27554 pushed by chaluli
10s main
main
10s
Fix missing feature flag causing build error when feature not used. Deploy Lean Documentation to Pages #51: Commit e1921a6 pushed by chaluli
11s main
main
11s
lint Deploy Lean Documentation to Pages #50: Commit 0eea065 pushed by chaluli
11s main
main
11s
linting. Deploy Lean Documentation to Pages #49: Commit a1c5a3c pushed by chaluli
12s main
main
12s
Add back readme that was deleted on accident. Deploy Lean Documentation to Pages #48: Commit 042d4a5 pushed by chaluli
11s main
main
11s
Update cedar-drt to use Cedar API types when possible. Refactor to us… Deploy Lean Documentation to Pages #47: Commit 4c364ab pushed by chaluli
9s main
main
9s
Prove that well-formed Environment compiles to well-formed SymEnv… Deploy Lean Documentation to Pages #46: Commit 2040979 pushed by chaluli
10s main
main
10s
[cedar-policy-generators] Add support for generating cedar-policy typ… Deploy Lean Documentation to Pages #45: Commit f39f21a pushed by chaluli
8s main
main
8s
Adds ability to parse entities using a provided schema during evaluat… Deploy Lean Documentation to Pages #44: Commit 2b113dd pushed by chaluli
8s main
main
8s
Use itertools for formatting space separated iterables. Deploy Lean Documentation to Pages #43: Commit 41b1419 pushed by chaluli
11s main
main
11s
Updates context parsing to use a schema if provided. Deploy Lean Documentation to Pages #42: Commit 5a195b1 pushed by chaluli
10s main
main
10s
Adds ability to parse entities using a provided schema during evaluat… Deploy Lean Documentation to Pages #41: Commit 921540f pushed by chaluli
9s main
main
9s
Adds a dockerfile to build and run cedar-lean-cli. (#644) Deploy Lean Documentation to Pages #40: Commit ed49d55 pushed by chaluli
8s main
main
8s
Use yum to download protoc rather than directly using wget. Deploy Lean Documentation to Pages #39: Commit cd78dc9 pushed by chaluli
9s main
main
9s