Skip to content

Actions: aiken-lang/aiken

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,090 workflow runs
3,090 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use a decision tree for when Expressions
Tests #1983: Pull request #1040 synchronize by MicroProofs
October 24, 2024 05:06 4m 43s decision-trees
October 24, 2024 05:06 4m 43s
Use a decision tree for when Expressions
Release #359: Pull request #1040 synchronize by MicroProofs
October 24, 2024 05:06 33s decision-trees
October 24, 2024 05:06 33s
Checkpoint for today
Nix Build #2055: Commit 9d1d66a pushed by MicroProofs
October 24, 2024 05:06 12m 15s decision-trees
October 24, 2024 05:06 12m 15s
Use a decision tree for when Expressions
Release #358: Pull request #1040 synchronize by MicroProofs
October 23, 2024 22:14 30s decision-trees
October 23, 2024 22:14 30s
Use a decision tree for when Expressions
Tests #1982: Pull request #1040 synchronize by MicroProofs
October 23, 2024 22:14 4m 40s decision-trees
October 23, 2024 22:14 4m 40s
Producing uplc now. Just need to finish ListSwitch
Nix Build #2054: Commit d527212 pushed by MicroProofs
October 23, 2024 22:14 12m 12s decision-trees
October 23, 2024 22:14 12m 12s
Use a decision tree for when Expressions
Release #357: Pull request #1040 synchronize by MicroProofs
October 23, 2024 18:24 22s decision-trees
October 23, 2024 18:24 22s
Use a decision tree for when Expressions
Tests #1981: Pull request #1040 synchronize by MicroProofs
October 23, 2024 18:24 4m 34s decision-trees
October 23, 2024 18:24 4m 34s
Continue work on integrating the decision tree into code gen
Nix Build #2053: Commit fbc34ba pushed by MicroProofs
October 23, 2024 18:24 12m 34s decision-trees
October 23, 2024 18:24 12m 34s
Use a decision tree for when Expressions
Release #356: Pull request #1040 synchronize by MicroProofs
October 22, 2024 21:04 22s decision-trees
October 22, 2024 21:04 22s
Use a decision tree for when Expressions
Tests #1980: Pull request #1040 synchronize by MicroProofs
October 22, 2024 21:04 4m 43s decision-trees
October 22, 2024 21:04 4m 43s
October 22, 2024 21:04 12m 41s
Target Aware output; JSON
Tests #1979: Pull request #1045 opened by Riley-Kilgore
October 22, 2024 16:48 4m 37s json-check-output-2
October 22, 2024 16:48 4m 37s
Target Aware output; JSON
Release #355: Pull request #1045 opened by Riley-Kilgore
October 22, 2024 16:48 27s json-check-output-2
October 22, 2024 16:48 27s
Remove unused args in fmt_test_json
Nix Build #2050: Commit 8b0f3bd pushed by Riley-Kilgore
October 22, 2024 16:22 13m 4s json-check-output-2
October 22, 2024 16:22 13m 4s
Use a decision tree for when Expressions
Tests #1978: Pull request #1040 synchronize by MicroProofs
October 21, 2024 19:49 4m 27s decision-trees
October 21, 2024 19:49 4m 27s
Use a decision tree for when Expressions
Release #354: Pull request #1040 synchronize by MicroProofs
October 21, 2024 19:49 23s decision-trees
October 21, 2024 19:49 23s
Commit latest changes so far
Nix Build #2049: Commit 68ef20c pushed by MicroProofs
October 21, 2024 19:49 12m 30s decision-trees
October 21, 2024 19:49 12m 30s
Use a decision tree for when Expressions
Tests #1977: Pull request #1040 synchronize by MicroProofs
October 20, 2024 01:46 4m 49s decision-trees
October 20, 2024 01:46 4m 49s
Use a decision tree for when Expressions
Release #353: Pull request #1040 synchronize by MicroProofs
October 20, 2024 01:46 22s decision-trees
October 20, 2024 01:46 22s
Done with hoisting. Now to use it in gen_uplc. I hate RcDoc btw :'/
Nix Build #2048: Commit 0a51016 pushed by MicroProofs
October 20, 2024 01:46 12m 24s decision-trees
October 20, 2024 01:46 12m 24s
chore: Release
Tests #1976: Commit a7741ec pushed by MicroProofs
October 19, 2024 17:51 4m 30s main
October 19, 2024 17:51 4m 30s
chore: Release
Nix Build #2047: Commit a7741ec pushed by MicroProofs
October 19, 2024 17:51 12m 20s main
October 19, 2024 17:51 12m 20s
chore: Release
Release #352: Commit a7741ec pushed by MicroProofs
October 19, 2024 17:51 10m 51s v1.1.5
October 19, 2024 17:51 10m 51s