Skip to content

Actions: aiken-lang/aiken

Actions

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

Make foreign Language type publicly available Tests #1066: Pull request #793 opened by MitchTurner
January 7, 2024 22:23 6m 23s reexport-foreign-language-type
reexport-foreign-language-type
January 7, 2024 22:23 6m 23s
Make foreign type public available Nix Build #1074: Commit 3bb701d pushed by MitchTurner
January 7, 2024 22:20 12m 15s reexport-foreign-language-type
reexport-foreign-language-type
January 7, 2024 22:20 12m 15s
Remove some more hoisting. Nix Build #1073: Commit 693d4d5 pushed by KtorZ
January 5, 2024 17:03 6m 13s airtree-nuke-statements
airtree-nuke-statements
January 5, 2024 17:03 6m 13s
Start turning AirTree statements into expressions (let) Nix Build #1072: Commit 76b6aa2 pushed by KtorZ
January 5, 2024 16:48 6m 8s airtree-nuke-statements
airtree-nuke-statements
January 5, 2024 16:48 6m 8s
Get rid of 'VoidMsg' in favor of an 'Option'. Nix Build #1071: Commit 30a6b77 pushed by MicroProofs
January 4, 2024 21:09 12m 16s continue-improving-expect
continue-improving-expect
January 4, 2024 21:09 12m 16s
Get rid of 'VoidMsg' in favor of an 'Option'. Nix Build #1070: Commit 30a6b77 pushed by MicroProofs
January 4, 2024 21:03 12m 17s main
main
January 4, 2024 21:03 12m 17s
Get rid of 'VoidMsg' in favor of an 'Option'. Tests #1065: Commit 30a6b77 pushed by MicroProofs
January 4, 2024 21:03 7m 23s main
main
January 4, 2024 21:03 7m 23s
Expect with traces shows line of code on failure Tests #1064: Pull request #791 synchronize by KtorZ
January 4, 2024 16:59 7m 24s add-better-expect-messages
add-better-expect-messages
January 4, 2024 16:59 7m 24s
Get rid of 'VoidMsg' in favor of an 'Option'. Nix Build #1069: Commit 7593cc1 pushed by KtorZ
January 4, 2024 16:59 12m 12s add-better-expect-messages
add-better-expect-messages
January 4, 2024 16:59 12m 12s
Expect with traces shows line of code on failure Tests #1063: Pull request #791 synchronize by MicroProofs
January 4, 2024 16:25 7m 36s add-better-expect-messages
add-better-expect-messages
January 4, 2024 16:25 7m 36s
refactor: convert msgs to use AirMsg type instead of AirTree Nix Build #1068: Commit 46d7797 pushed by MicroProofs
January 4, 2024 16:25 12m 8s add-better-expect-messages
add-better-expect-messages
January 4, 2024 16:25 12m 8s
Start turning AirTree statements into expressions (let) Nix Build #1067: Commit 2e8af30 pushed by KtorZ
January 4, 2024 15:16 6m 0s airtree-nuke-statements
airtree-nuke-statements
January 4, 2024 15:16 6m 0s
Expect with traces shows line of code on failure Tests #1062: Pull request #791 synchronize by MicroProofs
January 4, 2024 15:13 7m 35s add-better-expect-messages
add-better-expect-messages
January 4, 2024 15:13 7m 35s
feat: expect on a type now can take in a msg when in trace mode Nix Build #1066: Commit a193b38 pushed by MicroProofs
January 4, 2024 15:13 12m 15s add-better-expect-messages
add-better-expect-messages
January 4, 2024 15:13 12m 15s
Expect with traces shows line of code on failure Tests #1061: Pull request #791 synchronize by MicroProofs
January 4, 2024 00:10 4m 34s add-better-expect-messages
add-better-expect-messages
January 4, 2024 00:10 4m 34s
feat: change expect from data on constrs to take in a message term Nix Build #1065: Commit 631757e pushed by MicroProofs
January 4, 2024 00:10 12m 39s add-better-expect-messages
add-better-expect-messages
January 4, 2024 00:10 12m 39s
Expect with traces shows line of code on failure Tests #1060: Pull request #791 opened by MicroProofs
January 3, 2024 21:18 4m 40s add-better-expect-messages
add-better-expect-messages
January 3, 2024 21:18 4m 40s
fixing gen_uplc tets Nix Build #1064: Commit 1afa328 pushed by MicroProofs
January 3, 2024 18:08 12m 6s add-better-expect-messages
add-better-expect-messages
January 3, 2024 18:08 12m 6s
refactor how tracing is popped off to be in one location in uplc_gen Nix Build #1063: Commit dd1359b pushed by MicroProofs
January 3, 2024 17:23 12m 4s add-better-expect-messages
add-better-expect-messages
January 3, 2024 17:23 12m 4s
feat: expects now print the line of code that failed Nix Build #1062: Commit a32a864 pushed by MicroProofs
January 3, 2024 06:34 12m 3s add-better-expect-messages
add-better-expect-messages
January 3, 2024 06:34 12m 3s
update aiken code gen test Nix Build #1061: Commit 8ed0f17 pushed by MicroProofs
January 3, 2024 03:04 12m 42s add-better-expect-messages
add-better-expect-messages
January 3, 2024 03:04 12m 42s
feat: add code messages when using expects on constrs Nix Build #1060: Commit 80f7e71 pushed by MicroProofs
January 3, 2024 02:59 12m 9s add-better-expect-messages
add-better-expect-messages
January 3, 2024 02:59 12m 9s
feat: Add specific messages for using expect with booleans Nix Build #1059: Commit 72458ab pushed by MicroProofs
January 3, 2024 02:52 12m 4s add-better-expect-messages
add-better-expect-messages
January 3, 2024 02:52 12m 4s
Fix formatting Nix Build #1058: Commit 7b452c2 pushed by MicroProofs
January 3, 2024 02:46 46s add-better-expect-messages
add-better-expect-messages
January 3, 2024 02:46 46s
Refactor and add currying optimization to uplc shrinker Tests #1059: Pull request #770 synchronize by MicroProofs
January 2, 2024 17:42 7m 24s binop-optimizations
binop-optimizations
January 2, 2024 17:42 7m 24s