Skip to content

Actions: Adam-Vandervorst/PathMap

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
202 workflow runs
202 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
Re-descend the node stack after prune_path restructures the focus's node CI #202: Pull request #184 opened by imlvts
Queued imlvts:fix/prune-path-redescend
imlvts:fix/prune-path-redescend
Queued
Make take_map and restricting ignore empty materialised nodes CI #201: Pull request #183 opened by imlvts
Queued imlvts:fix/take-map-restricting-empty-focus
imlvts:fix/take-map-restricting-empty-focus
Queued
Fix graft_child_maps and graft_masked_branches grafting nothing CI #200: Pull request #182 opened by imlvts
Queued imlvts:fix/graft-nothing
imlvts:fix/graft-nothing
Queued
Make meet and join value bias independent of node layout CI #199: Pull request #181 opened by imlvts
Queued imlvts:fix/join-meet-value-bias-by-layout
imlvts:fix/join-meet-value-bias-by-layout
Queued
Meet: prune leaves no dangling path below the focus; status follows values CI #198: Pull request #180 opened by imlvts
Queued imlvts:fix/meet-prune-no-dangling
imlvts:fix/meet-prune-no-dangling
Queued
Fix meet_into keeping its own focus value when the meet is the source's CI #197: Pull request #179 opened by imlvts
Queued imlvts:fix/meet-into-focus-value
imlvts:fix/meet-into-focus-value
Queued
Fix a join reporting an empty result for a non-empty byte node CI #196: Pull request #178 opened by imlvts
35m 42s imlvts:fix/join-byte-node-empty-status
imlvts:fix/join-byte-node-empty-status
35m 42s
Fix/product zipper shared node id by factor CI #195: Pull request #136 synchronize by luketpeterson
14m 12s imlvts:fix/product-zipper-shared-node-id-by-factor
imlvts:fix/product-zipper-shared-node-id-by-factor
14m 12s
Adding sharing validator tool CI #194: Pull request #143 synchronize by luketpeterson
1h 17m 35s sharing_validator
sharing_validator
1h 17m 35s
Adding sharing validator tool CI #193: Pull request #143 synchronize by luketpeterson
14m 36s sharing_validator
sharing_validator
14m 36s
Adding sharing validator tool CI #192: Pull request #143 synchronize by luketpeterson
1m 29s sharing_validator
sharing_validator
1m 29s
Merge pull request #176 from adamv-symbolica/fix-set-val-at-below-focus CI #191: Commit b384d1b pushed by luketpeterson
5m 0s master
master
5m 0s
Fix set_val_at #175 CI #190: Pull request #176 synchronize by luketpeterson
23s adamv-symbolica:fix-set-val-at-below-focus
adamv-symbolica:fix-set-val-at-below-focus
23s
Fix join_into and subtract self id checks CI #189: Pull request #177 opened by adamv-symbolica
48m 31s adamv-symbolica:claude/node-ops-ptr-eq-shortcuts-1443d5
adamv-symbolica:claude/node-ops-ptr-eq-shortcuts-1443d5
48m 31s
Fix set_val_at #175 CI #188: Pull request #176 opened by adamv-symbolica
45m 49s adamv-symbolica:fix-set-val-at-below-focus
adamv-symbolica:fix-set-val-at-below-focus
45m 49s
Add node-based catamorphism POC CI #187: Pull request #31 synchronize by luketpeterson
10h 22m 36s osplit-valcount
osplit-valcount
10h 22m 36s
Add node-based catamorphism POC CI #186: Pull request #31 synchronize by luketpeterson
22m 29s osplit-valcount
osplit-valcount
22m 29s
Add node-based catamorphism POC CI #185: Pull request #31 synchronize by luketpeterson
4m 33s osplit-valcount
osplit-valcount
4m 33s
Add node-based catamorphism POC CI #184: Pull request #31 synchronize by luketpeterson
9m 45s osplit-valcount
osplit-valcount
9m 45s
Fixing a braindead place where a mut ptr was used unnecessarily, caug… CI #183: Commit 9598a1a pushed by luketpeterson
5m 55s master
master
5m 55s
Add node-based catamorphism POC CI #182: Pull request #31 synchronize by luketpeterson
6m 28s osplit-valcount
osplit-valcount
6m 28s
Merge pull request #172 from adamv-symbolica/restrict-lhs-mask CI #181: Commit 2442950 pushed by luketpeterson
5m 52s master
master
5m 52s
Add node-based catamorphism POC CI #180: Pull request #31 synchronize by luketpeterson
6m 29s osplit-valcount
osplit-valcount
6m 29s
Algebraic op fuzzer CI #179: Pull request #156 synchronize by imlvts
17m 44s imlvts:alg-fuzzer
imlvts:alg-fuzzer
17m 44s
Algebraic op fuzzer CI #178: Pull request #156 synchronize by imlvts
8m 40s imlvts:alg-fuzzer
imlvts:alg-fuzzer
8m 40s