Skip to content

Actions: cchalmers/circuit-notation

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
45 workflow runs
45 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use :>! instead of :> for pattern matching Vecs (#21) CI #94: Commit 19b386c pushed by martijnbastiaan
February 19, 2024 15:01 3m 1s master
master
February 19, 2024 15:01 3m 1s
Use :>! instead of :> for pattern matching Vecs CI #93: Pull request #21 synchronize by martijnbastiaan
February 19, 2024 14:59 2m 55s prevent-spurious-pattern-warnings
prevent-spurious-pattern-warnings
February 19, 2024 14:59 2m 55s
Use :>! instead of :> for pattern matching Vecs CI #92: Pull request #21 opened by martijnbastiaan
February 15, 2024 12:49 2m 57s prevent-spurious-pattern-warnings
prevent-spurious-pattern-warnings
February 15, 2024 12:49 2m 57s
Export Direction(..) from CircuitNotation (#20) CI #91: Commit 565d481 pushed by martijnbastiaan
February 14, 2024 11:19 3m 15s master
master
February 14, 2024 11:19 3m 15s
Export Direction(..) from CircuitNotation CI #90: Pull request #20 opened by martijnbastiaan
February 14, 2024 10:16 2m 55s export-direction
export-direction
February 14, 2024 10:16 2m 55s
Add ghc-9.6 support (#19) CI #89: Commit 5f71300 pushed by martijnbastiaan
February 13, 2024 14:04 5m 57s master
master
February 13, 2024 14:04 5m 57s
Add ghc-9.6 support CI #88: Pull request #19 opened by kleinreact
February 13, 2024 13:36 5m 49s kleinreact:master
kleinreact:master
February 13, 2024 13:36 5m 49s
Add ghc-9.4 support (#18) CI #87: Commit abc42b9 pushed by martijnbastiaan
February 13, 2024 08:52 7m 50s master
master
February 13, 2024 08:52 7m 50s
Add ghc-9.4 support CI #86: Pull request #18 synchronize by kleinreact
February 13, 2024 08:40 7m 34s kleinreact:master
kleinreact:master
February 13, 2024 08:40 7m 34s
Merge pull request #16 from jonfowler/tagged-impl CI #85: Commit 97fc14f pushed by jonfowler
December 1, 2023 17:59 2m 23s master
master
December 1, 2023 17:59 2m 23s
Merge pull request #14 from jonfowler/tagged-impl CI #84: Commit 0702e8e pushed by jonfowler
December 1, 2023 15:24 2m 33s master
master
December 1, 2023 15:24 2m 33s
Merge pull request #15 from cchalmers/ghc-9.2-chris CI #83: Commit 4cbbbbb pushed by cchalmers
December 1, 2023 11:27 7m 28s master
master
December 1, 2023 11:27 7m 28s
Tagged implementation CI #82: Pull request #14 synchronize by jonfowler
November 30, 2023 15:53 1m 55s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 15:53 1m 55s
Tagged implementation CI #81: Pull request #14 synchronize by jonfowler
November 30, 2023 14:58 1m 58s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 14:58 1m 58s
Tagged implementation CI #80: Pull request #14 synchronize by jonfowler
November 30, 2023 12:06 2m 14s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 12:06 2m 14s
Tagged implementation CI #79: Pull request #14 synchronize by jonfowler
November 30, 2023 11:44 2m 1s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 11:44 2m 1s
Tagged implementation CI #78: Pull request #14 synchronize by jonfowler
November 30, 2023 11:36 1m 47s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 11:36 1m 47s
Tagged implementation CI #77: Pull request #14 synchronize by jonfowler
November 30, 2023 11:16 2m 3s jonfowler:tagged-impl
jonfowler:tagged-impl
November 30, 2023 11:16 2m 3s
Add ghc-9.2 support CI #76: Commit 3732d4c pushed by cchalmers
November 30, 2023 10:22 4m 25s ghc-9.2-chris
ghc-9.2-chris
November 30, 2023 10:22 4m 25s
Add ghc-9.2 support CI #75: Commit 2b7fcff pushed by cchalmers
November 29, 2023 23:00 7m 24s ghc-9.2-chris
ghc-9.2-chris
November 29, 2023 23:00 7m 24s
Add ghc-9.2 support CI #74: Commit b2fe6cf pushed by cchalmers
November 29, 2023 22:47 7m 5s ghc-9.2-chris
ghc-9.2-chris
November 29, 2023 22:47 7m 5s
Tagged implementation CI #73: Pull request #14 opened by jonfowler
November 29, 2023 15:54 2m 10s jonfowler:tagged-impl
jonfowler:tagged-impl
November 29, 2023 15:54 2m 10s
Add ghc-9.2 support CI #72: Commit 473c239 pushed by cchalmers
November 29, 2023 13:28 7m 55s ghc-9.2-chris
ghc-9.2-chris
November 29, 2023 13:28 7m 55s
Merge pull request #13 from jonfowler/replicatable CI #71: Commit 17526d5 pushed by jonfowler
November 29, 2023 12:31 7m 24s master
master
November 29, 2023 12:31 7m 24s
allow multi-master with trivial Bwd direction e.g. Signal CI #70: Pull request #13 synchronize by jonfowler
November 29, 2023 12:29 2m 0s jonfowler:replicatable
jonfowler:replicatable
November 29, 2023 12:29 2m 0s