Commit Graph

227 Commits

Author SHA1 Message Date
Andrea Bedini
25b2afaa7a Drop nix flake check
It evaluates check jobs for all systems, which require to be run on that
system given haskell.nix use of IFD.
2023-02-14 10:28:04 +08:00
Andrea Bedini
9995734db5 Write json metedata to output dir 2023-02-13 16:54:39 +08:00
Andrea Bedini
f76eb91845 Update workflows 2023-02-10 11:21:28 +08:00
Andrea Bedini
9288fdf587 Update nix workflow 2023-02-10 11:20:05 +08:00
Andrea Bedini
b374dfde9f Add update-flake-lock.yml 2023-02-10 11:16:04 +08:00
Andrea Bedini
0993761f7f Clean up 2023-01-29 12:27:04 +08:00
Andrea Bedini
57796e38b0 Prefer cabalProject' to cabalProject
cabalProject is too strict and accidentally evaulates IFD meant for
other systems.
2023-01-20 11:56:17 +08:00
Andrea Bedini
fd7829e72f Update flake.lock 2023-01-09 15:47:08 +08:00
Andrea Bedini
a0c7067fb4 back to 8.10.7 for the flake 2023-01-09 14:11:17 +08:00
Andrea Bedini
9ba14bdb78 Bump some actions 2023-01-09 11:17:06 +08:00
Andrea Bedini
e3f5c7b45e Document how to access private repositories
Closes #31
2023-01-09 11:01:05 +08:00
Andrea Bedini
1c861b3b6c Update flake 2023-01-09 11:01:02 +08:00
Andrea Bedini
4bb1b290a9 Bump compiler 2022-12-21 16:39:11 +08:00
Andrea Bedini
587b8bef8c
Merge pull request #29 from andreabedini/mpj/parallel
Build in parallel
2022-12-19 09:06:42 +08:00
Michael Peyton Jones
33a645bc3b
Build in parallel
This cuts the time to build `cardano-haskell-packages` down to 30s from
>2mins.
2022-12-16 15:15:42 +00:00
Andrea Bedini
e7c9480994
Merge pull request #27 from andreabedini/andreabedini-patch-1
Add a hydra job and zw3rk cache
2022-12-13 17:20:16 +08:00
Andrea Bedini
3e12822144 aarch64-linux needs something different 2022-12-13 10:50:11 +08:00
Andrea Bedini
05bd69f5c3 Build statically only on linux 2022-12-13 10:26:26 +08:00
Andrea Bedini
1ef0e3ad3b
Update flake.nix 2022-12-13 09:52:23 +08:00
Andrea Bedini
ae66e36f04
Update flake.nix 2022-12-13 09:37:01 +08:00
Andrea Bedini
31f81d3e45 Static executable 2022-11-30 11:50:38 +08:00
Andrea Bedini
d6419b2fbd Remove devShell 2022-11-30 11:32:17 +08:00
Andrea Bedini
83405a1467 Formatting 2022-11-30 11:22:32 +08:00
Andrea Bedini
04cb2aca07 Bump flake inputs 2022-11-04 13:41:55 +08:00
Andrea Bedini
72f2efc615 Improve web pages 2022-10-27 12:19:37 +08:00
Andrea Bedini
37022542cc Rename summary to contents 2022-10-26 17:18:36 +08:00
Andrea Bedini
4dcd18ac38
Merge pull request #15 from andreabedini/pages
Pages
2022-10-26 15:39:35 +08:00
Andrea Bedini
c0714b1b3d Finish off pages
- Summary page has the list of all packages available (with details of the latest version)
- Timeline page has the list of all entries as they appear in the index

Also:
- Rebuild sdists is they are missing
2022-10-26 14:12:40 +08:00
Andrea Bedini
db3fe215de Restore index/ paths creation 2022-10-24 16:55:58 +08:00
Andrea Bedini
aa443eec1e Minor adjustments 2022-10-24 16:16:07 +08:00
Andrea Bedini
d65f05b45b Put extra-source-files in the right spot 2022-10-24 15:38:46 +08:00
Andrea Bedini
e57d6ba5a6 Index page 2022-10-21 16:46:50 +08:00
Andrea Bedini
f697629717 WIP fix botched rebase 2022-10-21 12:30:55 +08:00
Andrea Bedini
9f22d7295d First go at generating html pages 2022-10-21 11:37:20 +08:00
Andrea Bedini
572e37cb8e WIP 2022-10-21 11:36:47 +08:00
Andrea Bedini
35096a5737 Add foliage specific paths to gitignore 2022-10-19 10:23:39 +08:00
Andrea Bedini
9cc19c70ea Move json stuff to its own module 2022-10-14 09:28:31 +08:00
Andrea Bedini
678943d4b6 WIP 2022-10-14 07:56:59 +08:00
Andrea Bedini
1b3969a4f5 Drop PackageRule 2022-10-10 11:27:29 +08:00
Andrea Bedini
889e0b0ba0 Rework prepareSdist 2022-10-05 16:34:22 +08:00
Andrea Bedini
b13ecafb31 Merge remote-tracking branch 'new' 2022-10-05 15:13:15 +08:00
Andrea Bedini
166b340d13 Update README 2022-09-29 16:02:20 +02:00
Andrea Bedini
30124364b3 Update README 2022-09-29 16:01:21 +02:00
Andrea Bedini
9151ec36b2 Implement GitHub backend 2022-09-29 15:49:42 +02:00
Andrea Bedini
cbb726a6f5 Avoid partial functions 2022-09-29 15:49:07 +02:00
Andrea Bedini
e7399e5402 Remember sdist hash 2022-09-23 19:37:30 +02:00
Andrea Bedini
0f22847c90 More custom rules 2022-09-23 19:36:39 +02:00
Andrea Bedini
20b55ba655 Switch to forward mode 2022-09-23 16:38:30 +02:00
Andrea Bedini
301cb1781d Refactor readKeysAt' 2022-09-23 12:05:22 +02:00
Andrea Bedini
32d1345276 Removing cabal.project is now unnecessary 2022-09-22 13:32:23 +02:00