Skip to content

Actions: gift-framework/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,823 workflow runs
1,823 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

release: v3.4.4 — G₂ rank certified, blueprint cleanup, version bump Formal Verification #690: Commit 4b6caf1 pushed by gift-framework
3m 5s main
main
3m 5s
release: v3.4.4 — G₂ rank certified, blueprint cleanup, version bump Blueprint #469: Commit 4b6caf1 pushed by gift-framework
8m 50s main
main
8m 50s
feat: G₂ rank = 2 via explicit Cartan subalgebra (native_decide) Formal Verification #689: Commit a2ccf37 pushed by gift-framework
3m 3s main
main
3m 3s
feat: G₂ rank = 2 via explicit Cartan subalgebra (native_decide) Blueprint #468: Commit a2ccf37 pushed by gift-framework
10m 4s main
main
10m 4s
feat: G₂ Mathlib Step 4 — g₂⊆so(7) certificate + 7-form contraction Blueprint #467: Commit 2f7d398 pushed by gift-framework
9m 20s main
main
9m 20s
feat: G₂ Mathlib Step 4 — g₂⊆so(7) certificate + 7-form contraction Formal Verification #688: Commit 2f7d398 pushed by gift-framework
2m 42s main
main
2m 42s
Publish to PyPI Publish to PyPI #61: Manually run by gift-framework
3m 8s main
main
3m 8s
GIFT core 3.4.3 Publish to PyPI #60: Release v3.4.3 published by gift-framework
19s
19s
chore: release v3.4.3 — G₂ Mathlib Steps 1–3 proven Formal Verification #687: Commit 7ffd673 pushed by gift-framework
2m 59s main
main
2m 59s
chore: release v3.4.3 — G₂ Mathlib Steps 1–3 proven Blueprint #466: Commit 7ffd673 pushed by gift-framework
9m 0s main
main
9m 0s
feat(G2ThreeForm): Step 3 — L_phi0_fullrank via native_decide certifi… Formal Verification #686: Commit 5c2c519 pushed by gift-framework
2m 37s main
main
2m 37s
feat(G2ThreeForm): Step 3 — L_phi0_fullrank via native_decide certifi… Blueprint #465: Commit 5c2c519 pushed by gift-framework
8m 32s main
main
8m 32s
GIFT core 3.4.2 Publish to PyPI #59: Release v3.4.2 published by gift-framework
2m 46s
2m 46s
fix: replace OctonionMassGap.b3 with literal 77=11*7 in Certificate/S… Blueprint #464: Commit 0e90836 pushed by gift-framework
9m 11s main
main
9m 11s
fix: replace OctonionMassGap.b3 with literal 77=11*7 in Certificate/S… Formal Verification #685: Commit 0e90836 pushed by gift-framework
2m 47s main
main
2m 47s
fix: use correct namespaces for b3/n/mass_gap_ratio_num in Certificat… Blueprint #463: Commit 0492183 pushed by gift-framework
5m 55s main
main
5m 55s
fix: use correct namespaces for b3/n/mass_gap_ratio_num in Certificat… Formal Verification #684: Commit 0492183 pushed by gift-framework
2m 50s main
main
2m 50s
refactor: archive MollifiedSum, rename YangMillsBridge→KKSpectralBrid… Formal Verification #683: Commit 735861e pushed by gift-framework
2m 32s main
main
2m 32s
refactor: archive MollifiedSum, rename YangMillsBridge→KKSpectralBrid… Blueprint #462: Commit 735861e pushed by gift-framework
8m 51s main
main
8m 51s
fix: convert 3 sorry→axiom in G2ThreeForm, purge 'sorry' from comment… Blueprint #461: Commit a51665f pushed by gift-framework
9m 20s main
main
9m 20s
fix: convert 3 sorry→axiom in G2ThreeForm, purge 'sorry' from comment… Formal Verification #682: Commit a51665f pushed by gift-framework
2m 54s main
main
2m 54s
fix: add missing OctonionMassGap.lean (referenced by YangMillsBridge) Formal Verification #681: Commit e74aef2 pushed by gift-framework
2m 39s main
main
2m 39s
fix: add missing OctonionMassGap.lean (referenced by YangMillsBridge) Blueprint #460: Commit e74aef2 pushed by gift-framework
6m 36s main
main
6m 36s
add: G2ThreeForm φ₀ formalization + ν̄=0 certification (v3.4.2) Blueprint #459: Commit 9c5220e pushed by gift-framework
6m 11s main
main
6m 11s
add: G2ThreeForm φ₀ formalization + ν̄=0 certification (v3.4.2) Formal Verification #680: Commit 9c5220e pushed by gift-framework
2m 2s main
main
2m 2s