Skip to content

Actions: aiken-lang/aiken

Actions

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

Add json flag for check command Nix Build #2035: Commit 10476f9 pushed by Riley-Kilgore
October 17, 2024 19:14 12m 42s json-check-output
json-check-output
October 17, 2024 19:14 12m 42s
Use a decision tree for when Expressions Release #346: Pull request #1040 synchronize by MicroProofs
October 17, 2024 05:31 20s decision-trees
decision-trees
October 17, 2024 05:31 20s
Use a decision tree for when Expressions Tests #1966: Pull request #1040 synchronize by MicroProofs
October 17, 2024 05:31 4m 22s decision-trees
decision-trees
October 17, 2024 05:31 4m 22s
Finish with adding constrs Nix Build #2034: Commit e955a10 pushed by MicroProofs
October 17, 2024 05:31 12m 19s decision-trees
decision-trees
October 17, 2024 05:31 12m 19s
Use a decision tree for when Expressions Tests #1965: Pull request #1040 synchronize by MicroProofs
October 17, 2024 01:28 4m 29s decision-trees
decision-trees
October 17, 2024 01:28 4m 29s
Use a decision tree for when Expressions Release #345: Pull request #1040 synchronize by MicroProofs
October 17, 2024 01:28 24s decision-trees
decision-trees
October 17, 2024 01:28 24s
Pass in interner and data types map into decision tree builder Nix Build #2033: Commit 01a3e15 pushed by MicroProofs
October 17, 2024 01:28 12m 12s decision-trees
decision-trees
October 17, 2024 01:28 12m 12s
Use a decision tree for when Expressions Tests #1964: Pull request #1040 synchronize by MicroProofs
October 16, 2024 23:09 4m 36s decision-trees
decision-trees
October 16, 2024 23:09 4m 36s
Use a decision tree for when Expressions Release #344: Pull request #1040 synchronize by MicroProofs
October 16, 2024 23:09 40s decision-trees
decision-trees
October 16, 2024 23:09 40s
Finished up creating the decision tree for lists. Only constr left. Nix Build #2032: Commit b58c931 pushed by MicroProofs
October 16, 2024 23:09 12m 45s decision-trees
decision-trees
October 16, 2024 23:09 12m 45s
Use a decision tree for when Expressions Tests #1963: Pull request #1040 synchronize by MicroProofs
October 15, 2024 18:37 4m 23s decision-trees
decision-trees
October 15, 2024 18:37 4m 23s
Use a decision tree for when Expressions Release #343: Pull request #1040 synchronize by MicroProofs
October 15, 2024 18:37 27s decision-trees
decision-trees
October 15, 2024 18:37 27s
Incremental commit for dealing with list tails Nix Build #2031: Commit 3452dee pushed by MicroProofs
October 15, 2024 18:37 12m 24s decision-trees
decision-trees
October 15, 2024 18:37 12m 24s
Use a decision tree for when Expressions Release #342: Pull request #1040 synchronize by MicroProofs
October 14, 2024 17:19 27s decision-trees
decision-trees
October 14, 2024 17:19 27s
Use a decision tree for when Expressions Tests #1962: Pull request #1040 synchronize by MicroProofs
October 14, 2024 17:19 4m 14s decision-trees
decision-trees
October 14, 2024 17:19 4m 14s
Continue work on handling lists with tails pattern matching Nix Build #2030: Commit 5a4f39f pushed by MicroProofs
October 14, 2024 17:19 12m 10s decision-trees
decision-trees
October 14, 2024 17:19 12m 10s
Add acceptance tests #114 Release #341: Pull request #1041 opened by KtorZ
October 13, 2024 11:41 21s acceptance_tests_114
acceptance_tests_114
October 13, 2024 11:41 21s
Add acceptance tests #114 Tests #1961: Pull request #1041 opened by KtorZ
October 13, 2024 11:41 4m 10s acceptance_tests_114
acceptance_tests_114
October 13, 2024 11:41 4m 10s
Add acceptance tests #114 Nix Build #2029: Commit a18af83 pushed by KtorZ
October 13, 2024 11:40 12m 20s acceptance_tests_114
acceptance_tests_114
October 13, 2024 11:40 12m 20s
Use a decision tree for when Expressions Tests #1960: Pull request #1040 synchronize by MicroProofs
October 11, 2024 05:18 4m 14s decision-trees
decision-trees
October 11, 2024 05:18 4m 14s
Use a decision tree for when Expressions Release #340: Pull request #1040 synchronize by MicroProofs
October 11, 2024 05:18 21s decision-trees
decision-trees
October 11, 2024 05:18 21s
Now working for all kinds of patterns except for constr Nix Build #2028: Commit 1e4fe63 pushed by MicroProofs
October 11, 2024 05:18 12m 16s decision-trees
decision-trees
October 11, 2024 05:18 12m 16s
Use a decision tree for when Expressions Tests #1959: Pull request #1040 synchronize by MicroProofs
October 10, 2024 16:14 4m 41s decision-trees
decision-trees
October 10, 2024 16:14 4m 41s
Use a decision tree for when Expressions Release #339: Pull request #1040 synchronize by MicroProofs
October 10, 2024 16:14 22s decision-trees
decision-trees
October 10, 2024 16:14 22s
Remove some warnings Nix Build #2027: Commit 6e27b96 pushed by MicroProofs
October 10, 2024 16:14 12m 13s decision-trees
decision-trees
October 10, 2024 16:14 12m 13s