Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
434 workflow run results
434 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: allow importing off validators in validators/tests/* Nix Build #1044: Commit 07122aa pushed by rvcas
December 11, 2023 23:27 12m 14s main
main
December 11, 2023 23:27 12m 14s
feat: allow importing off validators in validators/tests/* Tests #1029: Commit 07122aa pushed by rvcas
December 11, 2023 23:27 7m 16s main
main
December 11, 2023 23:27 7m 16s
Refactor and add currying optimization to uplc shrinker Tests #1028: Pull request #770 synchronize by MicroProofs
December 11, 2023 20:25 7m 5s binop-optimizations
binop-optimizations
December 11, 2023 20:25 7m 5s
feat: implement curried tree pruning Nix Build #1043: Commit 2a05b80 pushed by MicroProofs
December 11, 2023 20:25 12m 18s binop-optimizations
binop-optimizations
December 11, 2023 20:25 12m 18s
Refactor and add currying optimization to uplc shrinker Tests #1027: Pull request #770 synchronize by MicroProofs
December 9, 2023 03:10 7m 24s binop-optimizations
binop-optimizations
December 9, 2023 03:10 7m 24s
fix: builtin_force_reducer wasn't handling double forces correctly Nix Build #1042: Commit 3ffb705 pushed by MicroProofs
December 9, 2023 03:10 12m 20s binop-optimizations
binop-optimizations
December 9, 2023 03:10 12m 20s
Fix parsing of big uplc data integers Tests #1026: Pull request #775 opened by nielstron
December 8, 2023 21:54 7m 21s nielstron:fix/big_builtin
nielstron:fix/big_builtin
December 8, 2023 21:54 7m 21s
Refactor and add currying optimization to uplc shrinker Tests #1025: Pull request #770 synchronize by MicroProofs
December 8, 2023 21:05 4m 42s binop-optimizations
binop-optimizations
December 8, 2023 21:05 4m 42s
start testing the first stage of currying builtins Nix Build #1041: Commit 253426a pushed by MicroProofs
December 8, 2023 21:05 11m 58s binop-optimizations
binop-optimizations
December 8, 2023 21:05 11m 58s
Refactor and add currying optimization to uplc shrinker Tests #1024: Pull request #770 synchronize by MicroProofs
December 8, 2023 20:03 4m 31s binop-optimizations
binop-optimizations
December 8, 2023 20:03 4m 31s
chore: continuing progress on implementing currying optimization for … Nix Build #1040: Commit d840c94 pushed by MicroProofs
December 8, 2023 20:03 12m 47s binop-optimizations
binop-optimizations
December 8, 2023 20:03 12m 47s
Handle errors and format Tests #1023: Commit b25e82e pushed by rvcas
December 8, 2023 17:19 7m 35s main
main
December 8, 2023 17:19 7m 35s
Handle errors and format Nix Build #1039: Commit b25e82e pushed by rvcas
December 8, 2023 17:19 12m 15s main
main
December 8, 2023 17:19 12m 15s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1022: Pull request #774 synchronize by nielstron
December 8, 2023 16:52 7m 43s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 16:52 7m 43s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1021: Pull request #774 synchronize by nielstron
December 8, 2023 16:40 6m 34s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 16:40 6m 34s
Fix type definitions for g1 & g2 elements. Nix Build #1038: Commit 92488e5 pushed by KtorZ
December 8, 2023 15:58 12m 17s main
main
December 8, 2023 15:58 12m 17s
Fix type definitions for g1 & g2 elements. Tests #1020: Commit 92488e5 pushed by KtorZ
December 8, 2023 15:58 7m 21s main
main
December 8, 2023 15:58 7m 21s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1019: Pull request #774 synchronize by nielstron
December 8, 2023 15:54 4m 43s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 15:54 4m 43s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1018: Pull request #774 synchronize by nielstron
December 8, 2023 15:40 4m 41s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 15:40 4m 41s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1017: Pull request #774 synchronize by nielstron
December 8, 2023 15:37 7m 36s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 15:37 7m 36s
Fix pretty prenting and parsing of strings with escaped values in complex data structures Tests #1016: Pull request #774 opened by nielstron
December 8, 2023 15:34 7m 36s nielstron:fix/print_uplc_escape_structure
nielstron:fix/print_uplc_escape_structure
December 8, 2023 15:34 7m 36s
Refactor and add currying optimization to uplc shrinker Tests #1015: Pull request #770 synchronize by MicroProofs
December 6, 2023 22:28 4m 37s binop-optimizations
binop-optimizations
December 6, 2023 22:28 4m 37s
chore: continuing progress on implementing currying optimization for … Nix Build #1037: Commit 3385add pushed by MicroProofs
December 6, 2023 22:28 11m 58s binop-optimizations
binop-optimizations
December 6, 2023 22:28 11m 58s
fix: zero arg functions were being compiled without the trace messages Nix Build #1036: Commit 825e65d pushed by MicroProofs
December 6, 2023 15:31 11m 44s main
main
December 6, 2023 15:31 11m 44s
fix: zero arg functions were being compiled without the trace messages Tests #1014: Commit 825e65d pushed by MicroProofs
December 6, 2023 15:31 7m 25s main
main
December 6, 2023 15:31 7m 25s