Skip to content

Actions: coproduct-opensource/nucleus

Actions

Coverage Matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage-matrix.yml
2,500+ workflow runs
2,500+ 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
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems (#… Coverage Matrix #2668: Commit 75101a7 pushed by github-merge-queue bot
10m 1s main
main
10m 1s
Coverage Matrix Coverage Matrix #2667: Merge group checks requested
9m 36s
9m 36s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Coverage Matrix #2666: Pull request #1597 opened by brandon-coproduct
10m 1s research/augmented-theorems
research/augmented-theorems
10m 1s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Coverage Matrix #2665: Commit b6e9761 pushed by github-merge-queue bot
3m 16s main
main
3m 16s
Coverage Matrix Coverage Matrix #2664: Merge group checks requested
3m 12s
3m 12s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry Coverage Matrix #2663: Pull request #1588 synchronize by brandon-coproduct
3m 6s research/braid-analysis
research/braid-analysis
3m 6s
feat(lean): RealWorldActions — Z/2 trivial on all diamond-shaped IFC … Coverage Matrix #2662: Commit 5224ac1 pushed by github-merge-queue bot
3m 12s main
main
3m 12s
Coverage Matrix Coverage Matrix #2661: Merge group checks requested
3m 22s
3m 22s
feat(lean): RealWorldActions — Z/2 trivial on all diamond-shaped IFC posets Coverage Matrix #2660: Pull request #1596 opened by brandon-coproduct
10m 9s research/real-world-v2
research/real-world-v2
10m 9s
feat(lean): AugmentedBorromeanActions — falsification reveals non-sem… Coverage Matrix #2659: Commit d7585b0 pushed by github-merge-queue bot
10m 18s main
main
10m 18s
feat(lean): RealWorldActions — Z/2 trivial on all diamond-shaped IFC posets Coverage Matrix #2658: Pull request #1595 opened by brandon-coproduct
10m 20s research/real-world-actions
research/real-world-actions
10m 20s
Coverage Matrix Coverage Matrix #2657: Merge group checks requested
10m 5s
10m 5s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Coverage Matrix #2656: Pull request #1594 synchronize by brandon-coproduct
3m 8s research/falsification-tests
research/falsification-tests
3m 8s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Coverage Matrix #2655: Pull request #1594 synchronize by brandon-coproduct
3m 14s research/falsification-tests
research/falsification-tests
3m 14s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Coverage Matrix #2654: Pull request #1594 synchronize by brandon-coproduct
9m 52s research/falsification-tests
research/falsification-tests
9m 52s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Coverage Matrix #2653: Pull request #1594 opened by brandon-coproduct
10m 15s research/falsification-tests
research/falsification-tests
10m 15s
feat(lean): AugmentedBorromeanActions — H¹/H² descent + S₄ discrimina… Coverage Matrix #2652: Commit 83dffd0 pushed by github-merge-queue bot
3m 23s main
main
3m 23s
Coverage Matrix Coverage Matrix #2651: Merge group checks requested
3m 17s
3m 17s
feat(lean): AugmentedBorromeanActions — H¹/H² descent + S₄ discriminator Coverage Matrix #2650: Pull request #1593 opened by brandon-coproduct
3m 7s research/h2-descent
research/h2-descent
3m 7s
feat(lean): AugmentedBorromeanActions — explicit S₃ permutation matri… Coverage Matrix #2649: Commit ddaa132 pushed by github-merge-queue bot
9m 47s main
main
9m 47s
Coverage Matrix Coverage Matrix #2648: Merge group checks requested
10m 31s
10m 31s
feat(lean): AugmentedBorromeanActions — explicit S₃ permutation matrices on C¹ Coverage Matrix #2647: Pull request #1592 synchronize by brandon-coproduct
10m 11s research/augmented-actions
research/augmented-actions
10m 11s
feat(lean): AugmentedBorromeanActions — explicit S₃ permutation matrices on C¹ Coverage Matrix #2646: Pull request #1592 opened by brandon-coproduct
3m 12s research/augmented-actions
research/augmented-actions
3m 12s
feat(lean): AugmentedBorromean — H³/Euler + S₄ drop-two probe (#1591) Coverage Matrix #2645: Commit c7bf37f pushed by github-merge-queue bot
3m 10s main
main
3m 10s
Coverage Matrix Coverage Matrix #2644: Merge group checks requested
3m 13s
3m 13s