Skip to content

Actions: gift-framework/GIFT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cross-Repo Consistency Cross-Repo Consistency #65: Scheduled
16s main
main
16s
fix(site): simplify footer bio to project tagline only Deploy to GitHub Pages #169: Commit a0e4781 pushed by gift-framework
29s main
main
29s
pages build and deployment pages-build-deployment #686: by gift-framework
39s main
main
39s
fix(wiki): replace em dashes — CI linter fix (96 occurrences, 10 files) Deploy to GitHub Pages #168: Commit 3197959 pushed by gift-framework
27s main
main
27s
pages build and deployment pages-build-deployment #685: by gift-framework
42s main
main
42s
fix: cross-repo consistency audit — 7 axioms, Lean 4.29.0, v3.4.6 Documentation Linter #157: Commit 56cefa0 pushed by gift-framework
18s main
main
18s
fix: cross-repo consistency audit — 7 axioms, Lean 4.29.0, v3.4.6 Deploy to GitHub Pages #167: Commit 56cefa0 pushed by gift-framework
30s main
main
30s
pages build and deployment pages-build-deployment #684: by gift-framework
42s main
main
42s
site: integrate wiki into GitHub Pages with styled layout Deploy to GitHub Pages #166: Commit d89151e pushed by gift-framework
24s main
main
24s
pages build and deployment pages-build-deployment #683: by gift-framework
38s main
main
38s
fix: link to .html not .md for Jekyll-rendered pages Deploy to GitHub Pages #165: Commit c06f1fd pushed by gift-framework
28s main
main
28s
pages build and deployment pages-build-deployment #682: by gift-framework
40s main
main
40s
fix: replace em dashes with -- to pass linter Deploy to GitHub Pages #164: Commit d561ecb pushed by gift-framework
28s main
main
28s
pages build and deployment pages-build-deployment #681: by gift-framework
44s main
main
44s
site: Jekyll layout for styled markdown pages Documentation Linter #156: Commit 4b3c2ea pushed by gift-framework
19s main
main
19s
site: Jekyll layout for styled markdown pages Deploy to GitHub Pages #163: Commit 4b3c2ea pushed by gift-framework
26s main
main
26s
pages build and deployment pages-build-deployment #680: by gift-framework
41s main
main
41s
fix: correct Substack URLs, papers link to PDFs Deploy to GitHub Pages #162: Commit 2342af2 pushed by gift-framework
24s main
main
24s
pages build and deployment pages-build-deployment #679: by gift-framework
39s main
main
39s
fix: switch Pages source to /docs, fix external links Deploy to GitHub Pages #161: Commit 5cef9e3 pushed by gift-framework
26s main
main
26s
pages build and deployment pages-build-deployment #678: by gift-framework
46s main
main
46s
site: GitHub Pages landing page + README restructure Deploy to GitHub Pages #160: Commit 9867ee2 pushed by gift-framework
25s main
main
25s
pages build and deployment pages-build-deployment #677: by gift-framework
45s main
main
45s
fix: correct axiom count in README (14 → 8) Deploy to GitHub Pages #159: Commit e8fd34f pushed by gift-framework
27s main
main
27s
pages build and deployment pages-build-deployment #676: by gift-framework
45s main
main
45s