coulomb/inter-hub
2
0
Fork 0
generated from coulomb/repo-seed
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
396 Commits 1 Branch 1 Tag
0f73061d41a2f8af2d90eaf0deea666449d65c41
Commit Graph

396 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
tegwick
0f73061d41 fix(build): add ghc-options -O0 to inter-hub-models — strips unfoldings from .hi files, keeps them under GHC 9.10.3 287MB binary limit
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details
2026-04-30 17:15:51 +02:00
tegwick
6c8babf214 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 17:04:06 +02:00
tegwick
df1d3fe118 fix(build): fix 8-space indent for TypesPart1/2 cabal entries (Cabal rejects 4-space)
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details
2026-04-30 17:01:02 +02:00
tegwick
9992623392 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 16:49:06 +02:00
tegwick
1f828316d2 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 16:34:15 +02:00
tegwick
ea10ec41d1 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 16:19:22 +02:00
tegwick
269d5a5905 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 16:04:29 +02:00
tegwick
0999921491 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 15:49:31 +02:00
tegwick
2da69cebdf chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 15:34:37 +02:00
tegwick
9cbfaef344 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 15:19:43 +02:00
tegwick
cd1d06c6f8 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 15:04:56 +02:00
tegwick
e1551d9bb7 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 14:49:50 +02:00
tegwick
c5ae5530e2 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 14:34:52 +02:00
tegwick
6e1531be2c chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 14:19:55 +02:00
tegwick
7432bd67d1 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 14:05:00 +02:00
tegwick
2c9af08319 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 13:49:52 +02:00
tegwick
223d3fe2b7 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 13:34:52 +02:00
tegwick
2d44c8471a chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 13:19:51 +02:00
tegwick
3b5fbb3e22 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 13:04:49 +02:00
tegwick
2653a78f39 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 12:49:44 +02:00
tegwick
c02bf68139 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 12:34:39 +02:00
tegwick
a9e249a09d chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 12:19:34 +02:00
tegwick
e2e0e8ac3f chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 12:04:30 +02:00
tegwick
5d70289128 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 11:49:21 +02:00
tegwick
2d5d507502 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 11:34:11 +02:00
tegwick
a967b67f86 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 11:19:01 +02:00
tegwick
f2dc802ee5 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 11:03:58 +02:00
tegwick
1c24c67eed chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 10:48:43 +02:00
tegwick
be47ff3dc8 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 10:33:27 +02:00
tegwick
2659ddfeed chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 10:18:11 +02:00
tegwick
684bf01b8c chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 10:02:53 +02:00
tegwick
ca31dc051f chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 09:47:27 +02:00
tegwick
03420ec622 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 03:33:32 +02:00
tegwick
77621a123b chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 03:18:51 +02:00
tegwick
5ed75ac0bd chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 03:04:06 +02:00
tegwick
616f521d13 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 02:49:20 +02:00
tegwick
619d2c7496 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 02:34:34 +02:00
tegwick
39e650d89a chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 02:19:52 +02:00
tegwick
0bcb30246c chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 02:05:05 +02:00
tegwick
cd21723be0 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 01:50:28 +02:00
tegwick
e0dcdbc263 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 01:36:24 +02:00
tegwick
c62b127bdb chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 01:21:09 +02:00
tegwick
8d5905ba4a chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 01:06:09 +02:00
tegwick
ed4c97dbc4 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 00:51:21 +02:00
tegwick
3283ad62ee fix(nix): intercept callCabal2nix to patch inter-hub-models
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Previous attempt failed: inter-hub-models is not a named attribute in
haskellPackages (IHP creates it via callCabal2nix locally), so the
hasAttr guard bailed silently.

New approach: override callCabal2nix itself. When called with
name == "inter-hub-models", inject a postUnpack phase that copies
TypesPart1/TypesPart2 into the build sandbox and replaces Types.hs
with the thin wrapper. Applied to both haskellPackages and
haskell.packages.ghc910 to cover whichever set IHP uses.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-30 00:38:12 +02:00
tegwick
4d788c2f8a chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 00:36:55 +02:00
tegwick
b018306f68 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 00:21:45 +02:00
tegwick
f22bcc2993 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-30:
  - update .custodian-brief.md for inter-hub
 2026-04-30 00:06:51 +02:00
tegwick
51690c67d6 chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-29:
  - update .custodian-brief.md for inter-hub
 2026-04-29 23:52:04 +02:00
tegwick
60aedb2e0a chore(consistency): sync task status from DB [auto]
Some checks failed
Build and Deploy / build-push-deploy (push) Has been cancelled
Details 
Updated by fix-consistency on 2026-04-29:
  - update .custodian-brief.md for inter-hub
 2026-04-29 23:37:23 +02:00