Skip to content

Actions: fwcd/curry-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #85 from fwcd/unref-var-quick-fix Build #99: Commit 1cf8ca3 pushed by fwcd
February 20, 2025 01:47 28m 8s main
main
February 20, 2025 01:47 28m 8s
Update frontend to support unreferenced variable quick fix Build #98: Pull request #85 synchronize by fwcd
February 20, 2025 01:45 29m 43s unref-var-quick-fix
unref-var-quick-fix
February 20, 2025 01:45 29m 43s
Merge pull request #83 from fwcd/case-mode-warning-quick-fix Build #97: Commit ef02cb0 pushed by fwcd
February 20, 2025 01:42 19m 2s main
main
February 20, 2025 01:42 19m 2s
Update frontend to support unreferenced variable quick fix Build #96: Pull request #85 synchronize by fwcd
February 18, 2025 21:30 18m 22s unref-var-quick-fix
unref-var-quick-fix
February 18, 2025 21:30 18m 22s
Update frontend to support unreferenced variable quick fix Build #95: Pull request #85 opened by fwcd
February 18, 2025 21:27 19m 7s unref-var-quick-fix
unref-var-quick-fix
February 18, 2025 21:27 19m 7s
Update frontend to support case mode quick fix Build #94: Pull request #83 opened by fwcd
February 18, 2025 01:25 20m 55s case-mode-warning-quick-fix
case-mode-warning-quick-fix
February 18, 2025 01:25 20m 55s
Merge pull request #82 from fwcd/quick-fixes Build #93: Commit 90fe3c6 pushed by fwcd
February 13, 2025 23:03 18m 41s main
main
February 13, 2025 23:03 18m 41s
Add support for frontend-emitted quick fixes Build #92: Pull request #82 synchronize by fwcd
February 13, 2025 14:36 19m 27s quick-fixes
quick-fixes
February 13, 2025 14:36 19m 27s
Add support for frontend-emitted quick fixes Build #91: Pull request #82 opened by fwcd
February 12, 2025 01:24 21m 45s quick-fixes
quick-fixes
February 12, 2025 01:24 21m 45s
Merge pull request #81 from fwcd/check-errs-before-writing-interface Build #90: Commit b75e67d pushed by fwcd
February 2, 2025 03:36 18m 37s main
main
February 2, 2025 03:36 18m 37s
Only write interface to disk if no errors were found Build #89: Pull request #81 opened by fwcd
January 18, 2025 21:03 20m 7s check-errs-before-writing-interface
check-errs-before-writing-interface
January 18, 2025 21:03 20m 7s
Merge pull request #79 from fwcd/migrate-to-renamed-frontend-modules Build #88: Commit 2a67944 pushed by fwcd
January 16, 2025 17:36 19m 16s main
main
January 16, 2025 17:36 19m 16s
Migrate Curry frontend imports to the new module structure Build #87: Pull request #79 opened by fwcd
January 16, 2025 15:14 20m 12s migrate-to-renamed-frontend-modules
migrate-to-renamed-frontend-modules
January 16, 2025 15:14 20m 12s
Merge pull request #78 from fwcd/extension-symbolkind-param Build #86: Commit c230297 pushed by fwcd
December 8, 2024 22:03 18m 13s main
main
December 8, 2024 22:03 18m 13s
Expose SymbolKind in hover extensions Build #85: Pull request #78 synchronize by fwcd
December 8, 2024 21:30 19m 24s extension-symbolkind-param
extension-symbolkind-param
December 8, 2024 21:30 19m 24s
Expose SymbolKind in hover extensions Build #84: Pull request #78 opened by fwcd
December 8, 2024 21:23 17m 35s extension-symbolkind-param
extension-symbolkind-param
December 8, 2024 21:23 17m 35s
Fix fallback standard library resolution Build #83: Commit 619a9b4 pushed by fwcd
December 8, 2024 17:16 18m 42s main
main
December 8, 2024 17:16 18m 42s
Silence a (bogus?) ambiguous fields warning Build #82: Commit 4cb9320 pushed by fwcd
December 6, 2024 03:18 18m 30s main
main
December 6, 2024 03:18 18m 30s
Turn could-not-update-paths.json message into warning Build #81: Commit 9ce4af1 pushed by fwcd
December 6, 2024 03:17 20m 55s main
main
December 6, 2024 03:17 20m 55s
Merge pull request #77 from fwcd/extensions Build #80: Commit f456a90 pushed by fwcd
December 6, 2024 02:52 18m 51s main
main
December 6, 2024 02:52 18m 51s
Add support for hover extensions Build #79: Pull request #77 synchronize by fwcd
December 6, 2024 02:10 18m 49s extensions
extensions
December 6, 2024 02:10 18m 49s
Add support for hover extensions Build #78: Pull request #77 synchronize by fwcd
December 4, 2024 02:35 17m 29s extensions
extensions
December 4, 2024 02:35 17m 29s
Add support for hover extensions Build #77: Pull request #77 synchronize by fwcd
December 4, 2024 02:22 18m 12s extensions
extensions
December 4, 2024 02:22 18m 12s
Add support for hover extensions Build #76: Pull request #77 synchronize by fwcd
December 4, 2024 02:21 17m 39s extensions
extensions
December 4, 2024 02:21 17m 39s
Add support for hover extensions Build #75: Pull request #77 synchronize by fwcd
December 4, 2024 02:10 20m 31s extensions
extensions
December 4, 2024 02:10 20m 31s