Skip to content

Actions: WhatisRT/meta-cedille

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use the new datatype framework in the COC example Meta-Cedille tests #166: Commit 9788b28 pushed by WhatisRT
June 18, 2024 13:41 19s datatypes2
datatypes2
June 18, 2024 13:41 19s
Fix indexed types with parameters Meta-Cedille tests #165: Commit 5979a97 pushed by WhatisRT
June 6, 2024 22:50 9m 36s datatypes2
datatypes2
June 6, 2024 22:50 9m 36s
Support indexed types in the datatype syntax Meta-Cedille tests #164: Commit 3cbf443 pushed by WhatisRT
June 5, 2024 22:26 5m 48s datatypes2
datatypes2
June 5, 2024 22:26 5m 48s
Add indexed types (without syntax atm) Meta-Cedille tests #163: Commit 0ddd759 pushed by WhatisRT
January 20, 2024 13:29 5m 35s datatypes2
datatypes2
January 20, 2024 13:29 5m 35s
Add indexed types (without syntax atm) Meta-Cedille tests #162: Commit 91ac987 pushed by WhatisRT
January 20, 2024 13:18 5m 41s datatypes2
datatypes2
January 20, 2024 13:18 5m 41s
Add syntax for datatypes Meta-Cedille tests #161: Commit d487053 pushed by WhatisRT
January 13, 2024 20:54 6m 7s datatypes2
datatypes2
January 13, 2024 20:54 6m 7s
Add syntax for datatypes Meta-Cedille tests #160: Commit c1b5831 pushed by WhatisRT
January 13, 2024 20:13 6m 2s datatypes2
datatypes2
January 13, 2024 20:13 6m 2s
Add GetDef primitive Meta-Cedille tests #159: Commit bf4a0c9 pushed by WhatisRT
January 8, 2024 16:10 20m 40s master
master
January 8, 2024 16:10 20m 40s
Add GetDef primitive Meta-Cedille tests #158: Commit b26aa7a pushed by WhatisRT
January 8, 2024 15:40 24m 44s master
master
January 8, 2024 15:40 24m 44s
Add GetDef primitive Meta-Cedille tests #157: Commit a5e64a0 pushed by WhatisRT
January 8, 2024 15:39 24m 37s master
master
January 8, 2024 15:39 24m 37s
Fix showTerm not displaying empty pis correctly Meta-Cedille tests #156: Commit 28a4ce8 pushed by WhatisRT
December 30, 2023 22:31 20m 44s master
master
December 30, 2023 22:31 20m 44s
Prepare for scott encodings Meta-Cedille tests #155: Commit 9d7a073 pushed by WhatisRT
December 26, 2023 13:40 21m 0s master
master
December 26, 2023 13:40 21m 0s
Prepare for scott encodings Meta-Cedille tests #154: Commit 9dcf782 pushed by WhatisRT
December 26, 2023 13:40 21m 36s master
master
December 26, 2023 13:40 21m 36s