Skip to content

Actions: marijnvanwezel/haskell-dev-env

Actions

Build development container

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
17 workflow runs
17 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #2 from marijnvanwezel/1-use-release-of-hls-for-gh… Build development container #43: Commit 3a85dbd pushed by marijnvanwezel
36m 49s master
master
36m 49s
Use release version of HLS Build development container #42: Commit 4ecd94f pushed by marijnvanwezel
35m 37s 1-use-release-of-hls-for-ghc-984
1-use-release-of-hls-for-ghc-984
35m 37s
Try with --allow-newer Build development container #41: Commit b47d651 pushed by marijnvanwezel
49m 30s stack-install
stack-install
49m 30s
Use correct variable Build development container #40: Commit 361f75a pushed by marijnvanwezel
34m 49s stack-install
stack-install
34m 49s
Experiment with using Stack to install packages Build development container #39: Commit 15078dc pushed by marijnvanwezel
9m 18s stack-install
stack-install
9m 18s
Add GIF showing devcontainer in use Build development container #38: Commit 1edfd5a pushed by marijnvanwezel
18s master
master
18s
Use Integrated GHCi Shell instead again Build development container #37: Commit 6330457 pushed by marijnvanwezel
27s master
master
27s
Actually ensure no nohup.out is created Build development container #36: Commit a1fe891 pushed by marijnvanwezel
29s master
master
29s
Ensure no 'nohup.out' file is created Build development container #35: Commit f0931b1 pushed by marijnvanwezel
18s master
master
18s
Use 'postStartCommand' functionality Build development container #34: Commit e845727 pushed by marijnvanwezel
16s master
master
16s
Update Dockerfile Build development container #33: Commit 4e99240 pushed by marijnvanwezel
18s master
master
18s
Update extensions Build development container #32: Commit 623ef7a pushed by marijnvanwezel
17s master
master
17s
Tweak settings and use CMD Build development container #31: Commit 8aa181a pushed by marijnvanwezel
2m 59s master
master
2m 59s
Avoid container shutdown by starting a shell Build development container #30: Commit c9bc78b pushed by marijnvanwezel
1h 0m 8s master
master
1h 0m 8s
Update build.yaml Build development container #29: Commit b407e40 pushed by marijnvanwezel
9s master
master
9s
Remove step no longer applicable Build development container #28: Commit eee4d29 pushed by marijnvanwezel
38s master
master
38s
Use local Hoogle and improve README Build development container #27: Commit 9d05bcd pushed by marijnvanwezel
1h 3m 1s master
master
1h 3m 1s