Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
315 workflow runs
315 workflow runs

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
feat(governance): add Xueying Qin as reviewer (#898) Build and Deploy Documentation #315: Commit b777e08 pushed by github-merge-queue Bot
4m 40s main
main
4m 40s
fix(PACLearning): restrict consistency to realizable samples (#747) Build and Deploy Documentation #314: Commit 1cda4bb pushed by github-merge-queue Bot
37m 24s main
main
37m 24s
ci: drop manual TEST_ARGS step (#896) Build and Deploy Documentation #313: Commit 1cf2082 pushed by github-merge-queue Bot
46m 45s main
main
46m 45s
feat: add monad-polymorphic sorts (#861) Build and Deploy Documentation #312: Commit ec768ef pushed by github-merge-queue Bot
46m 41s main
main
46m 41s
feat(maintenance): clarifications on decision making and reviewer/mai… Build and Deploy Documentation #311: Commit 0da3e0e pushed by github-merge-queue Bot
5m 50s main
main
5m 50s
feat(Computability): add generic circuit model (#841) Build and Deploy Documentation #310: Commit 6c3d6fd pushed by github-merge-queue Bot
30m 11s main
main
30m 11s
feat(Automata): Two-way automaton (#834) Build and Deploy Documentation #309: Commit 5aba6eb pushed by github-merge-queue Bot
36m 55s main
main
36m 55s
feat(Crypto): Commitment Schemes (#766) Build and Deploy Documentation #308: Commit 7b6da00 pushed by github-merge-queue Bot
43m 53s main
main
43m 53s
refactor(MultiTapeTM): read runFrom through Mathlib's iterate API (… Build and Deploy Documentation #307: Commit 718cbea pushed by github-merge-queue Bot
43m 54s main
main
43m 54s
ci(weekly-lints): pass the build status to the Zulip report (#881) Build and Deploy Documentation #306: Commit 24cb101 pushed by github-merge-queue Bot
37m 10s main
main
37m 10s
refactor(MultiTapeTM): define function complexity on inputs (#870) Build and Deploy Documentation #305: Commit d4ca8e7 pushed by github-merge-queue Bot
43m 30s main
main
43m 30s
feat(MultiTapeTM): Nondeterministic multi-tape Turing machines (#820) Build and Deploy Documentation #304: Commit 3d3ccd4 pushed by github-merge-queue Bot
44m 31s main
main
44m 31s
chore: bump mathlib to 950d270, fix breaking changes (#867) Build and Deploy Documentation #303: Commit 33e7370 pushed by github-merge-queue Bot
37m 48s main
main
37m 48s
refactor(Foundations/Relation): reorganise relation modules (#879) Build and Deploy Documentation #302: Commit fab37a9 pushed by github-merge-queue Bot
45m 42s main
main
45m 42s
chore(Foundations/Relation/Confluence): cleanup (#855) Build and Deploy Documentation #301: Commit d1ef9de pushed by github-merge-queue Bot
42m 6s main
main
42m 6s
refactor: define Commute via DiamondCommute (#868) Build and Deploy Documentation #300: Commit 83b9c34 pushed by github-merge-queue Bot
47m 0s main
main
47m 0s
feat(Language): prove some distributive laws for the image operation … Build and Deploy Documentation #299: Commit d9be641 pushed by github-merge-queue Bot
45m 42s main
main
45m 42s
chore(HML/LogicalEquivalence): golf to remove mergeWithGrind opt (#… Build and Deploy Documentation #298: Commit bba5e73 pushed by github-merge-queue Bot
4m 9s main
main
4m 9s
chore(LTS/MapHom): golf mapHom_mTr proof (#849) Build and Deploy Documentation #297: Commit aeb2e41 pushed by github-merge-queue Bot
4m 9s main
main
4m 9s
chore: document two heavy grind uses (#850) Build and Deploy Documentation #296: Commit daedb5e pushed by github-merge-queue Bot
5m 23s main
main
5m 23s
chore: bump mathlib to e06eff5, fix breaking changes (#848) Build and Deploy Documentation #295: Commit 21ed7bd pushed by github-merge-queue Bot
46m 15s main
main
46m 15s
feat(ModalLogic/LambdaCalculus): modal grind set and proof of type sa… Build and Deploy Documentation #294: Commit 492d030 pushed by github-merge-queue Bot
45m 49s main
main
45m 49s
chore: bump mathlib to 0fa18d4, fix breaking changes (#843) Build and Deploy Documentation #293: Commit 48d08aa pushed by github-merge-queue Bot
45m 22s main
main
45m 22s
feat(Data): Results about RelatesInSteps with bounds on the reachable… Build and Deploy Documentation #292: Commit 5594757 pushed by github-merge-queue Bot
40m 6s main
main
40m 6s
feat(Language): define language homomorphism and prove that regular l… Build and Deploy Documentation #291: Commit 29f10e0 pushed by github-merge-queue Bot
35m 47s main
main
35m 47s