Skip to content

Actions: haskell/lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #617 from MangoIV/mangoiv/flush-by-uri Nix #751: Commit f893e8d pushed by fendor
August 9, 2025 14:03 13m 14s master
master
August 9, 2025 14:03 13m 14s
Merge pull request #617 from MangoIV/mangoiv/flush-by-uri Haskell CI #939: Commit f893e8d pushed by fendor
August 9, 2025 14:03 18m 35s master
master
August 9, 2025 14:03 18m 35s
Merge pull request #617 from MangoIV/mangoiv/flush-by-uri Format #252: Commit f893e8d pushed by fendor
August 9, 2025 14:03 1m 33s master
master
August 9, 2025 14:03 1m 33s
Add support for setting up language servers to use websockets Haskell CI #938: Pull request #620 synchronize by MangoIV
August 9, 2025 10:30 14m 54s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 9, 2025 10:30 14m 54s
Add support for setting up language servers to use websockets Nix #750: Pull request #620 synchronize by MangoIV
August 9, 2025 10:30 13m 23s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 9, 2025 10:30 13m 23s
Add support for setting up language servers to use websockets Format #251: Pull request #620 synchronize by MangoIV
August 9, 2025 10:30 1m 31s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 9, 2025 10:30 1m 31s
Add support for setting up language servers to use websockets Nix #749: Pull request #620 opened by MangoIV
August 8, 2025 15:46 13m 43s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 8, 2025 15:46 13m 43s
Add support for setting up language servers to use websockets Format #250: Pull request #620 opened by MangoIV
August 8, 2025 15:46 1m 36s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 8, 2025 15:46 1m 36s
Add support for setting up language servers to use websockets Haskell CI #937: Pull request #620 opened by MangoIV
August 8, 2025 15:46 19m 43s MangoIV:mangoiv/websocket
MangoIV:mangoiv/websocket
August 8, 2025 15:46 19m 43s
[feat] allow flushing diagnostics by source and uri Haskell CI #936: Pull request #617 synchronize by MangoIV
August 7, 2025 15:12 20m 10s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
August 7, 2025 15:12 20m 10s
[feat] allow flushing diagnostics by source and uri Nix #748: Pull request #617 synchronize by MangoIV
August 7, 2025 15:12 13m 47s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
August 7, 2025 15:12 13m 47s
[feat] allow flushing diagnostics by source and uri Format #249: Pull request #617 synchronize by MangoIV
August 7, 2025 15:12 1m 33s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
August 7, 2025 15:12 1m 33s
[feat] allow flushing diagnostics by source and uri Nix #747: Pull request #617 synchronize by MangoIV
July 29, 2025 14:14 16m 16s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 14:14 16m 16s
[feat] allow flushing diagnostics by source and uri Format #248: Pull request #617 synchronize by MangoIV
July 29, 2025 14:14 1m 30s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 14:14 1m 30s
[feat] allow flushing diagnostics by source and uri Haskell CI #935: Pull request #617 synchronize by MangoIV
July 29, 2025 14:14 11m 46s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 14:14 11m 46s
[feat] allow flushing diagnostics by source and uri Haskell CI #934: Pull request #617 synchronize by MangoIV
July 29, 2025 13:50 15m 20s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:50 15m 20s
[feat] allow flushing diagnostics by source and uri Nix #746: Pull request #617 synchronize by MangoIV
July 29, 2025 13:50 13m 45s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:50 13m 45s
[feat] allow flushing diagnostics by source and uri Format #247: Pull request #617 synchronize by MangoIV
July 29, 2025 13:50 1m 30s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:50 1m 30s
[feat] allow flushing diagnostics by source and uri Nix #745: Pull request #617 opened by MangoIV
July 29, 2025 13:41 14m 59s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:41 14m 59s
[feat] allow flushing diagnostics by source and uri Haskell CI #933: Pull request #617 opened by MangoIV
July 29, 2025 13:41 18m 4s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:41 18m 4s
[feat] allow flushing diagnostics by source and uri Format #246: Pull request #617 opened by MangoIV
July 29, 2025 13:41 1m 33s MangoIV:mangoiv/flush-by-uri
MangoIV:mangoiv/flush-by-uri
July 29, 2025 13:41 1m 33s
Update CI again (#614) Haskell CI #932: Commit ecbb398 pushed by michaelpj
July 19, 2025 12:45 14m 34s master
master
July 19, 2025 12:45 14m 34s
Update CI again (#614) Nix #744: Commit ecbb398 pushed by michaelpj
July 19, 2025 12:45 14m 41s master
master
July 19, 2025 12:45 14m 41s
Update CI again (#614) Format #245: Commit ecbb398 pushed by michaelpj
July 19, 2025 12:45 1m 29s master
master
July 19, 2025 12:45 1m 29s
Update CI again Haskell CI #931: Pull request #614 opened by michaelpj
July 19, 2025 12:28 13m 50s push-uzzyuwrznryt
push-uzzyuwrznryt
July 19, 2025 12:28 13m 50s