Skip to content

Actions: aiken-lang/aiken

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-format and re-run all acceptance tests.
Nix Build #1130: Commit b50e4ab pushed by KtorZ
January 20, 2024 09:44 12m 49s main
January 20, 2024 09:44 12m 49s
Merge pull request #807 from aiken-lang/rvcas/various-fixes
Tests #1110: Commit 9ee2d58 pushed by KtorZ
January 20, 2024 09:42 7m 17s main
January 20, 2024 09:42 7m 17s
Merge pull request #807 from aiken-lang/rvcas/various-fixes
Nix Build #1129: Commit 9ee2d58 pushed by KtorZ
January 20, 2024 09:42 12m 43s main
January 20, 2024 09:42 12m 43s
Various Fixes for parsing and checking
Tests #1109: Pull request #807 synchronize by KtorZ
January 20, 2024 09:42 7m 21s rvcas/various-fixes
January 20, 2024 09:42 7m 21s
remove wrongly committed acceptance test blueprints
Nix Build #1128: Commit 50ebfc6 pushed by KtorZ
January 20, 2024 09:42 12m 51s rvcas/various-fixes
January 20, 2024 09:42 12m 51s
Various Fixes for parsing and checking
Tests #1108: Pull request #807 synchronize by KtorZ
January 20, 2024 09:37 7m 25s rvcas/various-fixes
January 20, 2024 09:37 7m 25s
Make behavior between curly- and paren-delimited blocks consistent.
Nix Build #1127: Commit 54a1b50 pushed by KtorZ
January 20, 2024 09:37 12m 52s rvcas/various-fixes
January 20, 2024 09:37 12m 52s
Various Fixes for parsing and checking
Tests #1107: Pull request #807 synchronize by KtorZ
January 20, 2024 09:36 7m 21s rvcas/various-fixes
January 20, 2024 09:36 7m 21s
Make behavior between curly- and paren-delimited blocks consistent.
Nix Build #1126: Commit 2f8cb02 pushed by KtorZ
January 20, 2024 09:36 12m 29s rvcas/various-fixes
January 20, 2024 09:36 12m 29s
Various Fixes for parsing and checking
Tests #1106: Pull request #807 synchronize by KtorZ
January 20, 2024 09:26 7m 32s rvcas/various-fixes
January 20, 2024 09:26 7m 32s
Add more tests & rename 'Invalid' -> 'Unfinished'
Nix Build #1125: Commit bf96c3a pushed by KtorZ
January 20, 2024 09:26 12m 46s rvcas/various-fixes
January 20, 2024 09:26 12m 46s
Various Fixes for parsing and checking
Tests #1105: Pull request #807 synchronize by KtorZ
January 20, 2024 08:58 7m 30s rvcas/various-fixes
January 20, 2024 08:58 7m 30s
Fix minor typo in error label
Nix Build #1124: Commit cb6fd59 pushed by KtorZ
January 20, 2024 08:58 13m 2s rvcas/various-fixes
January 20, 2024 08:58 13m 2s
Various Fixes for parsing and checking
Tests #1104: Pull request #807 opened by rvcas
January 19, 2024 19:35 7m 35s rvcas/various-fixes
January 19, 2024 19:35 7m 35s
feat: parser and check fixes
Nix Build #1123: Commit 25a837a pushed by rvcas
January 19, 2024 19:33 13m 0s rvcas/various-fixes
January 19, 2024 19:33 13m 0s
fix: used wrong index in tupleAcessor
Nix Build #1122: Commit f563853 pushed by MicroProofs
January 19, 2024 18:49 12m 51s better-expect-tracing
January 19, 2024 18:49 12m 51s
Improve behavior and reporting of tests expected to fail
Tests #1101: Commit 8a90e9e pushed by KtorZ
January 19, 2024 17:21 7m 22s main
January 19, 2024 17:21 7m 22s
Improve behavior and reporting of tests expected to fail
Nix Build #1119: Commit 8a90e9e pushed by KtorZ
January 19, 2024 17:21 13m 54s main
January 19, 2024 17:21 13m 54s
Merge pull request #805 from waalge/waalge/fix-nix-build-pallas-hash
Tests #1100: Commit 94f9fa9 pushed by KtorZ
January 19, 2024 15:11 7m 33s main
January 19, 2024 15:11 7m 33s
Merge pull request #805 from waalge/waalge/fix-nix-build-pallas-hash
Nix Build #1118: Commit 94f9fa9 pushed by KtorZ
January 19, 2024 15:11 13m 42s main
January 19, 2024 15:11 13m 42s