Skip to content

Actions: aiken-lang/aiken

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use a decision tree for when Expressions
Release #371: Pull request #1040 synchronize by MicroProofs
October 31, 2024 18:19 31s decision-trees
October 31, 2024 18:19 31s
Use a decision tree for when Expressions
Tests #2001: Pull request #1040 synchronize by MicroProofs
October 31, 2024 18:19 4m 42s decision-trees
October 31, 2024 18:19 4m 42s
October 31, 2024 18:19 12m 44s
Use a decision tree for when Expressions
Release #370: Pull request #1040 synchronize by MicroProofs
October 31, 2024 05:37 20s decision-trees
October 31, 2024 05:37 20s
Use a decision tree for when Expressions
Tests #2000: Pull request #1040 synchronize by MicroProofs
October 31, 2024 05:37 4m 25s decision-trees
October 31, 2024 05:37 4m 25s
Last issue from acceptance tests
Nix Build #2072: Commit a50657e pushed by MicroProofs
October 31, 2024 05:37 12m 41s decision-trees
October 31, 2024 05:37 12m 41s
Use a decision tree for when Expressions
Release #369: Pull request #1040 synchronize by MicroProofs
October 31, 2024 05:04 22s decision-trees
October 31, 2024 05:04 22s
Use a decision tree for when Expressions
Tests #1999: Pull request #1040 synchronize by MicroProofs
October 31, 2024 05:04 4m 36s decision-trees
October 31, 2024 05:04 4m 36s
Fix pairs not being unwrapped when wrapped as fields
Nix Build #2071: Commit 4c6c692 pushed by MicroProofs
October 31, 2024 05:04 12m 32s decision-trees
October 31, 2024 05:04 12m 32s
Use a decision tree for when Expressions
Tests #1998: Pull request #1040 synchronize by MicroProofs
October 31, 2024 00:44 5m 39s decision-trees
October 31, 2024 00:44 5m 39s
Use a decision tree for when Expressions
Release #368: Pull request #1040 synchronize by MicroProofs
October 31, 2024 00:44 23s decision-trees
October 31, 2024 00:44 23s
Fix more tests and issues
Nix Build #2070: Commit 0f55c66 pushed by MicroProofs
October 31, 2024 00:44 12m 34s decision-trees
October 31, 2024 00:44 12m 34s
Use a decision tree for when Expressions
Release #367: Pull request #1040 synchronize by MicroProofs
October 29, 2024 22:12 26s decision-trees
October 29, 2024 22:12 26s
Use a decision tree for when Expressions
Tests #1997: Pull request #1040 synchronize by MicroProofs
October 29, 2024 22:12 5m 6s decision-trees
October 29, 2024 22:12 5m 6s
Fix more tests and issues
Nix Build #2069: Commit 9d7e053 pushed by MicroProofs
October 29, 2024 22:12 12m 11s decision-trees
October 29, 2024 22:12 12m 11s
Use a decision tree for when Expressions
Release #366: Pull request #1040 synchronize by MicroProofs
October 29, 2024 18:32 25s decision-trees
October 29, 2024 18:32 25s
Use a decision tree for when Expressions
Tests #1996: Pull request #1040 synchronize by MicroProofs
October 29, 2024 18:32 4m 34s decision-trees
October 29, 2024 18:32 4m 34s
Fix test issues
Nix Build #2068: Commit ce560b2 pushed by MicroProofs
October 29, 2024 18:31 12m 37s decision-trees
October 29, 2024 18:31 12m 37s
Fix aiken docs constant generation
Nix Build #2067: Commit 2489e0f pushed by KtorZ
October 29, 2024 13:15 12m 29s main
October 29, 2024 13:15 12m 29s
Fix aiken docs constant generation
Tests #1995: Commit 2489e0f pushed by KtorZ
October 29, 2024 13:15 4m 35s main
October 29, 2024 13:15 4m 35s
Use a decision tree for when Expressions
Tests #1994: Pull request #1040 synchronize by MicroProofs
October 29, 2024 05:32 4m 46s decision-trees
October 29, 2024 05:32 4m 46s
Use a decision tree for when Expressions
Release #365: Pull request #1040 synchronize by MicroProofs
October 29, 2024 05:32 33s decision-trees
October 29, 2024 05:32 33s
Fix assigns sometimes having free uniques
Nix Build #2066: Commit e33bd2a pushed by MicroProofs
October 29, 2024 05:32 12m 3s decision-trees
October 29, 2024 05:32 12m 3s
Use a decision tree for when Expressions
Tests #1993: Pull request #1040 synchronize by MicroProofs
October 28, 2024 21:57 4m 37s decision-trees
October 28, 2024 21:57 4m 37s
Use a decision tree for when Expressions
Release #364: Pull request #1040 synchronize by MicroProofs
October 28, 2024 21:57 21s decision-trees
October 28, 2024 21:57 21s