marked
0 followers · 0 following
  • Joined on 2024-11-04
Repositories
7
 Projects Packages Public activity Starred repositories
marked pushed to main at marked/jecs-pesde 2025-01-18 16:07:43 +01:00
ddd4bb2a7d Fix sync action
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-01-18 16:04:38 +01:00
6a5e19d6f4 Sync to upstream Jecs 0.5.3
a8ebc765eb Fix sync action
f678504e00 Fix sync action
Compare 3 commits »
marked pushed to main at marked/jecs-pesde 2025-01-18 16:03:51 +01:00
a8ebc765eb Fix sync action
marked pushed to main at marked/jecs-pesde 2025-01-18 16:01:58 +01:00
f678504e00 Fix sync action
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-01-18 01:11:02 +01:00
04043c6b60 Sync to upstream Jecs 0.5.3
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-01-17 01:11:01 +01:00
4b17cad7d4 fix: Make the pull script work with jecs 0.5.x, chore: Pull latest
marked pushed to main at marked/jecs-pesde 2025-01-16 20:44:17 +01:00
4b17cad7d4 fix: Make the pull script work with jecs 0.5.x, chore: Pull latest
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-01-16 01:11:01 +01:00
199903ff91 Sync to upstream Jecs 0.5.2
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-01-01 01:11:27 +01:00
c31b71f761 Sync to upstream Jecs 0.5.1
c799215642 tooling: Update pesde to latest rc
e693b4242b Merge pull request 'Sync to upstream Jecs 0.4.0' (#2) from auto/update-jecs into main
Compare 3 commits »
marked pushed to main at marked/jecs-pesde 2024-12-03 19:10:07 +01:00
c799215642 tooling: Update pesde to latest rc
marked pushed to main at marked/jecs-pesde 2024-12-03 19:04:54 +01:00
e693b4242b Merge pull request 'Sync to upstream Jecs 0.4.0' (#2) from auto/update-jecs into main
102ecc7139 Sync to upstream Jecs 0.4.0
Compare 2 commits »
marked merged pull request marked/jecs-pesde#2 2024-12-03 19:04:52 +01:00
Sync to upstream Jecs 0.4.0
marked created pull request marked/jecs-pesde#2 2024-12-03 19:04:48 +01:00
Sync to upstream Jecs 0.4.0
marked created branch auto/update-jecs in marked/jecs-pesde 2024-11-18 01:11:03 +01:00
marked pushed to auto/update-jecs at marked/jecs-pesde 2024-11-18 01:11:03 +01:00
102ecc7139 Sync to upstream Jecs 0.4.0
marked deleted branch auto/update-jecs from marked/jecs-pesde 2024-11-14 17:41:23 +01:00
marked pushed to main at marked/jecs-pesde 2024-11-14 17:41:23 +01:00
20467b301b Merge pull request 'Sync to upstream Jecs 0.4.0-rc.0' (#1) from auto/update-jecs into main
372845d96e Sync to upstream Jecs 0.4.0-rc.0
Compare 2 commits »
marked merged pull request marked/jecs-pesde#1 2024-11-14 17:41:21 +01:00
Sync to upstream Jecs 0.4.0-rc.0
marked created pull request marked/jecs-pesde#1 2024-11-14 17:41:11 +01:00
Sync to upstream Jecs 0.4.0-rc.0
marked pushed to auto/update-jecs at marked/jecs-pesde 2024-11-14 17:37:32 +01:00
372845d96e Sync to upstream Jecs 0.4.0-rc.0