Skip to content

Actions: gift-framework/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,900 workflow runs
1,900 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
README: fix axiom count for CI consistency check Consistency Check #34: Commit fb1486a pushed by gift-framework
10s main
main
10s
release: v3.4.13 — axiom reduction + terminology cleanup Consistency Check #33: Commit c4efbbf pushed by gift-framework
13s main
main
13s
terminology: remove internal jargon, sync docs to v3.4.13 Formal Verification #705: Commit 5653008 pushed by gift-framework
2m 5s main
main
2m 5s
terminology: remove internal jargon, sync docs to v3.4.13 Consistency Check #32: Commit 5653008 pushed by gift-framework
11s main
main
11s
terminology: remove internal jargon, sync docs to v3.4.13 Blueprint #488: Commit 5653008 pushed by gift-framework
10m 33s main
main
10m 33s
docs(foundations): Tier 1.2+1.3 — MetricEigenvalues honesty upgrade Blueprint #487: Commit ff0603e pushed by gift-framework
9m 3s main
main
9m 3s
docs(foundations): Tier 1.2+1.3 — MetricEigenvalues honesty upgrade Formal Verification #704: Commit ff0603e pushed by gift-framework
1m 58s main
main
1m 58s
docs(foundations): Tier 1.2+1.3 — MetricEigenvalues honesty upgrade Consistency Check #31: Commit ff0603e pushed by gift-framework
10s main
main
10s
GIFT core 3.4.12 Publish to PyPI #70: Release v3.4.12 published by gift-framework
2m 28s
2m 28s
release: v3.4.12 — Phase 1b+3 interval certificates (IntervalCertific… Consistency Check #30: Commit e215477 pushed by gift-framework
11s main
main
11s
feat(foundations): Tier 1.1 — Phase 1b+3 interval certificates as Lea… Blueprint #486: Commit 8fc8ab8 pushed by gift-framework
9m 28s main
main
9m 28s
feat(foundations): Tier 1.1 — Phase 1b+3 interval certificates as Lea… Consistency Check #29: Commit 8fc8ab8 pushed by gift-framework
8s main
main
8s
feat(foundations): Tier 1.1 — Phase 1b+3 interval certificates as Lea… Formal Verification #703: Commit 8fc8ab8 pushed by gift-framework
2m 5s main
main
2m 5s
docs(MetricEigenvalues): refresh det_g_from_metric comment with Phase… Blueprint #485: Commit bce7e96 pushed by gift-framework
9m 9s main
main
9m 9s
docs(MetricEigenvalues): refresh det_g_from_metric comment with Phase… Formal Verification #702: Commit bce7e96 pushed by gift-framework
1m 53s main
main
1m 53s
docs(MetricEigenvalues): refresh det_g_from_metric comment with Phase… Consistency Check #28: Commit bce7e96 pushed by gift-framework
8s main
main
8s
fix: update version header 3.4.9→3.4.11 and axiom count 11→4 in Pytho… Consistency Check #27: Commit 8f4963a pushed by gift-framework
11s main
main
11s
GIFT core 3.4.11 Publish to PyPI #69: Release v3.4.11 published by gift-framework
2m 37s
2m 37s
release: v3.4.11 — K3NewtonKantorovich.lean: CI(2,2,2) NK cert v2.2 f… Formal Verification #701: Commit b4dd209 pushed by gift-framework
2m 23s main
main
2m 23s
release: v3.4.11 — K3NewtonKantorovich.lean: CI(2,2,2) NK cert v2.2 f… Consistency Check #26: Commit b4dd209 pushed by gift-framework
11s main
main
11s
release: v3.4.11 — K3NewtonKantorovich.lean: CI(2,2,2) NK cert v2.2 f… Blueprint #484: Commit b4dd209 pushed by gift-framework
9m 40s main
main
9m 40s
v3.4.10 — TCS building block identification corrected Publish to PyPI #68: Release v3.4.10 published by gift-framework
2m 23s
2m 23s
release: v3.4.10 — TCS building block identification corrected Consistency Check #25: Commit 348168e pushed by gift-framework
11s main
main
11s
fix(docstrings): remove false Quintic/CI(2,2,2) identification in 3 f… Consistency Check #24: Commit 0556894 pushed by gift-framework
12s main
main
12s
fix(docstrings): remove false Quintic/CI(2,2,2) identification in 3 f… Blueprint #483: Commit 0556894 pushed by gift-framework
9m 26s main
main
9m 26s