Skip to content

Actions: Adam-Vandervorst/PathMap

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
91 workflow runs
91 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adding sharing validator tool CI #91: Pull request #143 synchronize by imlvts
2m 50s sharing_validator
sharing_validator
2m 50s
Merge pull request #141 from Adam-Vandervorst/bugfix/prune_fixes CI #90: Commit ec818cf pushed by luketpeterson
59s master
master
59s
Merge pull request #142 from Adam-Vandervorst/bugfix/join_into_status… CI #89: Commit c4bf885 pushed by luketpeterson
2m 4s master
master
2m 4s
Adding sharing validator tool CI #88: Pull request #143 opened by luketpeterson
1m 53s sharing_validator
sharing_validator
1m 53s
Merge pull request #140 from Adam-Vandervorst/bugfix/to_next_k_path_s… CI #87: Commit 6bd7d27 pushed by luketpeterson
1m 59s master
master
1m 59s
Fix for join_into status result when root value is changed CI #86: Pull request #142 opened by luketpeterson
7m 20s bugfix/join_into_status_for_root_val
bugfix/join_into_status_for_root_val
7m 20s
Fixes for a bunch of prune issues CI #85: Pull request #141 synchronize by imlvts
13s bugfix/prune_fixes
bugfix/prune_fixes
13s
Fixes for a bunch of prune issues CI #84: Pull request #141 opened by luketpeterson
4m 40s bugfix/prune_fixes
bugfix/prune_fixes
4m 40s
Implementing tighter spec for to_next_k_path on PrefixZipper and EmptyZipper. CI #83: Pull request #140 opened by luketpeterson
8m 21s bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper
bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper
8m 21s
Merge pull request #135 from imlvts/fix/product-zipper-factor-bookkee… CI #82: Commit e4b167c pushed by luketpeterson
3m 43s master
master
3m 43s
Fix: ProductZipper crashes CI #81: Pull request #135 synchronize by luketpeterson
6m 15s imlvts:fix/product-zipper-factor-bookkeeping-root
imlvts:fix/product-zipper-factor-bookkeeping-root
6m 15s
Fix: ProductZipper crashes CI #80: Pull request #135 synchronize by luketpeterson
9m 3s imlvts:fix/product-zipper-factor-bookkeeping-root
imlvts:fix/product-zipper-factor-bookkeeping-root
9m 3s
Fix: ProductZipper crashes CI #79: Pull request #135 synchronize by luketpeterson
9m 24s imlvts:fix/product-zipper-factor-bookkeeping-root
imlvts:fix/product-zipper-factor-bookkeeping-root
9m 24s
Fix: ProductZipper crashes CI #78: Pull request #135 synchronize by luketpeterson
9m 1s imlvts:fix/product-zipper-factor-bookkeeping-root
imlvts:fix/product-zipper-factor-bookkeeping-root
9m 1s
Merge pull request #134 from imlvts/fix/default-k-path-walk-at-leaf CI #77: Commit 8436387 pushed by luketpeterson
1m 26s master
master
1m 26s
Fix the default k-path walk looping forever at a leaf CI #76: Pull request #134 synchronize by luketpeterson
8m 13s imlvts:fix/default-k-path-walk-at-leaf
imlvts:fix/default-k-path-walk-at-leaf
8m 13s
Fix the default k-path walk looping forever at a leaf CI #75: Pull request #134 synchronize by luketpeterson
9m 7s imlvts:fix/default-k-path-walk-at-leaf
imlvts:fix/default-k-path-walk-at-leaf
9m 7s
Merge pull request #133 from imlvts/fix/zipper-head-exclusive-over-em… CI #74: Commit 3038ac0 pushed by luketpeterson
1m 29s master
master
1m 29s
Fix: ZipperHead fixes CI #73: Pull request #133 synchronize by luketpeterson
7m 14s imlvts:fix/zipper-head-exclusive-over-empty-node
imlvts:fix/zipper-head-exclusive-over-empty-node
7m 14s
Merge pull request #132 from imlvts/fix/owned-zipper-val-with-witness CI #72: Commit da9c832 pushed by luketpeterson
1m 58s master
master
1m 58s
Merge pull request #131 from imlvts/fix/graft-child-maps-long-root CI #71: Commit deb2cff pushed by luketpeterson
1m 28s master
master
1m 28s
Fix graft_child_maps below a long root path CI #70: Pull request #131 synchronize by luketpeterson
9m 9s imlvts:fix/graft-child-maps-long-root
imlvts:fix/graft-child-maps-long-root
9m 9s
Fix graft_child_maps below a long root path CI #69: Pull request #131 synchronize by luketpeterson
7m 23s imlvts:fix/graft-child-maps-long-root
imlvts:fix/graft-child-maps-long-root
7m 23s
Merge pull request #128 from imlvts/fix/head-read-zipper-trie-ref CI #68: Commit 3d91788 pushed by luketpeterson
6m 23s master
master
6m 23s
Fix get_trie_ref on a read zipper that owns its root CI #67: Pull request #128 synchronize by luketpeterson
7m 25s imlvts:fix/head-read-zipper-trie-ref
imlvts:fix/head-read-zipper-trie-ref
7m 25s