Skip to content

Actions: DavidFox998/bost-connes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 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
MANIFEST LOCKED MANIFEST LOCKED #75: Scheduled
7s main
main
7s
Add Opera Numerorum ensemble link to README MANIFEST LOCKED #74: Commit 29f47e8 pushed by DavidFox998
7s main
main
7s
MANIFEST LOCKED MANIFEST LOCKED #73: Scheduled
8s main
main
8s
MANIFEST LOCKED MANIFEST LOCKED #72: Scheduled
8s main
main
8s
docs: add .zenodo.json — Opera Numerorum Zenodo metadata MANIFEST LOCKED #71: Commit ec2be99 pushed by DavidFox998
7s main
main
7s
docs: add Opera Numerorum ensemble sha256 anchor (hub: rh-p5-bridge-1… MANIFEST LOCKED #70: Commit 7c755f1 pushed by DavidFox998
10s main
main
10s
docs: standardize Opera Numerorum map — consistent cross-repo links, … MANIFEST LOCKED #69: Commit c45f426 pushed by DavidFox998
10s main
main
10s
MANIFEST LOCKED MANIFEST LOCKED #68: Scheduled
6s main
main
6s
Create OPERA_LINK.json with initial data structure MANIFEST LOCKED #67: Commit c795cfa pushed by DavidFox998
7s main
main
7s
Enhance README with route descriptions and links MANIFEST LOCKED #66: Commit 6928f03 pushed by DavidFox998
6s main
main
6s
MANIFEST LOCKED MANIFEST LOCKED #65: Scheduled
7s main
main
7s
Fix typo in README regarding three gates MANIFEST LOCKED #64: Commit 6025940 pushed by DavidFox998
13s main
main
13s
Remove author name from README header MANIFEST LOCKED #63: Commit 485d7c6 pushed by DavidFox998
17s main
main
17s
Revise README for clarity and content enhancement MANIFEST LOCKED #62: Commit b0fd5b6 pushed by DavidFox998
12s main
main
12s
Enhance README with gate descriptions and file map MANIFEST LOCKED #61: Commit 8f5ac9c pushed by DavidFox998
10s main
main
10s
Update README.md MANIFEST LOCKED #60: Commit c05e413 pushed by DavidFox998
6s main
main
6s
Revise project status and expand BostConnes package MANIFEST LOCKED #59: Commit ba91578 pushed by DavidFox998
9s main
main
9s
Add C11_BarrierBypass.lean with Eutheos properties MANIFEST LOCKED #58: Commit 8461987 pushed by DavidFox998
7s main
main
7s
Add C_S3 definitions and related theorems in Lean MANIFEST LOCKED #57: Commit 5d043d9 pushed by DavidFox998
9s main
main
9s
Add C09_KMSCritical.lean with critical temp definitions MANIFEST LOCKED #56: Commit d5ec380 pushed by DavidFox998
7s main
main
7s
Add Hecke transfer theorems and definitions in Lean MANIFEST LOCKED #55: Commit 8f97094 pushed by DavidFox998
10s main
main
10s
Add P5 and related theorems in C07_P5Barrier.lean MANIFEST LOCKED #54: Commit 461836b pushed by DavidFox998
13s main
main
13s
Update README with project details and structure MANIFEST LOCKED #53: Commit d53c4ef pushed by DavidFox998
14s main
main
14s
Revise README for Bost-Connes project details MANIFEST LOCKED #52: Commit 6ccd667 pushed by DavidFox998
7s main
main
7s
Revise project details and close barriers in lakefile MANIFEST LOCKED #51: Commit b0e3468 pushed by DavidFox998
9s main
main
9s