Skip to content

Actions: WegmannDavid/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changes to MultiSubst.lean Build and Deploy Documentation #11: Commit 3c41d95 pushed by WegmannDavid
2s main
main
2s
chore(ci): split checkInitImports into its own test (#386) Build and Deploy Documentation #10: Commit b96a4cb pushed by WegmannDavid
1s main
main
1s
cleared out some lemmas and moved some others Build and Deploy Documentation #9: Commit f44e8b1 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #8: Commit 5bc38a3 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #7: Commit 45996c9 pushed by WegmannDavid
1s main
main
1s
split over multiple files, without forgetting MultiSubst.lean Build and Deploy Documentation #6: Commit 2ff3359 pushed by WegmannDavid
2s main
main
2s
splitting strong norm development into multiple files Build and Deploy Documentation #5: Commit 0602c7e pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #4: Commit dbd8500 pushed by WegmannDavid
1s main
main
1s
finished proof, no sorries left, but the proofs are still messy Build and Deploy Documentation #3: Commit 01a58ba pushed by WegmannDavid
1s main
main
1s
almost finished strong norm proof, some lc issues remaining Build and Deploy Documentation #2: Commit 22eed13 pushed by WegmannDavid
2s main
main
2s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #1: Commit df7cc12 pushed by WegmannDavid
2s main
main
2s