Skip to content

Actions: aiken-lang/play

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix stdlib import ordering and source fetching.
Continuous Deployment #13: Commit cb257f9 pushed by KtorZ
October 2, 2024 15:35 10m 52s main
October 2, 2024 15:35 10m 52s
re-generate Cargo.lock
Continuous Deployment #12: Commit 32f914c pushed by KtorZ
October 2, 2024 13:45 9m 39s main
October 2, 2024 13:45 9m 39s
Update playground to aiken==v1.1.4
Continuous Deployment #11: Commit ff0d16d pushed by KtorZ
October 2, 2024 12:45 10m 50s main
October 2, 2024 12:45 10m 50s
Bump playground to 1.1.1
Continuous Deployment #10: Commit e204675 pushed by KtorZ
September 10, 2024 11:55 10m 36s main
September 10, 2024 11:55 10m 36s
Include super-charged constants.
Continuous Deployment #9: Commit 778b090 pushed by KtorZ
September 1, 2024 17:59 10m 7s main
September 1, 2024 17:59 10m 7s
Update Cargo.lock
Continuous Deployment #8: Commit c21e23c pushed by KtorZ
September 1, 2024 17:41 9m 5s main
September 1, 2024 17:41 9m 5s
Fix link to stdlib.
Continuous Deployment #7: Commit ab6f480 pushed by KtorZ
September 1, 2024 17:17 9m 46s main
September 1, 2024 17:17 9m 46s
Finish integration of property tests.
Continuous Deployment #6: Commit 2e294fa pushed by KtorZ
August 30, 2024 12:09 11m 6s main
August 30, 2024 12:09 11m 6s
Update Playground for Aiken v1.1.0
Continuous Deployment #5: Commit 520261f pushed by KtorZ
August 29, 2024 13:46 10m 43s main
August 29, 2024 13:46 10m 43s
Update stdlib and build script.
Continuous Deployment #4: Commit b2e2a6e pushed by KtorZ
August 28, 2024 16:51 9m 8s main
August 28, 2024 16:51 9m 8s
Update stdlib and build script.
Continuous Deployment #3: Commit dc5f35a pushed by KtorZ
August 28, 2024 16:49 3m 6s main
August 28, 2024 16:49 3m 6s
Setup github workflow.
Continuous Deployment #2: Commit d4f1cbc pushed by KtorZ
August 28, 2024 16:32 7m 52s main
August 28, 2024 16:32 7m 52s
Setup github workflow.
Continuous Deployment #1: Commit eb8c8e3 pushed by KtorZ
August 28, 2024 15:27 Failure main
August 28, 2024 15:27 Failure