Workflow runs · Adam-Vandervorst/PathMap · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

91 workflow runs

91 workflow runs

Fixing warnings in test CI #66: Commit 59094d4 pushed by luketpeterson

1m 58s master

master

1m 58s

Merge pull request #127 from imlvts/fix/zipper-head-borrowed-path CI #65: Commit eb4f2fa pushed by luketpeterson

1m 28s master

master

1m 28s

Fix zipper_head on a write zipper with a borrowed path CI #64: Pull request #127 synchronize by luketpeterson

8m 19s imlvts:fix/zipper-head-borrowed-path

imlvts:fix/zipper-head-borrowed-path

8m 19s

Fix zipper_head on a write zipper with a borrowed path CI #63: Pull request #127 synchronize by luketpeterson

10m 27s imlvts:fix/zipper-head-borrowed-path

imlvts:fix/zipper-head-borrowed-path

10m 27s

Fix/product zipper shared node id by factor CI #62: Pull request #136 opened by imlvts

11m 59s imlvts:fix/product-zipper-shared-node-id-by-factor

imlvts:fix/product-zipper-shared-node-id-by-factor

11m 59s

Fix: ProductZipper crashes CI #61: Pull request #135 synchronize by imlvts

7m 20s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

7m 20s

Fix: ProductZipper crashes CI #60: Pull request #135 synchronize by imlvts

7m 31s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

7m 31s

Fix: ProductZipper crashes CI #59: Pull request #135 synchronize by imlvts

8m 50s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

8m 50s

Fix: ProductZipper crashes CI #58: Pull request #135 synchronize by imlvts

8m 30s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

8m 30s

Merge pull request #126 from imlvts/fix/zipper-head-exclusive-at-head… CI #57: Commit b30468d pushed by luketpeterson

2m 0s master

master

2m 0s

Fix: ProductZipper crashes CI #56: Pull request #135 synchronize by imlvts

23m 13s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

23m 13s

Fix: ProductZipper crashes CI #55: Pull request #135 synchronize by imlvts

1m 48s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

1m 48s

Fix: ProductZipper crashes CI #54: Pull request #135 opened by imlvts

2m 38s imlvts:fix/product-zipper-factor-bookkeeping-root

imlvts:fix/product-zipper-factor-bookkeeping-root

2m 38s

Fix the default k-path walk looping forever at a leaf CI #53: Pull request #134 opened by imlvts

41m 59s imlvts:fix/default-k-path-walk-at-leaf

imlvts:fix/default-k-path-walk-at-leaf

41m 59s

Fix: ZipperHead fixes CI #52: Pull request #133 opened by imlvts

51m 18s imlvts:fix/zipper-head-exclusive-over-empty-node

imlvts:fix/zipper-head-exclusive-over-empty-node

51m 18s

Fix get_val_with_witness at an owned zipper's root CI #51: Pull request #132 opened by imlvts

7m 23s imlvts:fix/owned-zipper-val-with-witness

imlvts:fix/owned-zipper-val-with-witness

7m 23s

Fix graft_child_maps below a long root path CI #50: Pull request #131 opened by imlvts

27m 25s imlvts:fix/graft-child-maps-long-root

imlvts:fix/graft-child-maps-long-root

27m 25s

Fix ProductZipper::val_count outside the last factor CI #49: Pull request #130 opened by imlvts

6m 18s imlvts:fix/product-zipper-val-count

imlvts:fix/product-zipper-val-count

6m 18s

Fix ProductZipper is_shared at a factor root CI #48: Pull request #129 opened by imlvts

37m 23s imlvts:fix/product-zipper-is-shared-factor-root

imlvts:fix/product-zipper-is-shared-factor-root

37m 23s

Fix get_trie_ref on a read zipper that owns its root CI #47: Pull request #128 opened by imlvts

26m 0s imlvts:fix/head-read-zipper-trie-ref

imlvts:fix/head-read-zipper-trie-ref

26m 0s

Fix zipper_head on a write zipper with a borrowed path CI #46: Pull request #127 opened by imlvts

12m 46s imlvts:fix/zipper-head-borrowed-path

imlvts:fix/zipper-head-borrowed-path

12m 46s

Fix ZipperHead exclusive path at the head's own root CI #45: Pull request #126 opened by imlvts

17m 16s imlvts:fix/zipper-head-exclusive-at-head-root

imlvts:fix/zipper-head-exclusive-at-head-root

17m 16s

Instead of cloning a CellByteNode, just down-converting it, which is … CI #44: Commit 7293837 pushed by luketpeterson

2m 1s master

master

2m 1s

Fix LineListNode::pjoin_dyn casting a CellByteNode as dense CI #43: Pull request #123 opened by imlvts

7m 23s imlvts:fix/list-pjoin-cell-node

imlvts:fix/list-pjoin-cell-node

7m 23s

Merge pull request #116 from imlvts/fix/join-into-holds-source CI #42: Commit 333bf53 pushed by luketpeterson

1m 29s master

master

1m 29s