Skip to content

Actions: leanprover/cslib

Actions

Run TODO to Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
todo-issue.yml
249 workflow runs
249 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
chore: Bump mathlib dependency to 6727686 (#527) Run TODO to Issue #249: Commit 76a79aa pushed by github-merge-queue Bot
18s main
main
18s
chore: make trivial definitions unfold (#525) Run TODO to Issue #248: Commit fd066e6 pushed by github-merge-queue Bot
22s main
main
22s
ci: automatically open a PR bumping mathlib to its breaking change (#… Run TODO to Issue #247: Commit ba40c74 pushed by github-merge-queue Bot
18s main
main
18s
feat: prove the distributivity of forall over OmegaSequence.flatten (… Run TODO to Issue #246: Commit 6be5d16 pushed by github-merge-queue Bot
19s main
main
19s
feat: add Logics/Propositional/NaturalDeduction/* (#91) Run TODO to Issue #245: Commit 6d112db pushed by github-merge-queue Bot
21s main
main
21s
chore: update mathlib (#522) Run TODO to Issue #244: Commit 7c51e89 pushed by github-merge-queue Bot
19s main
main
19s
feat: Tagged InferenceSystem (#518) Run TODO to Issue #243: Commit b81a06e pushed by github-merge-queue Bot
11s main
main
11s
chore: conform to header linter (#517) Run TODO to Issue #242: Commit 5e8967d pushed by github-merge-queue Bot
16s main
main
16s
feat(LocallyNameless/Untyped): generalize swap_open_fvars (#516) Run TODO to Issue #241: Commit f908775 pushed by github-merge-queue Bot
18s main
main
18s
ci: Add action to monitor mathlib breaking changes via GitHub issue (… Run TODO to Issue #240: Commit bd9df6c pushed by github-merge-queue Bot
16s main
main
16s
ci: use mathlib-nightly-testing identity bot for auto-update PRs (#506) Run TODO to Issue #239: Commit 870e11e pushed by github-merge-queue Bot
13s main
main
13s
doc: add new reviewer (#505) Run TODO to Issue #238: Commit 68c38a7 pushed by github-merge-queue Bot
27m 13s main
main
27m 13s
refactor: provide a properly encapsulated implementation of OmegaLang… Run TODO to Issue #237: Commit d2e10ff pushed by github-merge-queue Bot
20s main
main
20s
feat: update operation for FinFun (#470) Run TODO to Issue #236: Commit 1a7d871 pushed by github-merge-queue Bot
20s main
main
20s
ci: disable just unicodeLinter from text-based linters (#502) Run TODO to Issue #235: Commit 74f5bf6 pushed by github-merge-queue Bot
14s main
main
14s
ci: action for bumping mathlib (#497) Run TODO to Issue #234: Commit 86a2816 pushed by github-merge-queue Bot
16s main
main
16s
feat: reviewer team (#501) Run TODO to Issue #233: Commit 3ea6f21 pushed by github-merge-queue Bot
11s main
main
11s
chore: bump toolchain to v4.30.0-rc2 (#496) Run TODO to Issue #232: Commit 95fdc7d pushed by github-merge-queue Bot
17s main
main
17s
feat(Cryptography): formalise perfect secrecy and the one-time pad (#… Run TODO to Issue #231: Commit 906574d pushed by github-merge-queue Bot
41s main
main
41s
feat(Free/Effects): add missing run_bind lemmas (#490) Run TODO to Issue #230: Commit d3a9006 pushed by github-merge-queue Bot
13s main
main
13s
fix: missing pures in the Id monad (#439) Run TODO to Issue #229: Commit f22a241 pushed by github-merge-queue Bot
19s main
main
19s
ci: use full weeklyLintSet and mathlib-ci (#488) Run TODO to Issue #228: Commit 615b6d3 pushed by github-merge-queue Bot
19s main
main
19s
feat: define the category of LTSs (#391) Run TODO to Issue #227: Commit 48e29fd pushed by github-merge-queue Bot
18s main
main
18s
feat(Logics/Propositional): definitions (#89) Run TODO to Issue #226: Commit 6178564 pushed by github-merge-queue Bot
18s main
main
18s
chore: bump toolchain to v4.30.0-rc1 (#469) Run TODO to Issue #225: Commit 7643ee4 pushed by github-merge-queue Bot
19s main
main
19s