Skip to content

Actions: Zetetic-Dhruv/formal-learning-theory-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 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
Add independent VC-dimension module + 3 comparator crown jewels CI #139: Commit 7511199 pushed by Zetetic-Dhruv
1h 6m 34s main
main
1h 6m 34s
README: rehedge novelty claims after red-team review CI #138: Commit 71bebd0 pushed by Zetetic-Dhruv
1m 35s main
main
1m 35s
Pre-tag cleanup for paper release CI #137: Commit e48c0f6 pushed by Zetetic-Dhruv
1m 36s main
main
1m 36s
Readme Maintenance CI #136: Commit edce600 pushed by Zetetic-Dhruv
1m 10s main
main
1m 10s
README: add Maintainer line with zetesislabs.com backlink CI #135: Commit e3e8abb pushed by Zetetic-Dhruv
1m 18s main
main
1m 18s
Note all_measurable packaging experiment CI #134: Commit 4cead81 pushed by Zetetic-Dhruv
1m 12s main
main
1m 12s
Remove GitHub Actions comparator workflow (vestigial) CI #133: Commit e7b6751 pushed by Zetetic-Dhruv
1m 31s main
main
1m 31s
lean4checker lean4checker #4: Manually run by Zetetic-Dhruv
4h 1m 3s main
main
4h 1m 3s
lean4checker lean4checker #3: Manually run by Zetetic-Dhruv
4h 0m 21s main
main
4h 0m 21s
Fix verification results: raw CI output only CI #132: Commit de5f282 pushed by Zetetic-Dhruv
1m 15s main
main
1m 15s
Replace composed results with raw CI output CI #131: Commit fa41f37 pushed by Zetetic-Dhruv
1m 35s main
main
1m 35s
Add verification results + README verification table CI #130: Commit 61aa6df pushed by Zetetic-Dhruv
1m 27s main
main
1m 27s
pages build and deployment pages-build-deployment #17: by github-pages Bot
1m 5s gh-pages
gh-pages
1m 5s
pages build and deployment pages-build-deployment #16: by github-pages Bot
26s gh-pages
gh-pages
26s
Blueprint Blueprint #20: Manually run by Zetetic-Dhruv
2m 8s main
main
2m 8s
Fix 6 critical PDF rendering issues CI #129: Commit 2b6e395 pushed by Zetetic-Dhruv
1m 30s main
main
1m 30s
Fix 6 critical PDF rendering issues Blueprint #19: Commit 2b6e395 pushed by Zetetic-Dhruv
2m 38s main
main
2m 38s
Merge comparator pipeline into single job (avoid 3GB artifact transfer) CI #128: Commit bc5e975 pushed by Zetetic-Dhruv
1m 10s main
main
1m 10s
Add GitLab CI comparator pipeline (Tier 3, real Landlock sandbox) CI #127: Commit 819210a pushed by Zetetic-Dhruv
1m 33s main
main
1m 33s
pages build and deployment pages-build-deployment #15: by github-pages Bot
1m 5s gh-pages
gh-pages
1m 5s
Blueprint Blueprint #18: Manually run by Zetetic-Dhruv
2m 55s main
main
2m 55s
Fix gh-pages push race + add appendix to web_flat.tex CI #126: Commit c611615 pushed by Zetetic-Dhruv
1m 41s main
main
1m 41s
pages build and deployment pages-build-deployment #14: by github-pages Bot
1m 6s gh-pages
gh-pages
1m 6s
Blueprint Blueprint #17: Manually run by Zetetic-Dhruv
2m 18s main
main
2m 18s
Add Appendix A with key Lean 4 declarations; fix \lean{} rendering Blueprint #16: Commit a8e6f10 pushed by Zetetic-Dhruv
2m 25s main
main
2m 25s