Skip to content

Actions: discopy/discopy

Actions

build

Actions

Loading...

Show workflow options

Create status badge

422 workflow runs
422 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Build docs during CI build #986: Pull request #239 opened by toumix
November 14, 2023 16:23 4m 13s Build-docs-during-CI
Build-docs-during-CI
November 14, 2023 16:23 4m 13s
feat: Define Discard on Markov categories and return Discard(x)… build #985: Commit 34e91b7 pushed by toumix
November 14, 2023 15:29 4m 30s main
main
November 14, 2023 15:29 4m 30s
feat: Define Discard on Markov categories and return Discard(x) when making Copy(x, 0) build #984: Pull request #235 synchronize by boldar99
November 13, 2023 15:20 4m 16s markov-discard
markov-discard
November 13, 2023 15:20 4m 16s
test(ACT paper): Add examples from ACT 2023 paper as a notebook build #983: Pull request #237 opened by boldar99
November 13, 2023 14:54 5m 22s act-examples
act-examples
November 13, 2023 14:54 5m 22s
feat: Define Discard on Markov categories and return Discard(x) when making Copy(x, 0) build #982: Pull request #235 opened by boldar99
November 13, 2023 14:25 6m 23s markov-discard
markov-discard
November 13, 2023 14:25 6m 23s
Frames with Functors build #981: Pull request #233 synchronize by y-richie-y
November 10, 2023 11:38 23s frames
frames
November 10, 2023 11:38 23s
Frames with Functors build #980: Pull request #233 synchronize by y-richie-y
November 9, 2023 17:49 2m 49s frames
frames
November 9, 2023 17:49 2m 49s
Frames with Functors build #979: Pull request #233 synchronize by y-richie-y
November 9, 2023 17:45 24s frames
frames
November 9, 2023 17:45 24s
Feedback categories build #978: Pull request #232 synchronize by toumix
November 7, 2023 16:25 3m 13s feedback
feedback
November 7, 2023 16:25 3m 13s
Feedback categories build #977: Pull request #232 synchronize by toumix
November 7, 2023 14:39 3m 1s feedback
feedback
November 7, 2023 14:39 3m 1s
Feedback categories build #976: Pull request #232 synchronize by toumix
November 6, 2023 09:55 4m 9s feedback
feedback
November 6, 2023 09:55 4m 9s
Feedback categories build #975: Pull request #232 synchronize by toumix
November 3, 2023 17:27 4m 21s feedback
feedback
November 3, 2023 17:27 4m 21s
Feedback categories build #974: Pull request #232 opened by toumix
November 3, 2023 16:58 3m 40s feedback
feedback
November 3, 2023 16:58 3m 40s
Monoidal signatures build #973: Pull request #231 synchronize by colltoaction
October 29, 2023 15:02 5m 56s colltoaction:monsig
colltoaction:monsig
October 29, 2023 15:02 5m 56s
Monoidal signatures build #972: Pull request #231 opened by colltoaction
October 28, 2023 14:04 5m 17s colltoaction:monsig
colltoaction:monsig
October 28, 2023 14:04 5m 17s
Add frame drawing (#230) build #971: Commit 96be0d3 pushed by y-richie-y
October 27, 2023 17:15 26s legacy
legacy
October 27, 2023 17:15 26s
Backward compatible pickles build #970: Pull request #205 synchronize by boldar99
October 19, 2023 15:19 4m 57s backward-compatible-pickles
backward-compatible-pickles
October 19, 2023 15:19 4m 57s
Fix ribbon rotation (#228) build #969: Commit d52d701 pushed by toumix
October 19, 2023 14:39 4m 58s main
main
October 19, 2023 14:39 4m 58s
Improve hypergraph typing (#224) build #968: Commit ca3b635 pushed by toumix
October 19, 2023 14:39 6m 34s main
main
October 19, 2023 14:39 6m 34s
Improve hypergraph typing build #967: Pull request #224 synchronize by toumix
October 19, 2023 14:22 5m 52s hypergraph-typing
hypergraph-typing
October 19, 2023 14:22 5m 52s
Improve hypergraph typing build #966: Pull request #224 synchronize by toumix
October 19, 2023 13:48 4m 46s hypergraph-typing
hypergraph-typing
October 19, 2023 13:48 4m 46s
Fix ribbon rotation build #965: Pull request #228 synchronize by boldar99
October 18, 2023 13:09 6m 11s add-sums-and-PRO
add-sums-and-PRO
October 18, 2023 13:09 6m 11s
Fix ribbon rotation build #964: Pull request #228 synchronize by boldar99
October 18, 2023 13:01 5m 49s add-sums-and-PRO
add-sums-and-PRO
October 18, 2023 13:01 5m 49s
Fix ribbon rotation build #963: Pull request #228 opened by toumix
October 13, 2023 13:19 6m 5s add-sums-and-PRO
add-sums-and-PRO
October 13, 2023 13:19 6m 5s
Improve hypergraph typing build #962: Pull request #224 synchronize by toumix
October 6, 2023 19:57 4m 37s hypergraph-typing
hypergraph-typing
October 6, 2023 19:57 4m 37s