Skip to content

Actions: leanprover-community/lean4-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix incorrect syntax highlighting on lean4-debugging keyword (#61) melpazoid #71: Commit 004ad0e pushed by urkud
October 17, 2024 07:10 20s master
master
October 17, 2024 07:10 20s
Fix magit-section usage so the expand/contract functionality works (#59) melpazoid #70: Commit aa9aa68 pushed by urkud
October 17, 2024 07:08 25s master
master
October 17, 2024 07:08 25s
Locate root using "lean-toolchain", not "lakefile.lean" (#64) melpazoid #65: Commit da7b63d pushed by urkud
May 13, 2024 22:22 1m 53s master
master
May 13, 2024 22:22 1m 53s
Locate root using "lean-toolchain", not "lakefile.lean" melpazoid #64: Pull request #64 opened by bustercopley
May 13, 2024 17:55 3m 29s bustercopley:master
bustercopley:master
May 13, 2024 17:55 3m 29s
mention tactic state in README (#63) melpazoid #63: Commit 60d066f pushed by urkud
April 30, 2024 14:11 2m 42s master
master
April 30, 2024 14:11 2m 42s
mention tactic state in README melpazoid #62: Pull request #63 synchronize by lambdaofgod
April 29, 2024 21:28 2m 16s lambdaofgod:master
lambdaofgod:master
April 29, 2024 21:28 2m 16s
Use project top-level for lsp-mode workspace root (#48) melpazoid #58: Commit 2eccb30 pushed by urkud
April 20, 2024 05:09 3m 33s master
master
April 20, 2024 05:09 3m 33s
chore: delete unused code in "lean4-util.el" (#60) melpazoid #57: Commit ac07247 pushed by urkud
April 10, 2024 02:47 2m 26s master
master
April 10, 2024 02:47 2m 26s
Fix incorrect syntax highlighting on lean4-debugging keyword melpazoid #56: Pull request #61 opened by casavaca
March 13, 2024 06:44 2m 44s casavaca:master
casavaca:master
March 13, 2024 06:44 2m 44s
Fix magit-section usage so the expand/contract functionality works melpazoid #55: Pull request #59 synchronize by bustercopley
March 6, 2024 15:46 3m 15s bustercopley:magit-section
bustercopley:magit-section
March 6, 2024 15:46 3m 15s
chore: delete unused code in "lean4-util.el" melpazoid #54: Pull request #60 synchronize by bustercopley
March 6, 2024 15:43 6m 22s bustercopley:util-unused
bustercopley:util-unused
March 6, 2024 15:43 6m 22s
Removing unnecessary dependencies (#51) melpazoid #53: Commit f1f24c1 pushed by urkud
March 6, 2024 15:01 3m 26s master
master
March 6, 2024 15:01 3m 26s
Update abbreviations.json (#57) melpazoid #52: Commit c20a2a9 pushed by urkud
March 6, 2024 15:00 2m 18s master
master
March 6, 2024 15:00 2m 18s
Update abbreviations.json Update abbreviations.json #4: Manually run by urkud
March 6, 2024 14:56 12s master
master
March 6, 2024 14:56 12s
Fix magit-section usage so the expand/contract functionality works melpazoid #51: Pull request #59 synchronize by bustercopley
March 2, 2024 12:15 2m 37s bustercopley:magit-section
bustercopley:magit-section
March 2, 2024 12:15 2m 37s
chore: delete unused code in "lean4-util.el" melpazoid #50: Pull request #60 opened by bustercopley
March 2, 2024 12:09 3m 38s bustercopley:util-unused
bustercopley:util-unused
March 2, 2024 12:09 3m 38s
Fix magit-section usage so the expand/contract functionality works melpazoid #49: Pull request #59 opened by bustercopley
March 2, 2024 01:16 59s bustercopley:magit-section
bustercopley:magit-section
March 2, 2024 01:16 59s
Update abbreviations.json Update abbreviations.json #3: Manually run by urkud
February 29, 2024 13:48 14s master
master
February 29, 2024 13:48 14s
Removing unnecessary dependencies melpazoid #48: Pull request #51 synchronize by phikal
February 29, 2024 09:34 3m 29s phikal:master
phikal:master
February 29, 2024 09:34 3m 29s
Update abbreviations.json (#56) melpazoid #43: Commit c67803e pushed by urkud
February 23, 2024 17:08 2m 25s master
master
February 23, 2024 17:08 2m 25s
Update abbreviations.json Update abbreviations.json #2: Manually run by urkud
February 23, 2024 17:07 15s master
master
February 23, 2024 17:07 15s
Removing unnecessary dependencies melpazoid #42: Pull request #51 synchronize by phikal
February 23, 2024 16:22 2m 42s phikal:master
phikal:master
February 23, 2024 16:22 2m 42s
Use project top-level for lsp-mode workspace root melpazoid #41: Pull request #48 synchronize by bustercopley
February 23, 2024 12:02 2m 39s bustercopley:workspace-root
bustercopley:workspace-root
February 23, 2024 12:02 2m 39s
Don't permanently change Emacs standard-output. (#46) melpazoid #40: Commit 6fbc181 pushed by urkud
February 23, 2024 07:41 2m 28s master
master
February 23, 2024 07:41 2m 28s
Avoid clearing echo area during info-buffer redisplay (#49) melpazoid #39: Commit ecd200b pushed by urkud
February 23, 2024 07:37 2m 37s master
master
February 23, 2024 07:37 2m 37s