Skip to content

Actions: CQCL/guppylang

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Move type checking code and make it bidirectional Pull Request #189: Pull request #58 synchronize by mark-koch
November 30, 2023 11:33 2m 23s stages/check
stages/check
November 30, 2023 11:33 2m 23s
feat: Add polymorphism Pull Request #188: Pull request #61 synchronize by mark-koch
November 30, 2023 09:21 1m 52s feat/poly
feat/poly
November 30, 2023 09:21 1m 52s
feat: Add polymorphism Pull Request #187: Pull request #61 synchronize by mark-koch
November 30, 2023 09:17 1m 35s feat/poly
feat/poly
November 30, 2023 09:17 1m 35s
feat: Move type checking code and make it bidirectional Pull Request #186: Pull request #58 synchronize by mark-koch
November 28, 2023 13:40 1m 37s stages/check
stages/check
November 28, 2023 13:40 1m 37s
feat: Add polymorphism Pull Request #185: Pull request #61 synchronize by mark-koch
November 28, 2023 13:35 1m 50s feat/poly
feat/poly
November 28, 2023 13:35 1m 50s
feat: Add polymorphism Pull Request #184: Pull request #61 synchronize by mark-koch
November 28, 2023 12:17 2m 28s feat/poly
feat/poly
November 28, 2023 12:17 2m 28s
feat: Move type checking code and make it bidirectional Pull Request #183: Pull request #58 synchronize by mark-koch
November 27, 2023 15:24 2m 1s stages/check
stages/check
November 27, 2023 15:24 2m 1s
refactor: Separate type checking from compilation code Pull Request #182: Pull request #57 synchronize by mark-koch
November 27, 2023 15:22 1m 30s refactor/compilation-stages
refactor/compilation-stages
November 27, 2023 15:22 1m 30s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
stages/check
November 24, 2023 15:03 45m 35s