Skip to content

Actions: leanprover-community/lean4-mode

Actions

melpazoid

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
melpazoid.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
Silence byte-compiler warnings (#47) melpazoid #38: Commit 82241b9 pushed by urkud
February 23, 2024 07:30 2m 28s master
master
February 23, 2024 07:30 2m 28s