Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,023 workflow runs
1,023 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations
Abbreviations #497: Scheduled
November 14, 2024 02:57 11s main
November 14, 2024 02:57 11s
Abbreviations
Abbreviations #496: Scheduled
November 13, 2024 02:56 11s main
November 13, 2024 02:56 11s
Merge pull request #362 from Julian/pre-commit-ci-update-config
Tests #2397: Commit 1c99daf pushed by Julian
November 12, 2024 16:32 1m 46s main
November 12, 2024 16:32 1m 46s
Merge pull request #362 from Julian/pre-commit-ci-update-config
Regenerate Documentation #108: Commit 1c99daf pushed by Julian
November 12, 2024 16:32 19s main
November 12, 2024 16:32 19s
Abbreviations
Abbreviations #495: Scheduled
November 12, 2024 02:54 15s main
November 12, 2024 02:54 15s
[pre-commit.ci] pre-commit autoupdate
Tests #2396: Pull request #362 opened by pre-commit-ci bot
November 11, 2024 17:44 1m 41s pre-commit-ci-update-config
November 11, 2024 17:44 1m 41s
[pre-commit.ci] pre-commit autoupdate
Regenerate Documentation #107: Commit 0e827a6 pushed by pre-commit-ci bot
November 11, 2024 17:44 20s pre-commit-ci-update-config
November 11, 2024 17:44 20s
[pre-commit.ci] pre-commit autoupdate
Tests #2395: Commit 0e827a6 pushed by pre-commit-ci bot
November 11, 2024 17:44 1m 50s pre-commit-ci-update-config
November 11, 2024 17:44 1m 50s
github_actions in /. - Update #914615053
Dependabot Updates #3: by dependabot bot
November 11, 2024 06:42 36s
November 11, 2024 06:42 36s
Abbreviations
Abbreviations #494: Scheduled
November 11, 2024 02:57 12s main
November 11, 2024 02:57 12s
Abbreviations
Abbreviations #493: Scheduled
November 10, 2024 02:57 13s main
November 10, 2024 02:57 13s
Abbreviations
Abbreviations #492: Scheduled
November 9, 2024 02:54 16s main
November 9, 2024 02:54 16s
Depend on importGraph via reservoir, not git.
Tests #2394: Commit fdae48b pushed by Julian
November 8, 2024 20:21 1m 51s main
November 8, 2024 20:21 1m 51s
Depend on importGraph via reservoir, not git.
Regenerate Documentation #106: Commit fdae48b pushed by Julian
November 8, 2024 20:21 23s main
November 8, 2024 20:21 23s
Remove a few more uses of the vimscript API where Lua API now exists.
Tests #2393: Commit 9eedba6 pushed by Julian
November 8, 2024 18:32 1m 49s main
November 8, 2024 18:32 1m 49s
Remove a few more uses of the vimscript API where Lua API now exists.
Regenerate Documentation #105: Commit 9eedba6 pushed by Julian
November 8, 2024 18:32 19s main
November 8, 2024 18:32 19s
The docs workflow actually does seem to rely on credentials for push.
Tests #2392: Commit c5adc15 pushed by Julian
November 8, 2024 17:42 1m 47s main
November 8, 2024 17:42 1m 47s
The docs workflow actually does seem to rely on credentials for push.
Regenerate Documentation #104: Commit c5adc15 pushed by Julian
November 8, 2024 17:42 18s main
November 8, 2024 17:42 18s
Kill another thing in util.
Regenerate Documentation #103: Commit 419d54b pushed by Julian
November 8, 2024 17:32 20s main
November 8, 2024 17:32 20s
Kill another thing in util.
Tests #2391: Commit 419d54b pushed by Julian
November 8, 2024 17:32 1m 48s main
November 8, 2024 17:32 1m 48s
Minor trimming in the checkhealth output.
Regenerate Documentation #102: Commit decc49e pushed by Julian
November 8, 2024 17:01 25s main
November 8, 2024 17:01 25s
Minor trimming in the checkhealth output.
Tests #2390: Commit decc49e pushed by Julian
November 8, 2024 17:01 1m 39s main
November 8, 2024 17:01 1m 39s
Remove util.subprocess_run.
Tests #2389: Commit 32134c0 pushed by Julian
November 8, 2024 16:48 2m 20s main
November 8, 2024 16:48 2m 20s
Remove util.subprocess_run.
Regenerate Documentation #101: Commit 32134c0 pushed by Julian
November 8, 2024 16:48 20s main
November 8, 2024 16:48 20s
Abbreviations
Abbreviations #491: Scheduled
November 8, 2024 02:56 11s main
November 8, 2024 02:56 11s