Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix tests Nix Build #767: Commit 6ec80b4 pushed by MicroProofs
August 3, 2023 16:49 21m 10s air-tree
air-tree
August 3, 2023 16:49 21m 10s
Add Case and Constr terms Tests #747: Pull request #692 synchronize by MicroProofs
August 2, 2023 21:19 7m 46s case_constr_terms
case_constr_terms
August 2, 2023 21:19 7m 46s
chore: update cost model with placeholders for new terms to pass tests Nix Build #766: Commit a4b738a pushed by MicroProofs
August 2, 2023 21:19 23m 19s case_constr_terms
case_constr_terms
August 2, 2023 21:19 23m 19s
Add Case and Constr terms Tests #746: Pull request #692 synchronize by MicroProofs
August 2, 2023 15:16 4m 18s case_constr_terms
case_constr_terms
August 2, 2023 15:16 4m 18s
Add placeholders for cost model Nix Build #765: Commit 664e9a8 pushed by MicroProofs
August 2, 2023 15:16 21m 20s case_constr_terms
case_constr_terms
August 2, 2023 15:16 21m 20s
Check exhaustiveness behavior on pattern guards. Tests #745: Commit 675b737 pushed by KtorZ
August 2, 2023 08:41 10m 3s main
main
August 2, 2023 08:41 10m 3s
Check exhaustiveness behavior on pattern guards. Nix Build #764: Commit 675b737 pushed by KtorZ
August 2, 2023 08:41 17m 42s main
main
August 2, 2023 08:41 17m 42s
Add Case and Constr terms Tests #744: Pull request #692 synchronize by MicroProofs
August 2, 2023 04:02 4m 54s case_constr_terms
case_constr_terms
August 2, 2023 04:02 4m 54s
add compute for the new terms constr and case Nix Build #763: Commit e908cd1 pushed by MicroProofs
August 2, 2023 04:02 16m 27s case_constr_terms
case_constr_terms
August 2, 2023 04:02 16m 27s
Add Case and Constr terms Tests #742: Pull request #692 opened by MicroProofs
August 2, 2023 02:34 7m 48s case_constr_terms
case_constr_terms
August 2, 2023 02:34 7m 48s
feat(uplc): add Case and Const terms Nix Build #762: Commit 8542488 pushed by MicroProofs
August 2, 2023 02:33 19m 24s case_constr_terms
case_constr_terms
August 2, 2023 02:33 19m 24s
test(check): a bunch of tests for the new exhaustiveness stuff Tests #741: Commit f3cab94 pushed by rvcas
August 2, 2023 01:13 8m 26s main
main
August 2, 2023 01:13 8m 26s
test(check): a bunch of tests for the new exhaustiveness stuff Nix Build #761: Commit f3cab94 pushed by rvcas
August 2, 2023 01:13 19m 24s main
main
August 2, 2023 01:13 19m 24s
Exhaustiveness Checking Tests #740: Pull request #683 synchronize by rvcas
August 1, 2023 20:07 6m 56s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 20:07 6m 56s
test(check): a bunch of tests for the new exhaustiveness stuff Nix Build #760: Commit c6df6b9 pushed by rvcas
August 1, 2023 20:07 16m 53s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 20:07 16m 53s
AirTree refactor: A better way for uplc code gen Tests #739: Pull request #643 synchronize by MicroProofs
August 1, 2023 19:48 9m 46s air-tree
air-tree
August 1, 2023 19:48 9m 46s
fix tests Nix Build #759: Commit dda1f20 pushed by MicroProofs
August 1, 2023 19:48 16m 43s air-tree
air-tree
August 1, 2023 19:48 16m 43s
AirTree refactor: A better way for uplc code gen Tests #738: Pull request #643 synchronize by MicroProofs
August 1, 2023 19:35 4m 26s air-tree
air-tree
August 1, 2023 19:35 4m 26s
one minor tail fix in clause pattern Nix Build #758: Commit 9cbabc4 pushed by MicroProofs
August 1, 2023 19:35 16m 38s air-tree
air-tree
August 1, 2023 19:35 16m 38s
Exhaustiveness Checking Tests #737: Pull request #683 synchronize by rvcas
August 1, 2023 19:10 7m 49s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 19:10 7m 49s
fix: exhaustiveness on types from other modules Nix Build #757: Commit 5ce73a3 pushed by rvcas
August 1, 2023 19:10 16m 31s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 19:10 16m 31s
fix: decode should always print to textual Nix Build #756: Commit 55887d3 pushed by MicroProofs
August 1, 2023 04:47 16m 2s main
main
August 1, 2023 04:47 16m 2s
fix: decode should always print to textual Tests #736: Commit 55887d3 pushed by MicroProofs
August 1, 2023 04:47 8m 0s main
main
August 1, 2023 04:47 8m 0s
AirTree refactor: A better way for uplc code gen Tests #735: Pull request #643 synchronize by MicroProofs
July 31, 2023 19:32 5m 24s air-tree
air-tree
July 31, 2023 19:32 5m 24s
one minor tail fix in clause pattern Nix Build #755: Commit 88d822b pushed by MicroProofs
July 31, 2023 19:32 16m 41s air-tree
air-tree
July 31, 2023 19:32 16m 41s