Skip to content

Actions: fwcd/curry-language-server

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #75 from fwcd/mptc Build #70: Commit 28a798e pushed by fwcd
November 14, 2024 03:43 21m 57s main
main
November 14, 2024 03:43 21m 57s
Update frontend to add support for MPTC and functional dependencies Build #69: Pull request #75 synchronize by fwcd
November 14, 2024 03:15 27m 44s mptc
mptc
November 14, 2024 03:15 27m 44s
Update frontend to add support for MPTC and functional dependencies Build #68: Pull request #75 opened by fwcd
November 14, 2024 01:02 5m 57s mptc
mptc
November 14, 2024 01:02 5m 57s
Prefix progress updater with underscore for now Build #67: Commit c83cd1b pushed by fwcd
October 14, 2024 15:19 17m 36s main
main
October 14, 2024 15:19 17m 36s
Replace prerendered banner with logo Build #66: Commit 56a9ae3 pushed by fwcd
October 14, 2024 15:17 16m 34s main
main
October 14, 2024 15:17 16m 34s
Merge pull request #74 from fwcd/initialize-handling Build #65: Commit a0b361e pushed by fwcd
October 14, 2024 15:13 17m 4s main
main
October 14, 2024 15:13 17m 4s
Move initialization into doInitialize and report progress Build #64: Pull request #74 synchronize by fwcd
October 14, 2024 14:59 17m 30s initialize-handling
initialize-handling
October 14, 2024 14:59 17m 30s
Move initialization into doInitialize and report progress Build #63: Pull request #74 opened by fwcd
October 14, 2024 14:56 21m 47s initialize-handling
initialize-handling
October 14, 2024 14:56 21m 47s
Display initialization progress and index asynchronously Build #62: Pull request #24 synchronize by fwcd
October 14, 2024 02:14 17m 1s init-progress
init-progress
October 14, 2024 02:14 17m 1s
Display initialization progress and index asynchronously Build #61: Pull request #24 synchronize by fwcd
October 14, 2024 01:30 15m 25s init-progress
init-progress
October 14, 2024 01:30 15m 25s
Merge pull request #70 from fwcd/lts-22.30 Build #60: Commit cd9e80a pushed by fwcd
October 10, 2024 16:48 16m 13s main
main
October 10, 2024 16:48 16m 13s
Migrate to LTS 22.30 (GHC 9.6) and lsp 2.7 Build #59: Pull request #70 synchronize by fwcd
October 10, 2024 16:19 17m 46s lts-22.30
lts-22.30
October 10, 2024 16:19 17m 46s
Migrate to LTS 22.30 (GHC 9.6) and lsp 2.7 Build #58: Pull request #70 synchronize by fwcd
August 6, 2024 15:54 16m 56s lts-22.30
lts-22.30
August 6, 2024 15:54 16m 56s
Merge pull request #73 from fwcd/record-dot-part-2 Build #57: Commit f41203f pushed by fwcd
August 6, 2024 15:50 12m 51s main
main
August 6, 2024 15:50 12m 51s
Migrate remaining types to record dot syntax Build #56: Pull request #73 opened by fwcd
August 6, 2024 15:02 12m 21s record-dot-part-2
record-dot-part-2
August 6, 2024 15:02 12m 21s
Migrate to LTS 22.30 (GHC 9.6) and lsp 2.7 Build #55: Pull request #70 synchronize by fwcd
July 29, 2024 22:51 16m 54s lts-22.30
lts-22.30
July 29, 2024 22:51 16m 54s
Migrate to LTS 22.30 (GHC 9.6) and lsp 2.7 Build #54: Pull request #70 synchronize by fwcd
July 29, 2024 21:51 13m 32s lts-22.30
lts-22.30
July 29, 2024 21:51 13m 32s
Bump version to 1.0.0.4 Build #53: Commit bd012fb pushed by fwcd
July 29, 2024 02:23 12m 34s main
main
July 29, 2024 02:23 12m 34s
Bump version to 1.0.0.3 Build #52: Commit 65b7a77 pushed by fwcd
July 29, 2024 01:51 11m 51s main
main
July 29, 2024 01:51 11m 51s
Merge pull request #72 from fwcd/refactor-bindist Build #51: Commit 1568f09 pushed by fwcd
July 29, 2024 01:49 12m 28s main
main
July 29, 2024 01:49 12m 28s
Refactor bindist script to generate gzipped tarballs on Linux and macOS Build #50: Pull request #72 opened by fwcd
July 29, 2024 01:48 14m 47s refactor-bindist
refactor-bindist
July 29, 2024 01:48 14m 47s
Merge pull request #71 from fwcd/record-dot Build #49: Commit 0abe995 pushed by fwcd
July 27, 2024 10:49 13m 19s main
main
July 27, 2024 10:49 13m 19s
Bump version to 1.0.0.2 Build #48: Commit eec924a pushed by fwcd
July 27, 2024 02:39 13m 28s main
main
July 27, 2024 02:39 13m 28s
Migrate to record dot syntax Build #47: Pull request #71 synchronize by fwcd
July 27, 2024 02:35 13m 22s record-dot
record-dot
July 27, 2024 02:35 13m 22s
Migrate to record dot syntax Build #46: Pull request #71 opened by fwcd
July 27, 2024 02:22 13m 0s record-dot
record-dot
July 27, 2024 02:22 13m 0s