8000 Workflow runs · fwcd/curry-language-server · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: fwcd/curry-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump license year in license too Build #125: Commit d6b0f21 pushed by fwcd
May 8, 2025 00:56 19m 10s main
main
May 8, 2025 00:56 19m 10s
Merge pull request #97 from fwcd/local-ident-lookup Deploy #11: Commit 1f9637f pushed by fwcd
May 8, 2025 00:55 30m 21s v1.0.0.4
v1.0.0.4
May 8, 2025 00:55 30m 21s
Bump copyright year Build #124: Commit f08a3b8 pushed by fwcd
May 8, 2025 00:55 22m 27s main
main
May 8, 2025 00:55 22m 27s
Merge pull request #97 from fwcd/local-ident-lookup Build #123: Commit 1f9637f pushed by fwcd
May 7, 2025 14:13 20m 58s main
main
May 7, 2025 14:13 20m 58s
Resolve local identifiers in definition lookups, hover etc. Build #122: Pull request #97 synchronize by fwcd
May 7, 2025 02:30 18m 34s local-ident-lookup
local-ident-lookup
May 7, 2025 02:30 18m 34s
Resolve local identifiers in definition lookups, hover etc. Build #121: Pull request #97 synchronize by fwcd
May 7, 2025 02:29 18m 24s local-ident-lookup
local-ident-lookup
May 7, 2025 02:29 18m 24s
Resolve local identifiers in definition lookups, hover etc. Build #120: Pull request #97 synchronize by fwcd
May 7, 2025 01:20 19m 15s local-ident-lookup
local-ident-lookup
May 7, 2025 01:20 19m 15s
Resolve local identifiers in definition lookups, hover etc. Build #119: Pull request #97 opened by fwcd
May 7, 2025 01:18 17m 52s local-ident-lookup
local-ident-lookup
May 7, 2025 01:18 17m 52s
Merge pull request #96 from fwcd/find-references Build #118: Commit c369b27 pushed by fwcd
May 7, 2025 00:19 18m 0s main
main
May 7, 2025 00:19 18m 0s
Implement references lookup (textDocument/references) Build #117: Pull request #96 synchronize by fwcd
May 7, 2025 00:03 18m 46s find-references
find-references
May 7, 2025 00:03 18m 46s
Implement references lookup (textDocument/references) Build #116: Pull request #96 opened by fwcd
May 7, 2025 00:01 17m 57s find-references
find-references
May 7, 2025 00:01 17m 57s
Merge pull request #95 from fwcd/plaintext-hovers Build #115: Commit c641324 pushed by fwcd
May 6, 2025 17:29 22m 59s main
main
May 6, 2025 17:29 22m 59s
Fix codeblocks generated for plaintext extension hovers Build #114: Pull request #95 opened by fwcd
May 6, 2025 17:13 21m 59s plaintext-hovers
plaintext-hovers
May 6, 2025 17:13 21m 59s
Merge pull request #93 from fwcd/update-frontend-warnings-and-errors Build #113: Commit 3a6bd2c pushed by fwcd
March 17, 2025 07:41 21m 21s main
main
March 17, 2025 07:41 21m 21s
Update frontend to branch that supports emitting warnings and errors in parallel Build #112: Pull request #93 opened by fwcd
March 17, 2025 01:38 21m 5s update-frontend-warnings-and-errors
update-frontend-warnings-and-errors
March 17, 2025 01:38 21m 5s
Merge pull request #91 from fwcd/update-frontend-fix-newtype-warning Build #111: Commit ee5cfc9 pushed by fwcd
March 13, 2025 23:05 18m 56s main
main
March 13, 2025 23:05 18m 56s
Update Curry frontend with newtype warning fix Build #110: Pull request #91 opened by fwcd
March 13, 2025 00:54 17m 57s update-frontend-fix-newtype-warning
update-frontend-fix-newtype-warning
March 13, 2025 00:54 17m 57s
Merge pull request #90 from fwcd/evaluate-compile-state Build #109: Commit 9cf6026 pushed by fwcd
March 13, 2025 00:46 19m 17s main
main
March 13, 2025 00:46 19m 17s
Force evaluation of warnings and errors in catchCYIO Build #108: Pull request #90 opened by fwcd
March 13, 2025 00:25 18m 27s evaluate-compile-state
evaluate-compile-state
March 13, 2025 00:25 18m 27s
Merge pull request #88 from fwcd/warn-missing-fields Build #107: Commit 1f5caa0 pushed by fwcd
March 3, 2025 21:42 21m 11s main
main
March 3, 2025 21:42 21m 11s
Bump frontend to support missing field warnings Build #106: Pull request #88 opened by fwcd
March 3, 2025 04:40 18m 38s warn-missing-fields
warn-missing-fields
March 3, 2025 04:40 18m 38s
Bump frontend Build #105: Commit 75cd39f pushed by fwcd
March 3, 2025 04:12 23m 38s main
main
March 3, 2025 04:12 23m 38s
Merge pull request #87 from fwcd/no-body-quick-fix Build #104: Commit ec32e9e pushed by fwcd
March 3, 2025 04:11 21m 7s main
main
March 3, 2025 04:11 21m 7s
Update frontend to support quick fix for stubbing out functions without body Build #103: Pull request #87 opened by fwcd
February 25, 2025 02:42 19m 15s no-body-quick-fix
no-body-quick-fix
February 25, 2025 02:42 19m 15s
Merge pull request #86 from fwcd/filter-code-actions-diag-ranges Build #102: Commit 3309c30 pushed by fwcd
February 25, 2025 02:31 18m 43s main
main
February 25, 2025 02:31 18m 43s
0