Skip to content

Actions: idris-community/idris2-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ chore ] bump Idris2 and other tracked dependencies (#249) Ubuntu #562: Commit 5d46d6e pushed by mattpolzin
17m 42s main
main
17m 42s
Bump git-tracked dependencies to latest Ubuntu #561: Pull request #249 opened by mattpolzin
17m 6s bump-git-tracked-dependencies
bump-git-tracked-dependencies
17m 6s
[ chore ] bump Idris2 and other tracked dependencies Ubuntu #560: Commit 73c0974 pushed by mattpolzin
17m 10s bump-git-tracked-dependencies
bump-git-tracked-dependencies
17m 10s
break recursion in flake inputs (#247) Ubuntu #556: Commit 8134454 pushed by mattpolzin
20m 2s main
main
20m 2s
break recursion in flake inputs Ubuntu #555: Pull request #247 opened by mattpolzin
19m 31s mattpolzin:proposed-alternative-breaking-recursion
mattpolzin:proposed-alternative-breaking-recursion
19m 31s
Chip in Ubuntu #553: Pull request #241 synchronize by Russoul
19m 17s Russoul:chip-in
Russoul:chip-in
19m 17s
update all dependencies tracked within this repo to latest main (#245) Ubuntu #552: Commit 10d7b13 pushed by mattpolzin
19m 40s main
main
19m 40s
update all dependencies tracked within this repo to latest main Ubuntu #551: Pull request #245 synchronize by mattpolzin
18m 32s update-dependencies
update-dependencies
18m 32s
update all dependencies tracked within this repo to latest main Ubuntu #550: Commit a7e3999 pushed by mattpolzin
19m 35s update-dependencies
update-dependencies
19m 35s
update all dependencies tracked within this repo to latest main Ubuntu #549: Pull request #245 synchronize by mattpolzin
3m 34s update-dependencies
update-dependencies
3m 34s
update all dependencies tracked within this repo to latest main Ubuntu #548: Commit 9d3cf54 pushed by mattpolzin
3m 47s update-dependencies
update-dependencies
3m 47s
update all dependencies tracked within this repo to latest main Ubuntu #547: Pull request #245 opened by mattpolzin
19m 20s update-dependencies
update-dependencies
19m 20s
update all dependencies tracked within this repo to latest main Ubuntu #546: Commit e8842f0 pushed by mattpolzin
19m 41s update-dependencies
update-dependencies
19m 41s
[ upstream ] Remove type constructor tags (#243) Ubuntu #545: Commit 2e38e3e pushed by buzden
19m 26s main
main
19m 26s
[ upstream ] Remove type constructor tags Ubuntu #544: Pull request #243 synchronize by spcfox
3m 59s spcfox:remove-type-tag
spcfox:remove-type-tag
3m 59s
[ upstream ] Remove type constructor tags Ubuntu #543: Pull request #243 synchronize by spcfox
19m 3s spcfox:remove-type-tag
spcfox:remove-type-tag
19m 3s
[ upstream ] Remove type constructor tags Ubuntu #542: Pull request #243 synchronize by spcfox
1m 16s spcfox:remove-type-tag
spcfox:remove-type-tag
1m 16s
[ upstream ] Remove type constructor tags Ubuntu #541: Pull request #243 synchronize by andrevidela
17m 22s spcfox:remove-type-tag
spcfox:remove-type-tag
17m 22s
update Idris2 submodule and flake input (#244) Ubuntu #540: Commit eba489f pushed by mattpolzin
17m 50s main
main
17m 50s
update Idris2 submodule and flake input Ubuntu #539: Pull request #244 synchronize by mattpolzin
18m 29s update-idris2
update-idris2
18m 29s
update CI Action versions Ubuntu #538: Commit 8b796ac pushed by mattpolzin
17m 46s update-idris2
update-idris2
17m 46s
update Idris2 submodule and flake input Ubuntu #537: Pull request #244 opened by mattpolzin
6s update-idris2
update-idris2
6s
update Idris2 submodule and flake input Ubuntu #536: Commit c9875b3 pushed by mattpolzin
7s update-idris2
update-idris2
7s
[ upstream ] Remove type constructor tags Ubuntu #535: Pull request #243 synchronize by spcfox
16m 19s spcfox:remove-type-tag
spcfox:remove-type-tag
16m 19s
[ upstream ] Remove type constructor tags Ubuntu #534: Pull request #243 opened by spcfox
6s spcfox:remove-type-tag
spcfox:remove-type-tag
6s