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

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
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
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
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
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
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
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
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
refactor/compilation-stages
November 22, 2023 12:10 1m 42s
feat: Move type checking code and make it bidirectional Pull Request #156: Pull request #58 opened by mark-koch
November 22, 2023 11:59 2m 40s stages/check
stages/check
November 22, 2023 11:59 2m 40s
refactor: Separate type checking from compilation code Pull Request #155: Pull request #57 synchronize by mark-koch
November 22, 2023 10:57 1m 38s refactor/compilation-stages
refactor/compilation-stages
November 22, 2023 10:57 1m 38s
refactor: Separate type checking from compilation code Pull Request #154: Pull request #57 synchronize by mark-koch
November 22, 2023 10:25 1m 38s refactor/compilation-stages
refactor/compilation-stages
November 22, 2023 10:25 1m 38s
refactor: Separate type checking from compilation code Pull Request #153: Pull request #57 synchronize by mark-koch
November 22, 2023 10:23 1m 40s refactor/compilation-stages
refactor/compilation-stages
November 22, 2023 10:23 1m 40s
refactor: Separate type checking from compilation code Pull Request #152: Pull request #57 synchronize by mark-koch
November 21, 2023 17:39 1m 32s refactor/compilation-stages
refactor/compilation-stages
November 21, 2023 17:39 1m 32s
refactor: Separate type checking from compilation code Pull Request #151: Pull request #57 synchronize by mark-koch
November 21, 2023 16:41 1m 42s refactor/compilation-stages
refactor/compilation-stages
November 21, 2023 16:41 1m 42s
refactor: Separate type checking from compilation code Pull Request #150: Pull request #57 opened by mark-koch
November 21, 2023 16:12 3m 39s refactor/compilation-stages
refactor/compilation-stages
November 21, 2023 16:12 3m 39s
chore: Add Ruff linting Pull Request #149: Pull request #55 synchronize by mark-koch
November 6, 2023 10:30 1m 48s chore/ruff
chore/ruff
November 6, 2023 10:30 1m 48s
chore: Add Ruff linting Pull Request #148: Pull request #55 synchronize by mark-koch
November 6, 2023 10:08 1m 18s chore/ruff
chore/ruff
November 6, 2023 10:08 1m 18s
fix: Use panicking division ops Pull Request #147: Pull request #56 synchronize by mark-koch
November 6, 2023 10:02 1m 26s fix/div-ops
fix/div-ops
November 6, 2023 10:02 1m 26s
fix: Use panicking division ops Pull Request #146: Pull request #56 opened by mark-koch
November 6, 2023 09:47 1m 23s fix/div-ops
fix/div-ops
November 6, 2023 09:47 1m 23s
chore: Add Ruff linting Pull Request #145: Pull request #55 synchronize by mark-koch
November 6, 2023 09:33 1m 41s chore/ruff
chore/ruff
November 6, 2023 09:33 1m 41s
chore: Add Ruff linting Pull Request #144: Pull request #55 opened by mark-koch
November 6, 2023 09:23 1m 49s chore/ruff
chore/ruff
November 6, 2023 09:23 1m 49s
Add ruff linting/formatting to CI New issue #10: Issue #54 opened by ss2165
November 3, 2023 17:41 23s
November 3, 2023 17:41 23s
feat:guppy -> pecos execution script Pull Request #143: Pull request #53 opened by ss2165
November 3, 2023 17:40 1m 31s feat/tket2ops
feat/tket2ops
November 3, 2023 17:40 1m 31s
ci: analyze test coverage Pull Request #142: Commit 20225a2 pushed by aborgna-q
November 1, 2023 10:41 3m 27s main
main
November 1, 2023 10:41 3m 27s
chore: Bump to latest Hugr version Pull Request #141: Pull request #52 synchronize by mark-koch
October 26, 2023 09:18 1m 20s chore/bump-hugr
chore/bump-hugr
October 26, 2023 09:18 1m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.