Skip to content

Actions: gift-framework/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,983 workflow runs
1,983 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
docs: unify headline numbers to canonical (v3.4.26 / NuFIT 6.1) Consistency Check #65: Commit e0ce5d5 pushed by gift-framework
11s main
main
11s
GIFT core 3.4.26 Publish to PyPI #84: Release v3.4.26 published by gift-framework
4m 17s
4m 17s
release: v3.4.26 — remove competing post-hoc κ_T⁻¹=61 expressions (nu… Formal Verification #724: Commit 0be4a9e pushed by gift-framework
3m 17s main
main
3m 17s
release: v3.4.26 — remove competing post-hoc κ_T⁻¹=61 expressions (nu… Blueprint #507: Commit 0be4a9e pushed by gift-framework
10m 51s main
main
10m 51s
release: v3.4.26 — remove competing post-hoc κ_T⁻¹=61 expressions (nu… Consistency Check #64: Commit 0be4a9e pushed by gift-framework
12s main
main
12s
GIFT core 3.4.25 Publish to PyPI #83: Release v3.4.25 published by gift-framework
4m 22s
4m 22s
release: v3.4.25 — academic-terminology cleanup follow-up Formal Verification #723: Commit 1e95681 pushed by gift-framework
3m 46s main
main
3m 46s
release: v3.4.25 — academic-terminology cleanup follow-up Blueprint #506: Commit 1e95681 pushed by gift-framework
11m 3s main
main
11m 3s
release: v3.4.25 — academic-terminology cleanup follow-up Consistency Check #63: Commit 1e95681 pushed by gift-framework
13s main
main
13s
GIFT core 3.4.24 Publish to PyPI #82: Release v3.4.24 published by gift-framework
4m 49s
4m 49s
release: v3.4.24 — K3 modules academic-terminology cleanup Formal Verification #722: Commit 39a1ede pushed by gift-framework
3m 36s main
main
3m 36s
release: v3.4.24 — K3 modules academic-terminology cleanup Consistency Check #62: Commit 39a1ede pushed by gift-framework
11s main
main
11s
release: v3.4.24 — K3 modules academic-terminology cleanup Blueprint #505: Commit 39a1ede pushed by gift-framework
11m 54s main
main
11m 54s
feat(K3): K3KrawczykContainment — Lean strict-containment K(X) ⊊ int(… Formal Verification #721: Commit ef95fe2 pushed by gift-framework
3m 29s main
main
3m 29s
feat(K3): K3KrawczykContainment — Lean strict-containment K(X) ⊊ int(… Blueprint #504: Commit ef95fe2 pushed by gift-framework
11m 7s main
main
11m 7s
feat(K3): K3KrawczykContainment — Lean strict-containment K(X) ⊊ int(… Consistency Check #61: Commit ef95fe2 pushed by gift-framework
12s main
main
12s
feat(Foundations): Lean certificate for exact Vandermonde smoothness … Consistency Check #60: Commit bd35c7e pushed by gift-framework
7s main
main
7s
feat(Foundations): Lean certificate for exact Vandermonde smoothness … Blueprint #503: Commit bd35c7e pushed by gift-framework
8m 40s main
main
8m 40s
feat(Foundations): Lean certificate for exact Vandermonde smoothness … Formal Verification #720: Commit bd35c7e pushed by gift-framework
5m 39s main
main
5m 39s
feat(Foundations): Lean certificate for exact Vandermonde smoothness of the Z_2^3 K3 Blueprint #502: Pull request #161 opened by gift-framework
8m 52s feat/k3-vandermonde-smoothness-lean
feat/k3-vandermonde-smoothness-lean
8m 52s
feat(Foundations): Lean certificate for exact Vandermonde smoothness of the Z_2^3 K3 Formal Verification #719: Pull request #161 opened by gift-framework
5m 44s feat/k3-vandermonde-smoothness-lean
feat/k3-vandermonde-smoothness-lean
5m 44s
feat(Foundations): Lean certificate for exact Vandermonde smoothness of the Z_2^3 K3 Consistency Check #59: Pull request #161 opened by gift-framework
11s feat/k3-vandermonde-smoothness-lean
feat/k3-vandermonde-smoothness-lean
11s
GIFT core 3.4.23 Publish to PyPI #81: Release v3.4.23 published by gift-framework
3m 1s
3m 1s
release: v3.4.23 — closed-form K3 CY-residual witness (III.3 / NS-1c)… Blueprint #501: Commit e1c33da pushed by gift-framework
10m 36s main
main
10m 36s
release: v3.4.23 — closed-form K3 CY-residual witness (III.3 / NS-1c)… Formal Verification #718: Commit e1c33da pushed by gift-framework
2m 42s main
main
2m 42s