Skip to content

Actions: CQCL/guppylang

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: Bump to latest Hugr version Pull Request #140: Pull request #52 synchronize by mark-koch
October 26, 2023 09:14 1m 22s chore/bump-hugr
chore/bump-hugr
October 26, 2023 09:14 1m 22s
chore: Bump to latest Hugr version Pull Request #139: Pull request #52 opened by mark-koch
October 25, 2023 09:06 1m 55s chore/bump-hugr
chore/bump-hugr
October 25, 2023 09:06 1m 55s