Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
175 workflow runs
175 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
doc: fix missing '$' (#564) Build and Deploy Documentation #175: Commit 608cbe1 pushed by github-merge-queue Bot
45m 31s main
main
45m 31s
chore(ci): bump lint-style-action pin off reverted commit (#562) Build and Deploy Documentation #174: Commit b3c5575 pushed by github-merge-queue Bot
36m 2s main
main
36m 2s
chore(ci): pin lint-style-action to a SHA instead of @main (#561) Build and Deploy Documentation #173: Commit 28a8f5e pushed by github-merge-queue Bot
47m 13s main
main
47m 13s
ci: use INFO=true for weekly linting (#526) Build and Deploy Documentation #172: Commit 2e5e64d pushed by github-merge-queue Bot
4m 53s main
main
4m 53s
feat(Cryptography/SecretSharing): Shamir's secret sharing (#495) Build and Deploy Documentation #171: Commit 57e5054 pushed by github-merge-queue Bot
39m 32s main
main
39m 32s
feat(MachineLearning/PACLearning): definitions (#492) Build and Deploy Documentation #170: Commit ca0e27c pushed by github-merge-queue Bot
39m 54s main
main
39m 54s
feat: some lemmas about Euclidean relations (#557) Build and Deploy Documentation #169: Commit b37c36e pushed by github-merge-queue Bot
44m 21s main
main
44m 21s
feat: Modal Logic (#528) Build and Deploy Documentation #168: Commit ab16df6 pushed by github-merge-queue Bot
1h 23m 40s main
main
1h 23m 40s
feat(Foundations/Data/Relation): strongly normalising elements of a t… Build and Deploy Documentation #167: Commit cdfe655 pushed by github-merge-queue Bot
1h 21m 49s main
main
1h 21m 49s
chore: bump mathlib to 6cf3ab1, fix breaking changes (#547) Build and Deploy Documentation #166: Commit 02052d4 pushed by github-merge-queue Bot
1h 21m 37s main
main
1h 21m 37s
chore: route Zulip notifications to nightly-testing-cslib (#548) Build and Deploy Documentation #165: Commit aa62343 pushed by github-merge-queue Bot
1h 34m 30s main
main
1h 34m 30s
doc(All): Spelling fixes found using codespell (#538) Build and Deploy Documentation #164: Commit 3716b27 pushed by github-merge-queue Bot
1h 27m 58s main
main
1h 27m 58s
chore: Bump mathlib dependency to 6727686 (#527) Build and Deploy Documentation #163: Commit 76a79aa pushed by github-merge-queue Bot
1h 29m 9s main
main
1h 29m 9s
chore: make trivial definitions unfold (#525) Build and Deploy Documentation #162: Commit fd066e6 pushed by github-merge-queue Bot
54m 17s main
main
54m 17s
ci: automatically open a PR bumping mathlib to its breaking change (#… Build and Deploy Documentation #161: Commit ba40c74 pushed by github-merge-queue Bot
47m 47s main
main
47m 47s
feat: prove the distributivity of forall over OmegaSequence.flatten (… Build and Deploy Documentation #160: Commit 6be5d16 pushed by github-merge-queue Bot
1h 28m 47s main
main
1h 28m 47s
feat: add Logics/Propositional/NaturalDeduction/* (#91) Build and Deploy Documentation #159: Commit 6d112db pushed by github-merge-queue Bot
1h 33m 17s main
main
1h 33m 17s
chore: update mathlib (#522) Build and Deploy Documentation #158: Commit 7c51e89 pushed by github-merge-queue Bot
1h 30m 57s main
main
1h 30m 57s
feat: Tagged InferenceSystem (#518) Build and Deploy Documentation #157: Commit b81a06e pushed by github-merge-queue Bot
34m 49s main
main
34m 49s
chore: conform to header linter (#517) Build and Deploy Documentation #156: Commit 5e8967d pushed by github-merge-queue Bot
42m 14s main
main
42m 14s
feat(LocallyNameless/Untyped): generalize swap_open_fvars (#516) Build and Deploy Documentation #155: Commit f908775 pushed by github-merge-queue Bot
44m 55s main
main
44m 55s
ci: Add action to monitor mathlib breaking changes via GitHub issue (… Build and Deploy Documentation #154: Commit bd9df6c pushed by github-merge-queue Bot
42m 51s main
main
42m 51s
ci: use mathlib-nightly-testing identity bot for auto-update PRs (#506) Build and Deploy Documentation #153: Commit 870e11e pushed by github-merge-queue Bot
41m 40s main
main
41m 40s
doc: add new reviewer (#505) Build and Deploy Documentation #152: Commit 68c38a7 pushed by github-merge-queue Bot
1h 6m 14s main
main
1h 6m 14s
refactor: provide a properly encapsulated implementation of OmegaLang… Build and Deploy Documentation #151: Commit d2e10ff pushed by github-merge-queue Bot
39m 56s main
main
39m 56s