-
-
Notifications
You must be signed in to change notification settings - Fork 371
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* CI: caching: upd doc * CI: caching: rm schedule It seems would not be needed. `cabal.project` has pinned Hackage revision & when HLS code updates in `master` is during merges. * CI: caching: build & save cache * CI: (caching,test,bench): org bootstrap This were organized but others were ommited, because `build` & `hackage` have a different purpose I postphoned addind bootstrap to them. * CI: rm submodule checkouts Seems like HLS does not plan to use submodules. * CI: bench: fitting the workflow to strategy chosen Still kept the 9.0.1 bootstrap, because the very next workflow standard GHC update would hit the need of that code. * CI: bench: default to bash * CI: bench: rm env step * CI: Circle-CI: m fx Merely to refresh the Circle-CI report status in the PR * CI: caching: fx: rm executable name patching
- Loading branch information
1 parent
7794398
commit cf84ef5
Showing
7 changed files
with
65 additions
and
71 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters