Skip to content

Actions: aiken-lang/aiken

Actions

Nix Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check exhaustiveness behavior on pattern guards. Nix Build #764: Commit 675b737 pushed by KtorZ
August 2, 2023 08:41 17m 42s main
main
August 2, 2023 08:41 17m 42s
add compute for the new terms constr and case Nix Build #763: Commit e908cd1 pushed by MicroProofs
August 2, 2023 04:02 16m 27s case_constr_terms
case_constr_terms
August 2, 2023 04:02 16m 27s
feat(uplc): add Case and Const terms Nix Build #762: Commit 8542488 pushed by MicroProofs
August 2, 2023 02:33 19m 24s case_constr_terms
case_constr_terms
August 2, 2023 02:33 19m 24s
test(check): a bunch of tests for the new exhaustiveness stuff Nix Build #761: Commit f3cab94 pushed by rvcas
August 2, 2023 01:13 19m 24s main
main
August 2, 2023 01:13 19m 24s
test(check): a bunch of tests for the new exhaustiveness stuff Nix Build #760: Commit c6df6b9 pushed by rvcas
August 1, 2023 20:07 16m 53s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 20:07 16m 53s
fix tests Nix Build #759: Commit dda1f20 pushed by MicroProofs
August 1, 2023 19:48 16m 43s air-tree
air-tree
August 1, 2023 19:48 16m 43s
one minor tail fix in clause pattern Nix Build #758: Commit 9cbabc4 pushed by MicroProofs
August 1, 2023 19:35 16m 38s air-tree
air-tree
August 1, 2023 19:35 16m 38s
fix: exhaustiveness on types from other modules Nix Build #757: Commit 5ce73a3 pushed by rvcas
August 1, 2023 19:10 16m 31s rvcas/exhaustiveness
rvcas/exhaustiveness
August 1, 2023 19:10 16m 31s
fix: decode should always print to textual Nix Build #756: Commit 55887d3 pushed by MicroProofs
August 1, 2023 04:47 16m 2s main
main
August 1, 2023 04:47 16m 2s
one minor tail fix in clause pattern Nix Build #755: Commit 88d822b pushed by MicroProofs
July 31, 2023 19:32 16m 41s air-tree
air-tree
July 31, 2023 19:32 16m 41s
use retain instead of position Nix Build #754: Commit f02b58c pushed by MicroProofs
July 31, 2023 19:26 21m 33s air-tree
air-tree
July 31, 2023 19:26 21m 33s
fix multivalidator issue Nix Build #753: Commit ce70731 pushed by MicroProofs
July 31, 2023 19:00 17m 11s air-tree
air-tree
July 31, 2023 19:00 17m 11s
fixes to tuples and usage of discard. Nix Build #752: Commit 92677d5 pushed by MicroProofs
July 31, 2023 18:53 23m 14s air-tree
air-tree
July 31, 2023 18:53 23m 14s
fix: exhaustiveness on types from other modules Nix Build #751: Commit e0d791c pushed by rvcas
July 31, 2023 17:59 23m 32s rvcas/exhaustiveness
rvcas/exhaustiveness
July 31, 2023 17:59 23m 32s
feat(exhaustiveness): show both clauses in redundant error Nix Build #750: Commit c1d843e pushed by rvcas
July 31, 2023 17:21 22m 59s rvcas/exhaustiveness
rvcas/exhaustiveness
July 31, 2023 17:21 22m 59s
fix: some function dependency tree path was not being updated in order Nix Build #749: Commit d456a4f pushed by MicroProofs
July 31, 2023 16:57 16m 51s air-tree
air-tree
July 31, 2023 16:57 16m 51s
last changes for today Nix Build #748: Commit f6e3c63 pushed by MicroProofs
July 29, 2023 23:02 16m 18s air-tree
air-tree
July 29, 2023 23:02 16m 18s
remove old stuff Nix Build #747: Commit caebf82 pushed by MicroProofs
July 29, 2023 22:53 19m 51s air-tree
air-tree
July 29, 2023 22:53 19m 51s
remove warning Nix Build #746: Commit 3b1e061 pushed by MicroProofs
July 29, 2023 22:53 19m 50s air-tree
air-tree
July 29, 2023 22:53 19m 50s
fixes to how we sort dependencies. Nix Build #745: Commit f14eb69 pushed by MicroProofs
July 29, 2023 22:52 17m 3s air-tree
air-tree
July 29, 2023 22:52 17m 3s
fix edge case with assign and pattern matching Nix Build #744: Commit 6ae5a6a pushed by MicroProofs
July 29, 2023 19:28 16m 39s air-tree
air-tree
July 29, 2023 19:28 16m 39s
feat(exhaustiveness): check tuple patterns Nix Build #743: Commit 5a0f007 pushed by rvcas
July 29, 2023 03:36 22m 28s rvcas/exhaustiveness
rvcas/exhaustiveness
July 29, 2023 03:36 22m 28s
feat(exhaustiveness): pretty print missing patterns Nix Build #742: Commit 1fd9ee8 pushed by rvcas
July 29, 2023 02:52 16m 12s rvcas/exhaustiveness
rvcas/exhaustiveness
July 29, 2023 02:52 16m 12s
checkpoint Nix Build #741: Commit 3720361 pushed by MicroProofs
July 29, 2023 01:02 16m 26s air-tree
air-tree
July 29, 2023 01:02 16m 26s
fix tuple clause Nix Build #740: Commit 0cd1c4b pushed by MicroProofs
July 29, 2023 00:23 18m 36s air-tree
air-tree
July 29, 2023 00:23 18m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-07-29 or the other filters available.