Skip to content

Actions: gift-framework/core

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "feat(algebraic): G2Rank Property 5 — full native_decide proof… Formal Verification #695: Commit e738a41 pushed by gift-framework
1m 39s main
main
1m 39s
Revert "feat(algebraic): G2Rank Property 5 — full native_decide proof… Blueprint #477: Commit e738a41 pushed by gift-framework
14m 2s main
main
14m 2s
Revert "feat(algebraic): G2Rank Property 5 — full native_decide proof… Consistency Check #14: Commit e738a41 pushed by gift-framework
8s main
main
8s
feat(algebraic): G2Rank Property 5 — full native_decide proof via exp… Formal Verification #694: Commit badce2f pushed by gift-framework
4m 21s main
main
4m 21s
feat(algebraic): G2Rank Property 5 — full native_decide proof via exp… Blueprint #476: Commit badce2f pushed by gift-framework
23m 9s main
main
23m 9s
feat(algebraic): G2Rank Property 5 — full native_decide proof via exp… Consistency Check #13: Commit badce2f pushed by gift-framework
9s main
main
9s
fix(readme): update build jobs 2642 → 8378 (Lean 4.29.0) Consistency Check #12: Commit 05b629c pushed by gift-framework
9s main
main
9s
feat(giftpy): from_approximate_metric() + G2Manifold base class Consistency Check #11: Commit 5d92a5b pushed by gift-framework
11s main
main
11s
Delete GIFTTest directory Formal Verification #693: Commit f1bd7e3 pushed by gift-framework
1m 26s main
main
1m 26s
Delete GIFTTest directory Consistency Check #10: Commit f1bd7e3 pushed by gift-framework
13s main
main
13s
feat(giftpy): G2Manifold base class + TCS scan example (28 manifolds) Consistency Check #9: Commit 8df67ff pushed by gift-framework
12s main
main
12s
feat(giftpy): complete pipeline with observables, validation, NK cert… Consistency Check #8: Commit a60d294 pushed by gift-framework
14s main
main
14s
feat(giftpy): scaffold geometry/spectral pipeline + cleanup deprecate… Blueprint #475: Commit 5398222 pushed by gift-framework
9m 26s main
main
9m 26s
feat(giftpy): scaffold geometry/spectral pipeline + cleanup deprecate… Consistency Check #7: Commit 5398222 pushed by gift-framework
10s main
main
10s
GIFT core 3.4.6 Publish to PyPI #64: Release v3.4.6 published by gift-framework
1m 49s
1m 49s
release: v3.4.6 — Lean 4.29.0 + Mathlib v4.29.0 upgrade Blueprint #474: Commit 68d0dc1 pushed by gift-framework
9m 6s main
main
9m 6s
release: v3.4.6 — Lean 4.29.0 + Mathlib v4.29.0 upgrade Formal Verification #692: Commit 68d0dc1 pushed by gift-framework
5m 41s main
main
5m 41s
release: v3.4.6 — Lean 4.29.0 + Mathlib v4.29.0 upgrade Consistency Check #6: Commit 68d0dc1 pushed by gift-framework
13s main
main
13s
GIFT core 3.4.5 Publish to PyPI #63: Release v3.4.5 published by gift-framework
4m 25s
4m 25s
feat(algebraic): prove g2_det_mul_gram — 8→7 axioms (G₂⊆SO(7) fully c… Consistency Check #5: Commit 1004bde pushed by gift-framework
11s main
main
11s
feat(algebraic): prove g2_det_mul_gram — 8→7 axioms (G₂⊆SO(7) fully c… Blueprint #473: Commit 1004bde pushed by gift-framework
9m 32s main
main
9m 32s
feat(algebraic): prove g2_det_mul_gram — 8→7 axioms (G₂⊆SO(7) fully c… Formal Verification #691: Commit 1004bde pushed by gift-framework
3m 47s main
main
3m 47s
Blueprint Blueprint #472: by gift-framework
13m 35s main
main
13m 35s
Consistency Check Consistency Check #4: by gift-framework
12s main
main
12s
chore: remove deleted modules from blueprint and homepage Blueprint #471: Commit 012fad9 pushed by gift-framework
9m 21s main
main
9m 21s