Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,084 workflow runs
2,084 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations Abbreviations #956: Scheduled
10s main
main
10s
Abbreviations Abbreviations #955: Scheduled
10s main
main
10s
Abbreviations Abbreviations #954: Scheduled
10s main
main
10s
Abbreviations Abbreviations #953: Scheduled
8s main
main
8s
Add config for goals accomplished and no goals Tests #3123: Pull request #394 synchronize by stephen-huan
7m 47s stephen-huan:config-title
stephen-huan:config-title
7m 47s
Add config for goals accomplished and no goals GitHub Actions Security Analysis with zizmor 🌈 #369: Pull request #394 synchronize by stephen-huan
22s stephen-huan:config-title
stephen-huan:config-title
22s
Abbreviations Abbreviations #952: Scheduled
8s main
main
8s
Abbreviations Abbreviations #951: Scheduled
11s main
main
11s
github_actions in /. - Update #1237675296 Dependabot Updates #74: by dependabot bot
1m 48s main
main
1m 48s
Abbreviations Abbreviations #950: Scheduled
8s main
main
8s
Abbreviations Abbreviations #949: Scheduled
7s main
main
7s
Abbreviations Abbreviations #948: Scheduled
11s main
main
11s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #368: Pull request #474 synchronize by pre-commit-ci bot
20s scott7z:infoview-fixes
scott7z:infoview-fixes
20s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3122: Pull request #474 synchronize by pre-commit-ci bot
7m 7s scott7z:infoview-fixes
scott7z:infoview-fixes
7m 7s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3121: Pull request #474 opened by scott7z
6m 0s scott7z:infoview-fixes
scott7z:infoview-fixes
6m 0s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #367: Pull request #474 opened by scott7z
22s scott7z:infoview-fixes
scott7z:infoview-fixes
22s
Again try coercing this test at being more reliable. Tests #3120: Commit d6d4804 pushed by Julian
3m 30s main
main
3m 30s
Again try coercing this test at being more reliable. GitHub Actions Security Analysis with zizmor 🌈 #366: Commit d6d4804 pushed by Julian
19s main
main
19s
Again try coercing this test at being more reliable. Regenerate Documentation #727: Commit d6d4804 pushed by Julian
55s main
main
55s
When the color scheme changes, don't lose syntax highlighting. Tests #3119: Commit 3c13a0b pushed by Julian
8m 48s main
main
8m 48s
When the color scheme changes, don't lose syntax highlighting. GitHub Actions Security Analysis with zizmor 🌈 #365: Commit 3c13a0b pushed by Julian
18s main
main
18s
When the color scheme changes, don't lose syntax highlighting. Regenerate Documentation #726: Commit 3c13a0b pushed by Julian
59s main
main
59s
Fix syntax highlighting of term goal hypothesis names. Tests #3118: Commit 92fbee1 pushed by Julian
5m 47s main
main
5m 47s
Fix syntax highlighting of term goal hypothesis names. GitHub Actions Security Analysis with zizmor 🌈 #364: Commit 92fbee1 pushed by Julian
26s main
main
26s
Fix syntax highlighting of term goal hypothesis names. Regenerate Documentation #725: Commit 92fbee1 pushed by Julian
55s main
main
55s