• Joined on 2024-11-04
marked pushed to auto/synchronize at marked/jecs-nightly 2025-03-06 01:11:13 +01:00
3c88853db0 Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
bad8a45828 Sync to released Jecs 0.5.5-nightly.20250302T183456Z (#11)
Compare 2 commits »
marked pushed to main at marked/jecs-nightly 2025-03-06 01:11:13 +01:00
5ccc5129da Sync to released Jecs 0.5.5-nightly.20250302T183456Z (#12)
marked merged pull request marked/jecs-nightly#12 2025-03-06 01:11:13 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked created pull request marked/jecs-nightly#12 2025-03-06 01:11:12 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked pushed to main at marked/jecs-nightly 2025-03-05 01:11:14 +01:00
bad8a45828 Sync to released Jecs 0.5.5-nightly.20250302T183456Z (#11)
marked merged pull request marked/jecs-nightly#11 2025-03-05 01:11:14 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked pushed to auto/synchronize at marked/jecs-nightly 2025-03-05 01:11:13 +01:00
9134cf163d Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
0354b932c2 Sync to released Jecs 0.5.5-nightly.20250302T183456Z (#10)
Compare 2 commits »
marked created pull request marked/jecs-nightly#11 2025-03-05 01:11:13 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked pushed to auto/update-jecs at marked/jecs-pesde 2025-03-04 01:11:36 +01:00
a8a1f64705 Bump pesde
a33dbb37a7 Merge pull request 'Sync to upstream Jecs 0.5.5' (#5) from auto/update-jecs into main
Compare 2 commits »
marked pushed to main at marked/jecs-nightly 2025-03-04 01:11:21 +01:00
0354b932c2 Sync to released Jecs 0.5.5-nightly.20250302T183456Z (#10)
marked pushed to auto/synchronize at marked/jecs-nightly 2025-03-04 01:11:21 +01:00
24453f3124 Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
619ac8b64a Pretty
e5aed7dd29 Merge branch 'main' of git-ssh.devmarked.win:marked/jecs-nightly
59ebecc913 Change PR titling
30e167a36b Change PR titling
Compare 6 commits »
marked merged pull request marked/jecs-nightly#10 2025-03-04 01:11:20 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked created pull request marked/jecs-nightly#10 2025-03-04 01:11:20 +01:00
Sync to released Jecs 0.5.5-nightly.20250302T183456Z
marked pushed to main at marked/jecs-nightly 2025-03-02 20:01:09 +01:00
619ac8b64a Pretty
marked pushed to main at marked/jecs-nightly 2025-03-02 19:37:05 +01:00
e5aed7dd29 Merge branch 'main' of git-ssh.devmarked.win:marked/jecs-nightly
59ebecc913 Change PR titling
30e167a36b Change PR titling
Compare 3 commits »
marked pushed to main at marked/jecs-nightly 2025-03-02 19:35:20 +01:00
9e016e8e02 Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z (#9)
marked merged pull request marked/jecs-nightly#9 2025-03-02 19:35:20 +01:00
Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
marked created pull request marked/jecs-nightly#9 2025-03-02 19:35:19 +01:00
Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
marked pushed to auto/synchronize at marked/jecs-nightly 2025-03-02 19:35:19 +01:00
1ba7d0a66f Sync to upstream Jecs 0.5.5-nightly.20250302T183456Z
dcb2da1fab Properly read version
ce9e513d23 Sync to upstream Jecs (#8)
Compare 3 commits »
marked pushed to main at marked/jecs-nightly 2025-03-02 19:34:39 +01:00
dcb2da1fab Properly read version