Skip to content

Actions: coproduct-opensource/nucleus

Actions

Security Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
2,115 workflow runs
2,115 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
Security Audit Security Audit #2115: Merge group checks requested
2m 37s
2m 37s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Security Audit #2114: Pull request #1597 opened by brandon-coproduct
2m 7s research/augmented-theorems
research/augmented-theorems
2m 7s
Security Audit Security Audit #2113: Merge group checks requested
2m 41s
2m 41s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry Security Audit #2112: Pull request #1588 synchronize by brandon-coproduct
2m 38s research/braid-analysis
research/braid-analysis
2m 38s
Security Audit Security Audit #2111: Merge group checks requested
2m 34s
2m 34s
feat(lean): RealWorldActions — Z/2 trivial on all diamond-shaped IFC posets Security Audit #2110: Pull request #1596 opened by brandon-coproduct
2m 36s research/real-world-v2
research/real-world-v2
2m 36s
feat(lean): RealWorldActions — Z/2 trivial on all diamond-shaped IFC posets Security Audit #2109: Pull request #1595 opened by brandon-coproduct
2m 43s research/real-world-actions
research/real-world-actions
2m 43s
Security Audit Security Audit #2108: Merge group checks requested
2m 35s
2m 35s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Security Audit #2107: Pull request #1594 synchronize by brandon-coproduct
12s research/falsification-tests
research/falsification-tests
12s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Security Audit #2106: Pull request #1594 synchronize by brandon-coproduct
2m 39s research/falsification-tests
research/falsification-tests
2m 39s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Security Audit #2105: Pull request #1594 synchronize by brandon-coproduct
17s research/falsification-tests
research/falsification-tests
17s
feat(lean): AugmentedBorromeanActions — falsification reveals non-semisimple H¹ structure Security Audit #2104: Pull request #1594 opened by brandon-coproduct
2m 45s research/falsification-tests
research/falsification-tests
2m 45s
Security Audit Security Audit #2103: Merge group checks requested
2m 44s
2m 44s
feat(lean): AugmentedBorromeanActions — H¹/H² descent + S₄ discriminator Security Audit #2102: Pull request #1593 opened by brandon-coproduct
2m 39s research/h2-descent
research/h2-descent
2m 39s
Security Audit Security Audit #2101: Merge group checks requested
2m 47s
2m 47s
feat(lean): AugmentedBorromeanActions — explicit S₃ permutation matrices on C¹ Security Audit #2100: Pull request #1592 synchronize by brandon-coproduct
14s research/augmented-actions
research/augmented-actions
14s
feat(lean): AugmentedBorromeanActions — explicit S₃ permutation matrices on C¹ Security Audit #2099: Pull request #1592 opened by brandon-coproduct
2m 43s research/augmented-actions
research/augmented-actions
2m 43s
Security Audit Security Audit #2098: Merge group checks requested
2m 31s
2m 31s
feat(lean): AugmentedBorromean — H³/Euler + S₄ drop-two probe Security Audit #2097: Pull request #1591 synchronize by brandon-coproduct
2m 31s research/augmented-h3-euler
research/augmented-h3-euler
2m 31s
Security Audit Security Audit #2096: Merge group checks requested
2m 32s
2m 32s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry Security Audit #2095: Pull request #1588 synchronize by brandon-coproduct
2m 53s research/braid-analysis
research/braid-analysis
2m 53s
feat(lean): BraidEmpirical — naive S₃ symmetry FALSIFIED empirically Security Audit #2094: Pull request #1587 synchronize by brandon-coproduct
2m 32s research/braid-empirical
research/braid-empirical
2m 32s
Security Audit Security Audit #2093: Merge group checks requested
2m 40s
2m 40s
Security Audit Security Audit #2092: Merge group checks requested
2m 46s
2m 46s
feat(lean): AugmentedBorromean — add obs_ac, empirically test S₃ restoration Security Audit #2091: Pull request #1590 opened by brandon-coproduct
2m 55s research/augmented-borromean
research/augmented-borromean
2m 55s