Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,283 workflow runs
2,283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow inline Pair in via Fuzzer's eDSL Release #544: Pull request #1156 opened by KtorZ
April 22, 2025 06:08 2s pairs-in-via
pairs-in-via
April 22, 2025 06:08 2s
New --property-coverage flag to the check command Tests #2267: Pull request #1155 opened by KtorZ
April 22, 2025 06:07 4m 11s coverage-mode
coverage-mode
April 22, 2025 06:07 4m 11s
New --property-coverage flag to the check command Release #543: Pull request #1155 opened by KtorZ
April 22, 2025 06:07 2s coverage-mode
coverage-mode
April 22, 2025 06:07 2s
Allow inline Pair in via Fuzzer's eDSL Nix Build #2355: Commit 9358ae6 pushed by KtorZ
April 22, 2025 06:05 1m 19s pairs-in-via
pairs-in-via
April 22, 2025 06:05 1m 19s
New --property-coverage flag to the check command Nix Build #2354: Commit c128e16 pushed by KtorZ
April 22, 2025 06:04 1m 14s coverage-mode
coverage-mode
April 22, 2025 06:04 1m 14s
Introduce as_data in prelude Tests #2266: Pull request #1153 synchronize by KtorZ
April 21, 2025 05:45 3m 59s as_data
as_data
April 21, 2025 05:45 3m 59s
Introduce as_data in prelude Release #542: Pull request #1153 synchronize by KtorZ
April 21, 2025 05:45 2s as_data
as_data
April 21, 2025 05:45 2s
Introduce as_data Nix Build #2353: Commit 4be4eae pushed by KtorZ
April 21, 2025 05:45 1m 10s as_data
as_data
April 21, 2025 05:45 1m 10s
Introduce as_data in prelude Release #541: Pull request #1153 synchronize by KtorZ
April 21, 2025 05:41 1s as_data
as_data
April 21, 2025 05:41 1s
Introduce as_data in prelude Tests #2265: Pull request #1153 synchronize by KtorZ
April 21, 2025 05:41 4m 11s as_data
as_data
April 21, 2025 05:41 4m 11s
Introduce as_data Nix Build #2352: Commit 81b519c pushed by KtorZ
April 21, 2025 05:41 1m 15s as_data
as_data
April 21, 2025 05:41 1m 15s
Introduce as_data in prelude Release #540: Pull request #1153 opened by KtorZ
April 21, 2025 05:41 2s as_data
as_data
April 21, 2025 05:41 2s
Introduce as_data in prelude Tests #2264: Pull request #1153 opened by KtorZ
April 21, 2025 05:41 4m 9s as_data
as_data
April 21, 2025 05:41 4m 9s
Introduce as_data Nix Build #2351: Commit 9b9851a pushed by KtorZ
April 21, 2025 05:36 1m 10s as_data
as_data
April 21, 2025 05:36 1m 10s
disable '--version' flag on sub-commands Nix Build #2350: Commit 3e11293 pushed by rvcas
April 20, 2025 18:35 1m 9s main
main
April 20, 2025 18:35 1m 9s
disable '--version' flag on sub-commands Tests #2263: Commit 3e11293 pushed by rvcas
April 20, 2025 18:35 4m 23s main
main
April 20, 2025 18:35 4m 23s
Allow type reification to pierce through Data aliases (e.g. Redeemer) Tests #2262: Commit d20418f pushed by rvcas
April 20, 2025 18:35 4m 17s main
main
April 20, 2025 18:35 4m 17s
Allow type reification to pierce through Data aliases (e.g. Redeemer) Nix Build #2349: Commit d20418f pushed by rvcas
April 20, 2025 18:35 1m 17s main
main
April 20, 2025 18:35 1m 17s
chore(deps): bump tokio from 1.43.0 to 1.43.1 Nix Build #2348: Commit 027a09b pushed by rvcas
April 20, 2025 18:34 1m 10s main
main
April 20, 2025 18:34 1m 10s
chore(deps): bump tokio from 1.43.0 to 1.43.1 Tests #2261: Commit 027a09b pushed by rvcas
April 20, 2025 18:34 4m 22s main
main
April 20, 2025 18:34 4m 22s
Allow type reification to pierce through list-like Data aliases (e.g. Redeemer) Release #539: Pull request #1152 synchronize by KtorZ
April 19, 2025 16:36 1s fix-type-reification-linked-vars-list-like
fix-type-reification-linked-vars-list-like
April 19, 2025 16:36 1s
Allow type reification to pierce through list-like Data aliases (e.g. Redeemer) Tests #2260: Pull request #1152 synchronize by KtorZ
April 19, 2025 16:36 3m 54s fix-type-reification-linked-vars-list-like
fix-type-reification-linked-vars-list-like
April 19, 2025 16:36 3m 54s
Allow type reification to pierce through Data aliases (e.g. Redeemer) Nix Build #2347: Commit c652d44 pushed by KtorZ
April 19, 2025 16:36 1m 14s fix-type-reification-linked-vars-list-like
fix-type-reification-linked-vars-list-like
April 19, 2025 16:36 1m 14s
Merge pull request #1151 from aiken-lang/fix-fuzzer-via-annotation Nix Build #2346: Commit 9d2c015 pushed by KtorZ
April 19, 2025 16:36 1m 9s main
main
April 19, 2025 16:36 1m 9s
Merge pull request #1151 from aiken-lang/fix-fuzzer-via-annotation Tests #2259: Commit 9d2c015 pushed by KtorZ
April 19, 2025 16:36 4m 8s main
main
April 19, 2025 16:36 4m 8s