Skip to content

Actions: justinlietz93/VDM_Lean4_Environment

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
Update README.md build #14: Commit 0150378 pushed by justinlietz93
48s main
main
48s
Update VERIFICATION_INDEX.md build #13: Commit edef6e5 pushed by justinlietz93
56s main
main
56s
Update VERIFICATION_INDEX.md build #12: Commit 288634a pushed by justinlietz93
55s main
main
55s
build build #11: Manually run by justinlietz93
37s main
main
37s
pages build and deployment pages-build-deployment #1: by justinlietz93
37s gh-pages
gh-pages
37s
chore: force badge redeploy after gh-pages propagation build #10: Commit a0bf710 pushed by justinlietz93
49s main
main
49s
chore: force full CI rebuild — publish all three badges to gh-pages build #9: Commit 36d7974 pushed by justinlietz93
42s main
main
42s
feat: add PROVENANCE manifest for tracking project files and exclusions build #8: Commit 962743a pushed by justinlietz93
57s main
main
57s
fix: add missing lean-toolchain and PCVDMLiftedDescent.lean so CI dis… build #7: Commit 76b2a48 pushed by justinlietz93
47s main
main
47s
feat: add initial lakefile for PCVDMLiftedDescent package build #6: Commit 59d152b pushed by justinlietz93
4m 52s main
main
4m 52s
Update README.md build #5: Commit aa7e5a0 pushed by justinlietz93
2m 0s main
main
2m 0s
Update README.md build #4: Commit 39f7ad0 pushed by justinlietz93
49s main
main
49s
build build #3: Manually run by justinlietz93
46s main
main
46s
lean4 validations for recent quotient descent paper build #2: Commit 15b1660 pushed by justinlietz93
1m 1s main
main
1m 1s
feat: scaffold initial VDM Lean certifier with CI badges and verifica… build #1: Commit 7f5c0a5 pushed by justinlietz93
58m 24s main
main
58m 24s