Skip to content

Actions: ngernest/chamelean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,187 workflow runs
1,187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add function to print sized samples (#49) Lean Action CI #1188: Commit edae0d2 pushed by ngernest
1m 15s metaprogramming
metaprogramming
1m 15s
Add function to print sized samples Lean Action CI #1187: Pull request #49 opened by dsainati1
1m 14s dsainati1:metaprogramming
dsainati1:metaprogramming
1m 14s
Update readme w/ note about the grammar for constraints Lean Action CI #1186: Commit c6e2dde pushed by ngernest
53s metaprogramming
metaprogramming
53s
Add Generator for Well-Typed Cedar Terms (#43) Lean Action CI #1185: Commit 449caa1 pushed by ngernest
1m 7s metaprogramming
metaprogramming
1m 7s
Add Generator for Cedar Terms Lean Action CI #1184: Pull request #43 synchronize by ngernest
55s cedar
cedar
55s
Update readme with Cedar details Lean Action CI #1183: Commit e94a2dc pushed by ngernest
51s cedar
cedar
51s
Add Generator for Cedar Terms Lean Action CI #1182: Pull request #43 synchronize by ngernest
1m 4s cedar
cedar
1m 4s
Add comments Lean Action CI #1181: Commit 8a1a6eb pushed by ngernest
54s cedar
cedar
54s
Add Generator for Cedar Terms Lean Action CI #1180: Pull request #43 synchronize by ngernest
53s cedar
cedar
53s
Add generator for Cedar terms Lean Action CI #1179: Commit 5d9ac9b pushed by ngernest
59s cedar
cedar
59s
Add Generator for Cedar Terms Lean Action CI #1178: Pull request #43 synchronize by ngernest
55s cedar
cedar
55s
Keep 23/41 typing rules which Chamelean can handle Lean Action CI #1177: Commit c25744e pushed by ngernest
1m 6s cedar
cedar
1m 6s
Add Generator for Cedar Terms Lean Action CI #1176: Pull request #43 synchronize by ngernest
3h 20m 21s cedar
cedar
3h 20m 21s
Move Cedar stuff to Test directory to speed up compilation times Lean Action CI #1175: Commit 1a1b1e2 pushed by ngernest
3h 15m 20s cedar
cedar
3h 15m 20s
Add Generator for Cedar Terms Lean Action CI #1174: Pull request #43 synchronize by ngernest
2h 37m 40s cedar
cedar
2h 37m 40s
Up to BindAttrType Lean Action CI #1173: Commit 8ab0cd0 pushed by ngernest
2m 31s cedar
cedar
2m 31s
Add Generator for Cedar Terms Lean Action CI #1172: Pull request #43 synchronize by ngernest
7m 30s cedar
cedar
7m 30s
Bunch of checkers/generators Lean Action CI #1171: Commit 756bd5e pushed by ngernest
3h 22m 21s cedar
cedar
3h 22m 21s
Add Generator for Cedar Terms Lean Action CI #1170: Pull request #43 synchronize by ngernest
49s cedar
cedar
49s
Well-formed ActionSchemaEntries Lean Action CI #1169: Commit efb1e51 pushed by ngernest
57s cedar
cedar
57s
Add Generator for Cedar Terms Lean Action CI #1168: Pull request #43 synchronize by ngernest
48s cedar
cedar
48s
Well-formed EntitySchemaEntries Lean Action CI #1167: Commit e6fc78d pushed by ngernest
52s cedar
cedar
52s
Add Generator for Cedar Terms Lean Action CI #1166: Pull request #43 synchronize by ngernest
48s cedar
cedar
48s
Well-formed attributes Lean Action CI #1165: Commit 29b8a74 pushed by ngernest
48s cedar
cedar
48s
Add Generator for Cedar Terms Lean Action CI #1164: Pull request #43 synchronize by ngernest
56s cedar
cedar
56s