Skip to content

Actions: argotorg/solcore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implementing imports for a primitive module system
Haskell CI #69: Pull request #49 synchronize by rodrigogribeiro
January 2, 2025 16:40 4m 34s basic-import
January 2, 2025 16:40 4m 34s
Some code changes - Part 01
Haskell CI #68: Pull request #57 opened by rodrigogribeiro
January 2, 2025 13:52 4m 27s reestructurin-1
January 2, 2025 13:52 4m 27s
Merge pull request #54 from argotorg/unit-type
Haskell CI #67: Commit 7e5237c pushed by rodrigogribeiro
December 24, 2024 19:05 3m 14s main
December 24, 2024 19:05 3m 14s
Merge pull request #53 from argotorg/issue52
Haskell CI #66: Commit 84f308e pushed by mbenke
December 24, 2024 08:32 3m 4s main
December 24, 2024 08:32 3m 4s
Adding unit type back / fixes on pretty printing.
Haskell CI #65: Pull request #54 synchronize by rodrigogribeiro
December 23, 2024 20:05 2m 59s unit-type
December 23, 2024 20:05 2m 59s
Adding unit type back / fixes on pretty printing.
Haskell CI #64: Pull request #54 synchronize by rodrigogribeiro
December 23, 2024 18:06 3m 2s unit-type
December 23, 2024 18:06 3m 2s
Merge pull request #56 from argotorg/restructure-code
Haskell CI #63: Commit 91aee97 pushed by rodrigogribeiro
December 23, 2024 17:30 5m 37s main
December 23, 2024 17:30 5m 37s
Some code reestructuring
Haskell CI #62: Pull request #56 opened by rodrigogribeiro
December 23, 2024 16:55 4m 25s restructure-code
December 23, 2024 16:55 4m 25s
Some coding reestructuring
Haskell CI #61: Pull request #55 opened by rodrigogribeiro
December 19, 2024 12:22 4m 10s reestructure-code
December 19, 2024 12:22 4m 10s
Adding unit type back / fixes on pretty printing.
Haskell CI #60: Pull request #54 opened by rodrigogribeiro
December 13, 2024 16:11 4m 31s unit-type
December 13, 2024 16:11 4m 31s
make EmitCore work for the builtin tuple constructors
Haskell CI #59: Pull request #53 opened by mbenke
December 13, 2024 08:09 4m 33s issue52
December 13, 2024 08:09 4m 33s
Merge pull request #51 from argotorg/fixspec
Haskell CI #58: Commit b42aca4 pushed by mbenke
December 3, 2024 16:32 1m 55s main
December 3, 2024 16:32 1m 55s
Reenable specialise and emitCore
Haskell CI #57: Pull request #51 synchronize by mbenke
December 3, 2024 14:13 3m 24s fixspec
December 3, 2024 14:13 3m 24s
Reenable specialise and emitCore
Haskell CI #56: Pull request #51 opened by mbenke
December 3, 2024 14:11 1m 59s fixspec
December 3, 2024 14:11 1m 59s
Generate Yul objects
Haskell CI #55: Pull request #50 opened by mbenke
December 3, 2024 13:15 2m 9s yof
yof
December 3, 2024 13:15 2m 9s
Implementing imports for a primitive module system
Haskell CI #54: Pull request #49 opened by rodrigogribeiro
November 29, 2024 20:05 1m 42s basic-import
November 29, 2024 20:05 1m 42s
Definition of a pragma for boolean type.
Haskell CI #53: Pull request #48 opened by rodrigogribeiro
November 29, 2024 17:03 1m 46s bool-pragma
November 29, 2024 17:03 1m 46s
Merge pull request #47 from argotorg/type-inference-no-gen
Haskell CI #52: Commit 65b6280 pushed by rodrigogribeiro
November 29, 2024 13:27 1m 35s main
November 29, 2024 13:27 1m 35s
Implementation of closure conversion.
Haskell CI #51: Pull request #47 synchronize by rodrigogribeiro
November 29, 2024 13:25 1m 46s type-inference-no-gen
November 29, 2024 13:25 1m 46s
Implementation of closure conversion.
Haskell CI #50: Pull request #47 synchronize by rodrigogribeiro
November 29, 2024 13:17 45s type-inference-no-gen
November 29, 2024 13:17 45s
Changes on test to fix error on CI.
Haskell CI #49: Commit 6957b89 pushed by rodrigogribeiro
November 28, 2024 19:43 1m 47s main
November 28, 2024 19:43 1m 47s
Adding missing test cases
Haskell CI #48: Commit 31cdd5b pushed by rodrigogribeiro
November 28, 2024 19:31 1m 46s main
November 28, 2024 19:31 1m 46s
Fixes on type inference. Std typechecks now. All tests passing.
Haskell CI #47: Commit d9bcf5e pushed by rodrigogribeiro
November 28, 2024 19:13 1m 46s main
November 28, 2024 19:13 1m 46s
Std libs type checks. All tests passing.
Haskell CI #46: Commit eaba896 pushed by rodrigogribeiro
November 27, 2024 10:05 2m 5s main
November 27, 2024 10:05 2m 5s
More std
Haskell CI #45: Pull request #46 synchronize by d-xo
November 26, 2024 17:02 2m 9s more-std
November 26, 2024 17:02 2m 9s