Skip to content

Actions: aiken-lang/aiken

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,164 workflow runs
1,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump flake deps
Tests #2035: Pull request #1059 opened by waalge
November 20, 2024 09:49 4m 26s waalge:waalge/bump-flake-1-82-0
November 20, 2024 09:49 4m 26s
chore: Release
Tests #2034: Commit e2fb28b pushed by KtorZ
November 19, 2024 14:58 6m 24s main
November 19, 2024 14:58 6m 24s
Fix release date in CHANGELOG.
Tests #2033: Commit 66e3989 pushed by KtorZ
November 19, 2024 14:54 4m 27s main
November 19, 2024 14:54 4m 27s
Move JSON-schema help for check behind dedicated flag
Tests #2032: Commit e12d7e8 pushed by KtorZ
November 19, 2024 14:49 4m 17s main
November 19, 2024 14:49 4m 17s
Update to pallas=0.31.0
Tests #2031: Commit b5047d6 pushed by KtorZ
November 19, 2024 13:54 6m 41s main
November 19, 2024 13:54 6m 41s
feat: update chang#2 costmodels
Tests #2030: Pull request #1058 synchronize by hadelive
November 19, 2024 05:46 4m 19s hadelive:chang2-costmodels
November 19, 2024 05:46 4m 19s
feat: update chang#2 costmodels
Tests #2029: Pull request #1058 opened by hadelive
November 19, 2024 05:27 4m 20s hadelive:chang2-costmodels
November 19, 2024 05:27 4m 20s
Fix scoped path for list with tail cases only plus wild card fallback
Tests #2028: Commit eec08fc pushed by MicroProofs
November 18, 2024 17:22 4m 30s main
November 18, 2024 17:22 4m 30s
chore: Release
Tests #2027: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 4m 3s main
November 13, 2024 20:25 4m 3s
Update changelog for 1.1.6
Tests #2026: Commit dc38186 pushed by MicroProofs
November 13, 2024 20:17 4m 16s main
November 13, 2024 20:17 4m 16s
Aiken UPLC Optimization overhaul (#1052)
Tests #2025: Commit 4ea6fdf pushed by MicroProofs
November 13, 2024 20:08 4m 17s main
November 13, 2024 20:08 4m 17s
Aiken UPLC Optimization overhaul
Tests #2024: Pull request #1052 synchronize by MicroProofs
November 13, 2024 20:01 4m 51s optimize-simplification
November 13, 2024 20:01 4m 51s
Aiken UPLC Optimization overhaul
Tests #2023: Pull request #1052 synchronize by MicroProofs
November 13, 2024 19:27 4m 14s optimize-simplification
November 13, 2024 19:27 4m 14s
Bump minimum rust version everywhere to 1.70.0
Tests #2022: Commit 10c1b46 pushed by KtorZ
November 13, 2024 18:41 4m 44s main
November 13, 2024 18:41 4m 44s
Merge branch 'json-check-output-2'
Tests #2021: Commit c523b01 pushed by KtorZ
November 13, 2024 14:09 4m 47s main
November 13, 2024 14:09 4m 47s
Target Aware output; JSON
Tests #2020: Pull request #1045 synchronize by KtorZ
November 13, 2024 14:00 4m 21s json-check-output-2
November 13, 2024 14:00 4m 21s
Target Aware output; JSON
Tests #2019: Pull request #1045 synchronize by KtorZ
November 13, 2024 11:05 4m 17s json-check-output-2
November 13, 2024 11:05 4m 17s
Aiken UPLC Optimization overhaul
Tests #2018: Pull request #1052 synchronize by MicroProofs
November 12, 2024 20:38 4m 25s optimize-simplification
November 12, 2024 20:38 4m 25s
Aiken UPLC Optimization overhaul
Tests #2017: Pull request #1052 synchronize by MicroProofs
November 12, 2024 20:20 4m 47s optimize-simplification
November 12, 2024 20:20 4m 47s
Aiken UPLC Optimization overhaul
Tests #2016: Pull request #1052 synchronize by MicroProofs
November 10, 2024 22:33 4m 7s optimize-simplification
November 10, 2024 22:33 4m 7s
Aiken UPLC Optimization overhaul
Tests #2015: Pull request #1052 synchronize by MicroProofs
November 10, 2024 05:33 9m 21s optimize-simplification
November 10, 2024 05:33 9m 21s
Aiken UPLC Optimization overhaul
Tests #2014: Pull request #1052 synchronize by MicroProofs
November 10, 2024 05:21 10m 11s optimize-simplification
November 10, 2024 05:21 10m 11s
Aiken UPLC Optimization overhaul
Tests #2013: Pull request #1052 synchronize by MicroProofs
November 9, 2024 22:46 10m 20s optimize-simplification
November 9, 2024 22:46 10m 20s
Aiken UPLC Optimization overhaul
Tests #2012: Pull request #1052 opened by MicroProofs
November 9, 2024 22:44 44s optimize-simplification
November 9, 2024 22:44 44s
Finish up tests for decision-tree modification
Tests #2011: Commit cd42f51 pushed by MicroProofs
November 8, 2024 19:24 6m 25s main
November 8, 2024 19:24 6m 25s