Skip to content

Actions: coproduct-opensource/nucleus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Coverage Matrix Coverage Matrix #2667: Merge group checks requested
9m 36s
9m 36s
Lean 4 Kernel Proof Lean 4 Kernel Proof #1027: Merge group checks requested
6m 22s
6m 22s
Security Audit Security Audit #2115: Merge group checks requested
2m 37s
2m 37s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Line Ratchet #1773: Pull request #1597 opened by brandon-coproduct
10s research/augmented-theorems
research/augmented-theorems
10s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Config Scan #2567: Pull request #1597 opened by brandon-coproduct
1m 46s research/augmented-theorems
research/augmented-theorems
1m 46s
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): AugmentedBorromeanTheorems — formal S₃ action theorems Dependabot auto-merge #337: Pull request #1597 opened by brandon-coproduct
1s research/augmented-theorems
research/augmented-theorems
1s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Cargo Deny #2120: Pull request #1597 opened by brandon-coproduct
1m 16s research/augmented-theorems
research/augmented-theorems
1m 16s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems CI #2996: Pull request #1597 opened by brandon-coproduct
7m 29s research/augmented-theorems
research/augmented-theorems
7m 29s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Lean 4 Kernel Proof #1026: Pull request #1597 opened by brandon-coproduct
2m 1s research/augmented-theorems
research/augmented-theorems
2m 1s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems CodeQL #1885: Pull request #1597 opened by brandon-coproduct
53s research/augmented-theorems
research/augmented-theorems
53s
feat(lean): AugmentedBorromeanTheorems — formal S₃ action theorems Aeneas Verification #827: Pull request #1597 opened by brandon-coproduct
8m 11s research/augmented-theorems
research/augmented-theorems
8m 11s
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
Kani BMC Kani BMC #520: Scheduled
1h 0m 45s main
main
1h 0m 45s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Lean 4 Kernel Proof #1025: Commit b6e9761 pushed by github-merge-queue Bot
2m 17s main
main
2m 17s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… CI #2995: Commit b6e9761 pushed by github-merge-queue Bot
3m 15s main
main
3m 15s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… CodeQL #1884: Commit b6e9761 pushed by github-merge-queue Bot
52s main
main
52s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Line Ratchet #1772: Commit b6e9761 pushed by github-merge-queue Bot
10s main
main
10s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Scorecard #954: Commit b6e9761 pushed by github-merge-queue Bot
37s main
main
37s
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
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Aeneas Verification #826: Commit b6e9761 pushed by github-merge-queue Bot
8m 31s main
main
8m 31s
feat(lean): BraidAnalysis — structural explanation of 36/44 asymmetry… Config Scan #2566: Commit b6e9761 pushed by github-merge-queue Bot
58s main
main
58s
Coverage Matrix Coverage Matrix #2664: Merge group checks requested
3m 12s
3m 12s
Security Audit Security Audit #2113: Merge group checks requested
2m 41s
2m 41s
CI CI #2994: Merge group checks requested
3m 10s
3m 10s