Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to dev at HEL/circuiteria 2026-06-30 16:54:31 +00:00
02e59c5d7a Merge pull request 'Update CeTZ' (#20) from feat/18-update-cetz into dev
96dd9b0543 chore: bump compiler version to 0.13.1
da9c2b568b chore: update cetz to 0.3.4
459892bb13 refactor: centralize cetz import
Compare 4 commits »
HEL merged pull request HEL/circuiteria#20 2026-06-30 16:54:30 +00:00
Update CeTZ
HEL closed issue HEL/circuiteria#18 2026-06-30 16:54:30 +00:00
Package broke after Typst 0.15
HEL created pull request HEL/circuiteria#20 2026-06-30 16:54:24 +00:00
Update CeTZ
HEL created branch feat/18-update-cetz in HEL/circuiteria 2026-06-30 16:52:06 +00:00
HEL pushed to feat/18-update-cetz at HEL/circuiteria 2026-06-30 16:52:06 +00:00
96dd9b0543 chore: bump compiler version to 0.13.1
da9c2b568b chore: update cetz to 0.3.4
459892bb13 refactor: centralize cetz import
Compare 3 commits »
HEL pushed to dev at HEL/circuiteria 2026-06-30 16:34:30 +00:00
255eec7f35 Merge pull request 'chore: expose package name' (#19) from feat/17-expose-name into dev
536f5a075d chore: expose package name
Compare 2 commits »
HEL deleted branch feat/17-expose-name from HEL/circuiteria 2026-06-30 16:34:30 +00:00
HEL closed issue HEL/circuiteria#17 2026-06-30 16:34:29 +00:00
Feature Request: Expose the package name
HEL merged pull request HEL/circuiteria#19 2026-06-30 16:34:28 +00:00
chore: expose package name
HEL created pull request HEL/circuiteria#19 2026-06-30 16:34:21 +00:00
chore: expose package name
HEL created branch feat/17-expose-name in HEL/circuiteria 2026-06-30 16:32:35 +00:00
HEL pushed to feat/17-expose-name at HEL/circuiteria 2026-06-30 16:32:35 +00:00
536f5a075d chore: expose package name
HEL created branch feat/subtypes-and-aliases in HEL/midas 2026-06-30 14:28:51 +00:00
HEL pushed to feat/subtypes-and-aliases at HEL/midas 2026-06-30 14:28:51 +00:00
087f6b4669 refactor(types): rename AliasType to DerivedType
HEL deleted branch feat/manual from HEL/midas 2026-06-30 14:11:46 +00:00
HEL pushed to main at HEL/midas 2026-06-30 14:11:46 +00:00
d582df5927 Merge pull request 'User manual' (#23) from feat/manual into main
6a0401833c feat(manual): add strings to midas syntax def
e15607b763 fix(manual): end syntax highlighting of extend body
e28f324a85 fix(manual): typos
31e696c938 feat(manual): add listings outline and tweak template
Compare 12 commits »
HEL merged pull request HEL/midas#23 2026-06-30 14:11:45 +00:00
User manual
HEL created pull request HEL/midas#23 2026-06-30 14:11:35 +00:00
User manual
HEL pushed to feat/manual at HEL/midas 2026-06-30 12:10:38 +00:00
6a0401833c feat(manual): add strings to midas syntax def
e15607b763 fix(manual): end syntax highlighting of extend body
Compare 2 commits »