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

419 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
tegwick
c03badc9dd fix(build): force -O0 via configureFlags.ghc-option (cabal ghc-options not reliable in postUnpack) 2026-04-30 22:36:40 +02:00
tegwick
4b269ab653 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 22:28:24 +02:00
tegwick
607f93a634 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 22:13:35 +02:00
tegwick
d104e02dbc 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 21:59:02 +02:00
tegwick
662d8b156d 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 21:44:18 +02:00
tegwick
d825bac641 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 21:29:39 +02:00
tegwick
5be6302077 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 21:15:04 +02:00
tegwick
5033485b9c 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 21:00:40 +02:00
tegwick
52ac9f64ea 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 20:45:46 +02:00
tegwick
7cc722cbeb 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 20:31:08 +02:00
tegwick
421408f369 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 20:16:39 +02:00
tegwick
b38008ad94 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 20:01:41 +02:00
tegwick
30954a966d 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 19:46:44 +02:00
tegwick
c5179ce319 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 19:32:00 +02:00
tegwick
a55c28bae4 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 19:17:15 +02:00
tegwick
e572baf0f7 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 19:02:32 +02:00
tegwick
134c7ab6b7 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 18:48:12 +02:00
tegwick
c0a00872d3 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 18:34:09 +02:00
tegwick
8de11861d0 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 18:18:18 +02:00
tegwick
c8b85b0249 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 18:03:31 +02:00
tegwick
d5847a48fd 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:48:32 +02:00
tegwick
e34c36c9ed 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:33:40 +02:00
tegwick
ff7c25dcff 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:19:02 +02:00
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