Skip to content

Actions: idris-community/idris2-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[ refactor ] ScopedSnocList: Swap Scope on SnocList (idris2-lsp part) Ubuntu #533: Pull request #242 synchronize by GulinSS
1m 8s GulinSS:wip/idris2/pull/3513
GulinSS:wip/idris2/pull/3513
1m 8s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (idris2-lsp part) Ubuntu #532: Pull request #242 synchronize by GulinSS
15m 28s GulinSS:wip/idris2/pull/3513
GulinSS:wip/idris2/pull/3513
15m 28s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (idris2-lsp part) Ubuntu #531: Pull request #242 synchronize by GulinSS
13m 48s GulinSS:wip/idris2/pull/3513
GulinSS:wip/idris2/pull/3513
13m 48s