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

add tracing level to codegen Nix Build #1101: Commit 3e35954 pushed by MicroProofs
January 17, 2024 16:53 7m 4s codegen-traces
codegen-traces
January 17, 2024 16:53 7m 4s
Rework tracing arguments to --keep-traces & --trace-level Nix Build #1100: Commit aafe770 pushed by KtorZ
January 17, 2024 16:23 12m 23s codegen-traces
codegen-traces
January 17, 2024 16:23 12m 23s
add new test Nix Build #1099: Commit 06672fc pushed by MicroProofs
January 14, 2024 19:51 57s add-better-expect-messages
add-better-expect-messages
January 14, 2024 19:51 57s
Continue converting let statement to let expressions. Nix Build #1098: Commit 848b029 pushed by KtorZ
January 14, 2024 14:55 5m 49s airtree-nuke-statements
airtree-nuke-statements
January 14, 2024 14:55 5m 49s
adding codegen traces Nix Build #1097: Commit 9c4fa95 pushed by MicroProofs
January 14, 2024 04:21 12m 17s codegen-traces
codegen-traces
January 14, 2024 04:21 12m 17s
add new test Nix Build #1096: Commit 06672fc pushed by MicroProofs
January 14, 2024 00:29 12m 3s main
main
January 14, 2024 00:29 12m 3s
add new test Nix Build #1095: Commit 2bea29f pushed by MicroProofs
January 14, 2024 00:17 12m 19s builtin-headlist-fix
builtin-headlist-fix
January 14, 2024 00:17 12m 19s
fix: headlist builtin on assoc lists Nix Build #1094: Commit eb09580 pushed by MicroProofs
January 13, 2024 23:55 12m 12s builtin-headlist-fix
builtin-headlist-fix
January 13, 2024 23:55 12m 12s
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples… Nix Build #1093: Commit c7af27a pushed by MicroProofs
January 13, 2024 23:43 55s builtin-headlist-fix
builtin-headlist-fix
January 13, 2024 23:43 55s
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples… Nix Build #1092: Commit c7af27a pushed by MicroProofs
January 13, 2024 22:46 11m 50s main
main
January 13, 2024 22:46 11m 50s
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples… Nix Build #1091: Commit 2c5d020 pushed by MicroProofs
January 13, 2024 21:34 12m 2s generic-fix-tuples
generic-fix-tuples
January 13, 2024 21:34 12m 2s
Reuse "convert_tag_to_constr" Nix Build #1090: Commit f934e87 pushed by MicroProofs
January 13, 2024 21:23 48s generic-fix-tuples
generic-fix-tuples
January 13, 2024 21:23 48s
more benchmark work Nix Build #1089: Commit 0161cf6 pushed by MicroProofs
January 13, 2024 18:25 12m 21s benchmark-knights
benchmark-knights
January 13, 2024 18:25 12m 21s
Reuse "convert_tag_to_constr" Nix Build #1088: Commit f934e87 pushed by MicroProofs
January 13, 2024 18:24 11m 57s main
main
January 13, 2024 18:24 11m 57s
more benchmark work Nix Build #1087: Commit 8bff441 pushed by MicroProofs
January 13, 2024 18:21 12m 0s benchmark-knights
benchmark-knights
January 13, 2024 18:21 12m 0s
fix: satisfy clippy's demands Nix Build #1086: Commit 4a8fecb pushed by MicroProofs
January 11, 2024 19:53 12m 0s main
main
January 11, 2024 19:53 12m 0s
continue porting over knights example Nix Build #1085: Commit 271de33 pushed by MicroProofs
January 11, 2024 19:44 12m 11s benchmark-knights
benchmark-knights
January 11, 2024 19:44 12m 11s
Remove some more hoisting. Nix Build #1084: Commit a5d1457 pushed by KtorZ
January 11, 2024 14:43 6m 24s airtree-nuke-statements
airtree-nuke-statements
January 11, 2024 14:43 6m 24s
commit new example for benchmarking Nix Build #1083: Commit 4e3556f pushed by MicroProofs
January 11, 2024 00:27 11m 56s benchmark-knights
benchmark-knights
January 11, 2024 00:27 11m 56s
fix(format): post trace sequences getting wrapped in curlies closes #781 Nix Build #1082: Commit 8b62873 pushed by rvcas
January 10, 2024 03:40 12m 13s main
main
January 10, 2024 03:40 12m 13s
don't need clippy macro anymore :) Nix Build #1081: Commit ff462fa pushed by MicroProofs
January 8, 2024 23:08 11m 57s main
main
January 8, 2024 23:08 11m 57s
don't need clippy macro anymore :) Nix Build #1080: Commit e7a174e pushed by MicroProofs
January 8, 2024 23:08 12m 12s refactor_uplc_code_gen
refactor_uplc_code_gen
January 8, 2024 23:08 12m 12s
Make foreign Language type publicly available (#793) Nix Build #1079: Commit 7992a50 pushed by MitchTurner
January 8, 2024 21:31 12m 10s main
main
January 8, 2024 21:31 12m 10s
fix: accidentally put quotes around tail_name Nix Build #1078: Commit c5bf763 pushed by MicroProofs
January 8, 2024 20:46 12m 16s refactor_uplc_code_gen
refactor_uplc_code_gen
January 8, 2024 20:46 12m 16s
refactor: change codegen uplc to have more type safety Nix Build #1077: Commit acd0df8 pushed by MicroProofs
January 8, 2024 19:06 12m 8s refactor_uplc_code_gen
refactor_uplc_code_gen
January 8, 2024 19:06 12m 8s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.