Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "benchmark" test Build and Test cedar-spec #526: Pull request #228 opened by khieta
February 21, 2024 23:30 6m 35s khieta/add-timing-test
khieta/add-timing-test
February 21, 2024 23:30 6m 35s
pin submodule to release/3.1.x Build and Test cedar-spec #525: Pull request #225 opened by khieta
February 20, 2024 20:19 8m 17s khieta/release-3.1
khieta/release-3.1
February 20, 2024 20:19 8m 17s
warning to non-Linux folks Build and Test cedar-spec #524: Pull request #223 synchronize by mwhicks1
February 19, 2024 17:03 14m 38s readme-update
readme-update
February 19, 2024 17:03 14m 38s
warning to non-Linux folks Build and Test cedar-spec #523: Pull request #223 synchronize by mwhicks1
February 19, 2024 16:33 14m 7s readme-update
readme-update
February 19, 2024 16:33 14m 7s
warning to non-Linux folks Build and Test cedar-spec #522: Pull request #223 synchronize by mwhicks1
February 19, 2024 16:32 7m 50s readme-update
readme-update
February 19, 2024 16:32 7m 50s
lean: some tiny refactors Build and Test cedar-spec #521: Pull request #224 opened by cdisselkoen
February 19, 2024 14:31 14m 28s cdisselkoen/lean-tiny-refactors
cdisselkoen/lean-tiny-refactors
February 19, 2024 14:31 14m 28s
warning to non-Linux folks Build and Test cedar-spec #520: Pull request #223 opened by mwhicks1
February 19, 2024 14:01 14m 9s readme-update
readme-update
February 19, 2024 14:01 14m 9s
fix for roundtripping property of annotations Build and Test cedar-spec #519: Pull request #222 opened by cdisselkoen
February 19, 2024 13:58 14m 15s cdisselkoen/roundtrip-fixes
cdisselkoen/roundtrip-fixes
February 19, 2024 13:58 14m 15s
update for cedar#640 Build and Test cedar-spec #518: Pull request #221 synchronize by cdisselkoen
February 16, 2024 19:00 14m 31s cdisselkoen/update-for-cedar-640
cdisselkoen/update-for-cedar-640
February 16, 2024 19:00 14m 31s
update for cedar#640 Build and Test cedar-spec #517: Pull request #221 opened by cdisselkoen
February 16, 2024 18:58 8m 30s cdisselkoen/update-for-cedar-640
cdisselkoen/update-for-cedar-640
February 16, 2024 18:58 8m 30s
fixes for cedar#632 Build and Test cedar-spec #516: Pull request #212 synchronize by khieta
February 16, 2024 18:32 14m 56s khieta/refactor-cedar-632
khieta/refactor-cedar-632
February 16, 2024 18:32 14m 56s
Deprecate Dafny formalization Build and Test cedar-spec #515: Pull request #219 synchronize by khieta
February 16, 2024 17:47 8m 42s khieta/deprecate-dafny
khieta/deprecate-dafny
February 16, 2024 17:47 8m 42s
Deprecate Dafny formalization Build and Test cedar-spec #514: Pull request #219 synchronize by khieta
February 16, 2024 16:38 8m 5s khieta/deprecate-dafny
khieta/deprecate-dafny
February 16, 2024 16:38 8m 5s
Deprecate Dafny formalization Build and Test cedar-spec #513: Pull request #219 synchronize by khieta
February 16, 2024 16:33 3m 51s khieta/deprecate-dafny
khieta/deprecate-dafny
February 16, 2024 16:33 3m 51s
Deprecate Dafny formalization Build and Test cedar-spec #512: Pull request #219 synchronize by khieta
February 13, 2024 18:56 8m 8s khieta/deprecate-dafny
khieta/deprecate-dafny
February 13, 2024 18:56 8m 8s
Deprecate Dafny formalization Build and Test cedar-spec #511: Pull request #219 opened by khieta
February 13, 2024 17:52 8m 24s khieta/deprecate-dafny
khieta/deprecate-dafny
February 13, 2024 17:52 8m 24s
update for cedar#634 Build and Test cedar-spec #510: Pull request #218 synchronize by cdisselkoen
February 13, 2024 13:18 14m 46s cdisselkoen/update-for-634
cdisselkoen/update-for-634
February 13, 2024 13:18 14m 46s
update for cedar#634 Build and Test cedar-spec #509: Pull request #218 opened by cdisselkoen
February 12, 2024 21:55 7m 44s cdisselkoen/update-for-634
cdisselkoen/update-for-634
February 12, 2024 21:55 7m 44s
Add basic EST round-trip testing Build and Test cedar-spec #508: Pull request #215 synchronize by khieta
February 12, 2024 21:42 14m 12s khieta/add-est-to-pp
khieta/add-est-to-pp
February 12, 2024 21:42 14m 12s
update for cedar#633 Build and Test cedar-spec #507: Pull request #217 synchronize by cdisselkoen
February 12, 2024 18:53 14m 56s cdisselkoen/update-for-633
cdisselkoen/update-for-633
February 12, 2024 18:53 14m 56s
update for cedar#633 Build and Test cedar-spec #506: Pull request #217 opened by cdisselkoen
February 12, 2024 18:49 7m 36s cdisselkoen/update-for-633
cdisselkoen/update-for-633
February 12, 2024 18:49 7m 36s
Re-enable like operator Build and Test cedar-spec #505: Pull request #216 opened by khieta
February 12, 2024 16:34 14m 43s khieta/khieta-add-like
khieta/khieta-add-like
February 12, 2024 16:34 14m 43s
fixes for cedar#632 Build and Test cedar-spec #504: Pull request #212 synchronize by khieta
February 12, 2024 15:18 14m 35s khieta/refactor-cedar-632
khieta/refactor-cedar-632
February 12, 2024 15:18 14m 35s
Add basic EST round-trip testing Build and Test cedar-spec #503: Pull request #215 opened by khieta
February 11, 2024 14:57 14m 31s khieta/add-est-to-pp
khieta/add-est-to-pp
February 11, 2024 14:57 14m 31s
Generalize UnitTest to run in different monads. Build and Test cedar-spec #502: Pull request #214 synchronize by emina
February 9, 2024 19:14 14m 39s emina/unit-tests
emina/unit-tests
February 9, 2024 19:14 14m 39s