Skip to content

Actions: marijnvanwezel/haskell-dev-env

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use master (see https://github.com/haskell/haskell-language-server/is… Build development container #24: Commit 5a700c1 pushed by marijnvanwezel
February 11, 2025 19:06 57m 50s master
master
February 11, 2025 19:06 57m 50s
Move compiling HLS down Build development container #23: Commit e2b1713 pushed by marijnvanwezel
February 11, 2025 18:20 15m 54s master
master
February 11, 2025 18:20 15m 54s
Finally upgrade (hopefully) to LTS 9.8.4 Build development container #22: Commit 67a616e pushed by marijnvanwezel
February 11, 2025 17:47 10m 24s master
master
February 11, 2025 17:47 10m 24s
Update Dockerfile Build development container #21: Commit 3c88b74 pushed by marijnvanwezel
February 11, 2025 16:32 35m 15s master
master
February 11, 2025 16:32 35m 15s
Update Dockerfile Build development container #20: Commit 6634814 pushed by marijnvanwezel
February 11, 2025 16:11 12m 52s master
master
February 11, 2025 16:11 12m 52s
Update Dockerfile Build development container #19: Commit 08d055c pushed by marijnvanwezel
February 10, 2025 19:58 34m 25s master
master
February 10, 2025 19:58 34m 25s
Update README.md Build development container #18: Commit 3852493 pushed by marijnvanwezel
February 10, 2025 16:37 37m 4s master
master
February 10, 2025 16:37 37m 4s
Update Dockerfile Build development container #17: Commit 52e4780 pushed by marijnvanwezel
February 10, 2025 16:36 50s master
master
February 10, 2025 16:36 50s
Update README.md Build development container #16: Commit e68f9da pushed by marijnvanwezel
February 10, 2025 16:30 21s master
master
February 10, 2025 16:30 21s
Update Dockerfile Build development container #15: Commit 0c5562f pushed by marijnvanwezel
February 10, 2025 14:18 36m 33s master
master
February 10, 2025 14:18 36m 33s
Update Dockerfile Build development container #14: Commit e12d133 pushed by marijnvanwezel
February 10, 2025 12:48 13m 0s master
master
February 10, 2025 12:48 13m 0s
Downgrade version of HDA Build development container #13: Commit 27d2941 pushed by marijnvanwezel
February 10, 2025 12:09 28m 0s master
master
February 10, 2025 12:09 28m 0s
Simplify workflow trigger Build development container #12: Commit c761b84 pushed by marijnvanwezel
February 10, 2025 10:21 28m 31s master
master
February 10, 2025 10:21 28m 31s
Upgrade to GHC 9.8.2 Build development container #11: Commit 9e6bfc0 pushed by marijnvanwezel
February 10, 2025 09:55 12m 55s master
master
February 10, 2025 09:55 12m 55s
Remove non-root user from Dockerfile Build development container #10: Commit 8104413 pushed by marijnvanwezel
June 18, 2024 12:20 30m 37s master
master
June 18, 2024 12:20 30m 37s
Update Dockerfile Build development container #9: Commit 6953eda pushed by marijnvanwezel
June 17, 2024 19:42 29m 28s master
master
June 17, 2024 19:42 29m 28s
Tweak versions and add additional instruction Build development container #8: Commit 4e4aaff pushed by marijnvanwezel
June 17, 2024 18:50 10m 45s master
master
June 17, 2024 18:50 10m 45s
Update version of HLS Build development container #7: Commit 03d3850 pushed by marijnvanwezel
June 17, 2024 17:50 34m 49s master
master
June 17, 2024 17:50 34m 49s
Add "updateRemoteUserUID" option and downgrade to "9.4.8" Build development container #6: Commit edf935b pushed by marijnvanwezel
June 17, 2024 16:56 34m 42s master
master
June 17, 2024 16:56 34m 42s
Update build.yaml Build development container #5: Commit ae02d09 pushed by marijnvanwezel
June 16, 2024 20:58 21s master
master
June 16, 2024 20:58 21s
Move .ghci and Dockerfile and update README Build development container #4: Commit 4a481ee pushed by marijnvanwezel
June 16, 2024 20:50 22s master
master
June 16, 2024 20:50 22s
Increment timeout to 90 minutes and retrigger workflow Build development container #3: Commit 9cca9fc pushed by marijnvanwezel
June 16, 2024 18:53 28m 55s master
master
June 16, 2024 18:53 28m 55s
Retrigger workflow when the workflow is updated Build development container #2: Commit 4c0343b pushed by marijnvanwezel
June 16, 2024 15:41 27m 53s master
master
June 16, 2024 15:41 27m 53s
Tweak Dockerfile and add workflow for building remotely Build development container #1: Commit 4f4ca91 pushed by marijnvanwezel
June 16, 2024 15:38 22s master
master
June 16, 2024 15:38 22s