Skip to content

Actions: leanprover-community/lean4-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update abbreviations.json (#97) melpazoid #174: Commit 1012fa5 pushed by urkud
December 6, 2024 16:49 2m 35s master
master
December 6, 2024 16:49 2m 35s
Update abbreviations.json Update abbreviations.json #5: Manually run by urkud
December 6, 2024 14:49 15s master
master
December 6, 2024 14:49 15s
fix(update-abbr.yml): update URL melpazoid #173: Commit 6a0b677 pushed by urkud
December 6, 2024 14:48 3m 44s master
master
December 6, 2024 14:48 3m 44s
Milestone 3: Breaking Refactor melpazoid #172: Pull request #96 opened by mekeor
December 6, 2024 09:28 3m 2s milestone-03-breaking-refactor
milestone-03-breaking-refactor
December 6, 2024 09:28 3m 2s
EXPERIMENTAL: Drop customizability of input method melpazoid #171: Commit 2ffaae7 pushed by mekeor
December 6, 2024 09:16 2m 54s milestone-03-breaking-refactor
milestone-03-breaking-refactor
December 6, 2024 09:16 2m 54s
EXPERIMENTAL: Drop customizability of input method melpazoid #170: Commit 530fadf pushed by mekeor
December 6, 2024 09:15 2m 55s milestone-03-breaking-refactor
milestone-03-breaking-refactor
December 6, 2024 09:15 2m 55s
Release version 1.1.1 melpazoid #169: Commit a561fa9 pushed by mekeor
December 2, 2024 13:56 4m 9s 1.1.1
1.1.1
December 2, 2024 13:56 4m 9s
Again, do not wrap call of lsp-interface into eval-when-compile melpazoid #168: Commit a9c31a2 pushed by mekeor
December 2, 2024 13:21 2m 36s master
master
December 2, 2024 13:21 2m 36s
Do not wrap call of lsp-interface into eval-when-compile melpazoid #167: Commit 03d0b4b pushed by mekeor
December 2, 2024 12:50 3m 1s master
master
December 2, 2024 12:50 3m 1s
README: New chapter about pitfall regarding Lean3-Mode melpazoid #166: Commit 0ad6796 pushed by mekeor
December 2, 2024 00:31 2m 8s master
master
December 2, 2024 00:31 2m 8s
Release version 1.1.1 melpazoid #165: Commit a561fa9 pushed by mekeor
December 2, 2024 00:10 2m 8s master
master
December 2, 2024 00:10 2m 8s
Release version 1.1.0 melpazoid #164: Commit a4a47bb pushed by mekeor
December 1, 2024 23:56 1m 45s 1.1.0
1.1.0
December 1, 2024 23:56 1m 45s
Merge pull request #87 from leanprover-community/milestone-02-interna… melpazoid #163: Commit f0c7358 pushed by mekeor
December 1, 2024 23:55 1m 58s master
master
December 1, 2024 23:55 1m 58s
2. Milestone: Internal Cleanup melpazoid #162: Pull request #87 synchronize by mekeor
December 1, 2024 23:53 1m 50s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:53 1m 50s
Release version 1.1.0 melpazoid #161: Commit a4a47bb pushed by mekeor
December 1, 2024 23:53 1m 58s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:53 1m 58s
2. Milestone: Internal Cleanup melpazoid #160: Pull request #87 synchronize by mekeor
December 1, 2024 23:31 2m 14s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:31 2m 14s
Release version 1.1.0 melpazoid #159: Commit 3248ed4 pushed by mekeor
December 1, 2024 23:30 1m 49s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:30 1m 49s
2. Milestone: Internal Cleanup melpazoid #158: Pull request #87 synchronize by mekeor
December 1, 2024 23:25 1m 57s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:25 1m 57s
Release version 1.1.0 melpazoid #157: Commit 9f048d2 pushed by mekeor
December 1, 2024 23:25 1m 45s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:25 1m 45s
Release version 1.1.0 melpazoid #156: Commit 9f048d2 pushed by mekeor
December 1, 2024 23:25 1m 53s milestone-03-refactor
milestone-03-refactor
December 1, 2024 23:25 1m 53s
2. Milestone: Internal Cleanup melpazoid #155: Pull request #87 synchronize by mekeor
December 1, 2024 23:15 2m 17s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:15 2m 17s
Release version 1.1.0 melpazoid #154: Commit a808e01 pushed by mekeor
December 1, 2024 23:15 1m 50s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:15 1m 50s
2. Milestone: Internal Cleanup melpazoid #153: Pull request #87 synchronize by mekeor
December 1, 2024 23:10 1m 54s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:10 1m 54s
Explicitely define lean4-mode-hook melpazoid #152: Commit 50385f4 pushed by mekeor
December 1, 2024 23:10 1m 43s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 23:10 1m 43s
2. Milestone: Internal Cleanup melpazoid #151: Pull request #87 synchronize by mekeor
December 1, 2024 21:51 1m 47s milestone-02-internal-cleanup
milestone-02-internal-cleanup
December 1, 2024 21:51 1m 47s