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

feat(exhaustiveness): pretty print missing patterns Nix Build #742: Commit 1fd9ee8 pushed by rvcas
July 29, 2023 02:52 16m 12s rvcas/exhaustiveness
rvcas/exhaustiveness
July 29, 2023 02:52 16m 12s
AirTree refactor: A better way for uplc code gen Tests #721: Pull request #643 synchronize by MicroProofs
July 29, 2023 01:02 4m 12s air-tree
air-tree
July 29, 2023 01:02 4m 12s
checkpoint Nix Build #741: Commit 3720361 pushed by MicroProofs
July 29, 2023 01:02 16m 26s air-tree
air-tree
July 29, 2023 01:02 16m 26s
AirTree refactor: A better way for uplc code gen Tests #720: Pull request #643 synchronize by MicroProofs
July 29, 2023 00:23 4m 37s air-tree
air-tree
July 29, 2023 00:23 4m 37s
fix tuple clause Nix Build #740: Commit 0cd1c4b pushed by MicroProofs
July 29, 2023 00:23 18m 36s air-tree
air-tree
July 29, 2023 00:23 18m 36s
AirTree refactor: A better way for uplc code gen Tests #719: Pull request #643 synchronize by MicroProofs
July 28, 2023 23:41 3m 57s air-tree
air-tree
July 28, 2023 23:41 3m 57s
fix tests again Nix Build #739: Commit 85bbca1 pushed by MicroProofs
July 28, 2023 23:41 16m 9s air-tree
air-tree
July 28, 2023 23:41 16m 9s
AirTree refactor: A better way for uplc code gen Tests #718: Pull request #643 synchronize by MicroProofs
July 28, 2023 23:40 3m 52s air-tree
air-tree
July 28, 2023 23:40 3m 52s
optmization fix Nix Build #738: Commit c944517 pushed by MicroProofs
July 28, 2023 23:39 19m 32s air-tree
air-tree
July 28, 2023 23:39 19m 32s
AirTree refactor: A better way for uplc code gen Tests #717: Pull request #643 synchronize by MicroProofs
July 28, 2023 22:37 3m 57s air-tree
air-tree
July 28, 2023 22:37 3m 57s
constants are back. I had broke them when switching how data casting … Nix Build #737: Commit f154fbb pushed by MicroProofs
July 28, 2023 22:37 21m 52s air-tree
air-tree
July 28, 2023 22:37 21m 52s
Exhaustiveness Checking Tests #716: Pull request #683 synchronize by rvcas
July 28, 2023 21:57 4m 50s rvcas/exhaustiveness
rvcas/exhaustiveness
July 28, 2023 21:57 4m 50s
feat(tipo): add new error for redundant clauses Nix Build #736: Commit 6965da6 pushed by rvcas
July 28, 2023 21:57 16m 53s rvcas/exhaustiveness
rvcas/exhaustiveness
July 28, 2023 21:57 16m 53s
AirTree refactor: A better way for uplc code gen Tests #715: Pull request #643 synchronize by MicroProofs
July 28, 2023 19:35 4m 3s air-tree
air-tree
July 28, 2023 19:35 4m 3s
some type conversion fixes Nix Build #735: Commit abc86cc pushed by MicroProofs
July 28, 2023 19:35 22m 20s air-tree
air-tree
July 28, 2023 19:35 22m 20s
AirTree refactor: A better way for uplc code gen Tests #714: Pull request #643 synchronize by MicroProofs
July 28, 2023 18:48 3m 34s air-tree
air-tree
July 28, 2023 18:48 3m 34s
some more fixes involving clauses Nix Build #734: Commit 6195d32 pushed by MicroProofs
July 28, 2023 18:48 20m 20s air-tree
air-tree
July 28, 2023 18:48 20m 20s
Exhaustiveness Checking Tests #713: Pull request #683 synchronize by rvcas
July 28, 2023 18:24 4m 52s rvcas/exhaustiveness
rvcas/exhaustiveness
July 28, 2023 18:24 4m 52s
feat: add support for list patterns Nix Build #733: Commit 26ebde0 pushed by rvcas
July 28, 2023 18:24 16m 6s rvcas/exhaustiveness
rvcas/exhaustiveness
July 28, 2023 18:24 16m 6s
AirTree refactor: A better way for uplc code gen Tests #712: Pull request #643 synchronize by MicroProofs
July 28, 2023 18:06 3m 32s air-tree
air-tree
July 28, 2023 18:06 3m 32s
fix: working on minor edge cases Nix Build #732: Commit b58afa5 pushed by MicroProofs
July 28, 2023 18:06 17m 1s air-tree
air-tree
July 28, 2023 18:06 17m 1s
AirTree refactor: A better way for uplc code gen Tests #711: Pull request #643 synchronize by MicroProofs
July 28, 2023 17:52 4m 14s air-tree
air-tree
July 28, 2023 17:52 4m 14s
fix and clean up tests and handle Nix Build #731: Commit 4b9bc87 pushed by MicroProofs
July 28, 2023 17:52 16m 19s air-tree
air-tree
July 28, 2023 17:52 16m 19s
fix: disallow dashes in repo name Tests #710: Pull request #690 opened by cfcosta
July 28, 2023 17:35 6m 36s cfcosta/disallow-dashes-in-repo-name
cfcosta/disallow-dashes-in-repo-name
July 28, 2023 17:35 6m 36s
fix: disallow dashes in repo name Nix Build #730: Commit 5033513 pushed by cfcosta
July 28, 2023 17:34 17m 11s cfcosta/disallow-dashes-in-repo-name
cfcosta/disallow-dashes-in-repo-name
July 28, 2023 17:34 17m 11s