Skip to content

Actions: CQCL/guppylang

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: Separate type checking from compilation code
Pull Request #181: Pull request #57 synchronize by mark-koch
November 27, 2023 15:10 2m 22s refactor/compilation-stages
November 27, 2023 15:10 2m 22s
chore: Upgrade to latest Hugr version
Pull Request #180: Pull request #62 opened by mark-koch
November 27, 2023 15:04 2m 6s chore/hugr-bump
November 27, 2023 15:04 2m 6s
feat: Add polymorphism
Pull Request #179: Pull request #61 synchronize by mark-koch
November 27, 2023 11:45 1m 24s feat/poly
November 27, 2023 11:45 1m 24s
feat: Move type checking code and make it bidirectional
Pull Request #178: Pull request #58 synchronize by mark-koch
November 27, 2023 11:36 1m 41s stages/check
November 27, 2023 11:36 1m 41s
refactor: Separate type checking from compilation code
Pull Request #177: Pull request #57 synchronize by mark-koch
November 27, 2023 11:36 1m 49s refactor/compilation-stages
November 27, 2023 11:36 1m 49s
feat: Move type checking code and make it bidirectional
Pull Request #176: Pull request #58 synchronize by mark-koch
November 27, 2023 11:31 1m 27s stages/check
November 27, 2023 11:31 1m 27s
refactor: Separate type checking from compilation code
Pull Request #175: Pull request #57 synchronize by mark-koch
November 27, 2023 11:29 1m 8s refactor/compilation-stages
November 27, 2023 11:29 1m 8s
refactor: Separate type checking from compilation code
Pull Request #174: Pull request #57 synchronize by mark-koch
November 27, 2023 11:25 1m 43s refactor/compilation-stages
November 27, 2023 11:25 1m 43s
feat: Add builtins module
Pull Request #173: Pull request #60 synchronize by mark-koch
November 27, 2023 11:23 1m 40s stages/builtins
November 27, 2023 11:23 1m 40s
feat: Move type checking code and make it bidirectional
Pull Request #172: Pull request #58 synchronize by mark-koch
November 27, 2023 09:33 1m 25s stages/check
November 27, 2023 09:33 1m 25s
refactor: Separate type checking from compilation code
Pull Request #171: Pull request #57 synchronize by mark-koch
November 27, 2023 09:32 1m 55s refactor/compilation-stages
November 27, 2023 09:32 1m 55s
feat: Add polymorphism
Pull Request #170: Pull request #61 synchronize by mark-koch
November 27, 2023 09:31 1m 20s feat/poly
November 27, 2023 09:31 1m 20s
feat: Move type checking code and make it bidirectional
Pull Request #169: Pull request #58 synchronize by mark-koch
November 24, 2023 15:15 1m 25s stages/check
November 24, 2023 15:15 1m 25s
feat: Move type checking code and make it bidirectional
Pull Request #168: Pull request #58 synchronize by mark-koch
November 24, 2023 15:14 1m 38s stages/check
November 24, 2023 15:14 1m 38s
refactor: Separate type checking from compilation code
Pull Request #167: Pull request #57 synchronize by mark-koch
November 24, 2023 15:13 1m 30s refactor/compilation-stages
November 24, 2023 15:13 1m 30s
feat: Add polymorphism
Pull Request #166: Pull request #61 synchronize by mark-koch
November 24, 2023 15:06 1m 26s feat/poly
November 24, 2023 15:06 1m 26s
feat: Move type checking code and make it bidirectional
Pull Request #165: Pull request #58 synchronize by mark-koch
November 24, 2023 15:03 45m 35s stages/check
November 24, 2023 15:03 45m 35s
refactor: Separate type checking from compilation code
Pull Request #164: Pull request #57 synchronize by mark-koch
November 24, 2023 15:02 1m 22s refactor/compilation-stages
November 24, 2023 15:02 1m 22s
refactor: Move graph generation code
Pull Request #163: Pull request #59 synchronize by mark-koch
November 24, 2023 14:56 2m 56s stages/graphgen
November 24, 2023 14:56 2m 56s
feat: Move type checking code and make it bidirectional
Pull Request #162: Pull request #58 synchronize by mark-koch
November 24, 2023 14:44 2m 1s stages/check
November 24, 2023 14:44 2m 1s
feat: Add polymorphism
Pull Request #161: Pull request #61 opened by mark-koch
November 24, 2023 14:35 1m 52s feat/poly
November 24, 2023 14:35 1m 52s
feat: Add builtins module
Pull Request #160: Pull request #60 opened by mark-koch
November 22, 2023 12:19 1m 46s stages/builtins
November 22, 2023 12:19 1m 46s
refactor: Move graph generation code
Pull Request #159: Pull request #59 opened by mark-koch
November 22, 2023 12:14 2m 18s stages/graphgen
November 22, 2023 12:14 2m 18s
refactor: Separate type checking from compilation code
Pull Request #158: Pull request #57 synchronize by mark-koch
November 22, 2023 12:11 2m 2s refactor/compilation-stages
November 22, 2023 12:11 2m 2s
refactor: Separate type checking from compilation code
Pull Request #157: Pull request #57 synchronize by mark-koch
November 22, 2023 12:10 1m 42s refactor/compilation-stages
November 22, 2023 12:10 1m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.