Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a few more expect cases to test 40 Nix Build #1142: Commit b15e6c2 pushed by MicroProofs
January 24, 2024 21:29 12m 50s main
main
January 24, 2024 21:29 12m 50s
Add a few more expect cases to test 40 Tests #1123: Commit b15e6c2 pushed by MicroProofs
January 24, 2024 21:29 7m 24s main
main
January 24, 2024 21:29 7m 24s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1122: Pull request #806 synchronize by MicroProofs
January 24, 2024 21:21 7m 42s better-expect-tracing
better-expect-tracing
January 24, 2024 21:21 7m 42s
Add a few more expect cases to test 40 Nix Build #1141: Commit 2acd955 pushed by MicroProofs
January 24, 2024 21:21 13m 26s better-expect-tracing
better-expect-tracing
January 24, 2024 21:21 13m 26s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1121: Pull request #806 synchronize by MicroProofs
January 24, 2024 20:49 7m 25s better-expect-tracing
better-expect-tracing
January 24, 2024 20:49 7m 25s
update tests to account for new verbose tracing Nix Build #1140: Commit ab56978 pushed by MicroProofs
January 24, 2024 20:49 13m 1s better-expect-tracing
better-expect-tracing
January 24, 2024 20:49 13m 1s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1120: Pull request #806 synchronize by MicroProofs
January 23, 2024 21:08 4m 45s better-expect-tracing
better-expect-tracing
January 23, 2024 21:08 4m 45s
another test fix Nix Build #1139: Commit b993159 pushed by MicroProofs
January 23, 2024 21:08 12m 56s better-expect-tracing
better-expect-tracing
January 23, 2024 21:08 12m 56s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1119: Pull request #806 synchronize by MicroProofs
January 23, 2024 21:02 4m 41s better-expect-tracing
better-expect-tracing
January 23, 2024 21:02 4m 41s
fix test Nix Build #1138: Commit 8249fca pushed by MicroProofs
January 23, 2024 21:02 13m 12s better-expect-tracing
better-expect-tracing
January 23, 2024 21:02 13m 12s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1118: Pull request #806 synchronize by MicroProofs
January 23, 2024 21:00 4m 48s better-expect-tracing
better-expect-tracing
January 23, 2024 21:00 4m 48s
fix condition to account for tail presence Nix Build #1137: Commit 2b805ca pushed by MicroProofs
January 23, 2024 21:00 13m 12s better-expect-tracing
better-expect-tracing
January 23, 2024 21:00 13m 12s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1117: Pull request #806 synchronize by MicroProofs
January 23, 2024 20:04 4m 30s better-expect-tracing
better-expect-tracing
January 23, 2024 20:04 4m 30s
updating more of the tests Nix Build #1136: Commit 7195d2c pushed by MicroProofs
January 23, 2024 20:04 12m 56s better-expect-tracing
better-expect-tracing
January 23, 2024 20:04 12m 56s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1116: Pull request #806 synchronize by MicroProofs
January 23, 2024 17:37 4m 35s better-expect-tracing
better-expect-tracing
January 23, 2024 17:37 4m 35s
change redundant if branches Nix Build #1135: Commit 355bc29 pushed by MicroProofs
January 23, 2024 17:37 13m 4s better-expect-tracing
better-expect-tracing
January 23, 2024 17:37 13m 4s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1115: Pull request #806 synchronize by MicroProofs
January 22, 2024 22:58 4m 28s better-expect-tracing
better-expect-tracing
January 22, 2024 22:58 4m 28s
fixed some of the tests Nix Build #1134: Commit dc0707a pushed by MicroProofs
January 22, 2024 22:58 12m 53s better-expect-tracing
better-expect-tracing
January 22, 2024 22:58 12m 53s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1114: Pull request #806 synchronize by MicroProofs
January 22, 2024 22:54 4m 41s better-expect-tracing
better-expect-tracing
January 22, 2024 22:54 4m 41s
fix: one builtin error wasn't be caught with a messaged exception Nix Build #1133: Commit d8eb9c7 pushed by MicroProofs
January 22, 2024 22:54 12m 54s better-expect-tracing
better-expect-tracing
January 22, 2024 22:54 12m 54s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1113: Pull request #806 synchronize by MicroProofs
January 22, 2024 19:47 4m 48s better-expect-tracing
better-expect-tracing
January 22, 2024 19:47 4m 48s
minor fix and some refactoring on the if statements Nix Build #1132: Commit d9b58bd pushed by MicroProofs
January 22, 2024 19:47 12m 56s better-expect-tracing
better-expect-tracing
January 22, 2024 19:47 12m 56s
Change code gen to avoid builtin errors and used catched errors when tracing is on Tests #1112: Pull request #806 synchronize by MicroProofs
January 20, 2024 21:34 4m 37s better-expect-tracing
better-expect-tracing
January 20, 2024 21:34 4m 37s
minor fix and some refactoring on the if statements Nix Build #1131: Commit b960516 pushed by MicroProofs
January 20, 2024 21:34 13m 27s better-expect-tracing
better-expect-tracing
January 20, 2024 21:34 13m 27s
Re-format and re-run all acceptance tests. Tests #1111: Commit b50e4ab pushed by KtorZ
January 20, 2024 09:44 7m 18s main
main
January 20, 2024 09:44 7m 18s