Skip to content

Actions: aiken-lang/aiken

Actions

Nix Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
1,221 workflow runs
1,221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Get rid of 'VoidMsg' in favor of an 'Option'. Nix Build #1076: Commit 30a6b77 pushed by MicroProofs
January 8, 2024 19:02 50s refactor_uplc_code_gen
refactor_uplc_code_gen
January 8, 2024 19:02 50s
Fix formatting Nix Build #1075: Commit 13d6dfb pushed by MitchTurner
January 7, 2024 22:35 12m 11s reexport-foreign-language-type
reexport-foreign-language-type
January 7, 2024 22:35 12m 11s
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'. 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
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
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
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
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
chore: Add back curry code removed in a previous commit Nix Build #1057: Commit c7ee129 pushed by MicroProofs
January 2, 2024 17:42 12m 35s binop-optimizations
binop-optimizations
January 2, 2024 17:42 12m 35s
Fix formatting Nix Build #1056: Commit 7b452c2 pushed by MicroProofs
December 30, 2023 03:57 12m 10s main
main
December 30, 2023 03:57 12m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-12-30 or the other filters available.