!120: Fix cross installation · Merge requests · Haskell / ghcup-hs · GitLab

Snippets Groups Projects

Merged Julian Ospald requested to merge issue-180 into master 3 years ago

See ghc/ghc#14297

Wrt #180 (closed)

Edited 3 years ago by Julian Ospald

Activity

Julian Ospald changed the description 3 years ago

changed the description
Julian Ospald added 3 commits 3 years ago
added 3 commits

42134fd2 - Fix whereIsTool for cross

16188e8c - Add cross compilation to CI test

88d9e999 - Modernize CI scripts

Compare with previous version
Julian Ospald added 2 commits 3 years ago
added 2 commits

005c9fbb - Modernize CI scripts

d7859389 - Add cross compilation to CI test

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

c0940cd7 - Add cross compilation to CI test

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

87b4579b - Add cross compilation to CI test

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

327b80cf - Add cross compilation to CI test

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

2c7176d9 - Use LabelOptic and add LeanAppState

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

12a047fd - Add --offline switch wrt #186 (closed)

Compare with previous version
Julian Ospald mentioned in issue #186 (closed) 3 years ago

mentioned in issue #186 (closed)
Julian Ospald added 1 commit 3 years ago
added 1 commit

dd6410a0 - Add --offline switch wrt #186 (closed)

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

6ec528c7 - Add --offline switch wrt #186 (closed)

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

6143cdf2 - Add --offline switch wrt #186 (closed)

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

eaad2caf - Add prefetch command

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

bc13a455 - Fix runLeanWhereIs on windows

Compare with previous version
Julian Ospald added 1 commit 3 years ago
added 1 commit

3caf91c6 - Fix ensureGlobalTools

Compare with previous version
Julian Ospald merged 3 years ago

merged

Please register or sign in to reply