Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add LaTeX support with custom markers and MathJax integration Tests #2074: Pull request #1070 opened by adrian052
December 10, 2024 16:59 Action required adrian052:main
adrian052:main
December 10, 2024 16:59 Action required
Add LaTeX support with custom markers and MathJax integration Release #423: Pull request #1070 opened by adrian052
December 10, 2024 16:59 Action required adrian052:main
adrian052:main
December 10, 2024 16:59 Action required
Comment out ExpModInteger since it's not live on testnets yet Nix Build #2148: Commit ebc7d89 pushed by MicroProofs
December 8, 2024 07:30 12m 12s main
main
December 8, 2024 07:30 12m 12s
Comment out ExpModInteger since it's not live on testnets yet Tests #2073: Commit ebc7d89 pushed by MicroProofs
December 8, 2024 07:30 4m 3s main
main
December 8, 2024 07:30 4m 3s
enable new builtins (*with gotcha) Nix Build #2147: Commit 1105dbf pushed by KtorZ
December 7, 2024 14:43 12m 28s main
main
December 7, 2024 14:43 12m 28s
enable new builtins (*with gotcha) Tests #2072: Commit 1105dbf pushed by KtorZ
December 7, 2024 14:43 4m 5s main
main
December 7, 2024 14:43 4m 5s
add type signatures for new builtins. Tests #2071: Commit 1f1e687 pushed by KtorZ
December 7, 2024 13:25 4m 4s main
main
December 7, 2024 13:25 4m 4s
add type signatures for new builtins. Nix Build #2146: Commit 1f1e687 pushed by KtorZ
December 7, 2024 13:25 12m 12s main
main
December 7, 2024 13:25 12m 12s
Include @waalge & @jinglescode contributions in the CHANGELOG. Nix Build #2145: Commit 96b864f pushed by KtorZ
December 7, 2024 12:49 12m 15s main
main
December 7, 2024 12:49 12m 15s
Include @waalge & @jinglescode contributions in the CHANGELOG. Tests #2070: Commit 96b864f pushed by KtorZ
December 7, 2024 12:49 4m 3s main
main
December 7, 2024 12:49 4m 3s
Fix validator placeholder template Nix Build #2144: Commit 75c88be pushed by KtorZ
December 7, 2024 12:43 12m 28s waalge/new-include-validator-template
waalge/new-include-validator-template
December 7, 2024 12:43 12m 28s
add: template from docs Release #422: Pull request #1061 synchronize by KtorZ
December 7, 2024 12:31 18s waalge:waalge/new-include-validator-template
waalge:waalge/new-include-validator-template
December 7, 2024 12:31 18s
add: template from docs Tests #2069: Pull request #1061 synchronize by KtorZ
December 7, 2024 12:31 2m 30s waalge:waalge/new-include-validator-template
waalge:waalge/new-include-validator-template
December 7, 2024 12:31 2m 30s
add: template from docs Tests #2068: Pull request #1061 synchronize by KtorZ
December 7, 2024 12:28 3m 57s waalge:waalge/new-include-validator-template
waalge:waalge/new-include-validator-template
December 7, 2024 12:28 3m 57s
add: template from docs Release #421: Pull request #1061 synchronize by KtorZ
December 7, 2024 12:28 19s waalge:waalge/new-include-validator-template
waalge:waalge/new-include-validator-template
December 7, 2024 12:28 19s
Merge pull request #1067 from jinglescode/main Tests #2067: Commit 8700862 pushed by KtorZ
December 7, 2024 12:27 3m 59s main
main
December 7, 2024 12:27 3m 59s
Merge pull request #1067 from jinglescode/main Nix Build #2143: Commit 8700862 pushed by KtorZ
December 7, 2024 12:27 12m 20s main
main
December 7, 2024 12:27 12m 20s
Cargo fmt fix Nix Build #2142: Commit ddc58b9 pushed by MicroProofs
December 7, 2024 05:31 12m 18s main
main
December 7, 2024 05:31 12m 18s
Cargo fmt fix Tests #2066: Commit ddc58b9 pushed by MicroProofs
December 7, 2024 05:31 4m 19s main
main
December 7, 2024 05:31 4m 19s
Chang2 builtins Release #420: Pull request #1064 synchronize by MicroProofs
December 7, 2024 05:30 18s chang2-builtins
chang2-builtins
December 7, 2024 05:30 18s
Chang2 builtins Tests #2065: Pull request #1064 synchronize by MicroProofs
December 7, 2024 05:30 3m 59s chang2-builtins
chang2-builtins
December 7, 2024 05:30 3m 59s
Cargo fmt fix Nix Build #2141: Commit ddc58b9 pushed by MicroProofs
December 7, 2024 05:30 12m 28s chang2-builtins
chang2-builtins
December 7, 2024 05:30 12m 28s
Chang2 builtins Release #419: Pull request #1064 synchronize by MicroProofs
December 7, 2024 05:27 15s chang2-builtins
chang2-builtins
December 7, 2024 05:27 15s
Chang2 builtins Tests #2064: Pull request #1064 synchronize by MicroProofs
December 7, 2024 05:27 4m 9s chang2-builtins
chang2-builtins
December 7, 2024 05:27 4m 9s
Clippy fix Nix Build #2140: Commit 4d7a242 pushed by MicroProofs
December 7, 2024 05:27 12m 20s chang2-builtins
chang2-builtins
December 7, 2024 05:27 12m 20s