This website requires JavaScript.
Explore
Help
Sign In
mi
0 Followers
·
0 Following
Joined on
2026-09-02
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
10
Projects
Packages
Public Activity
Starred Repositories
mi
created pull request
mi/werkator#60
2026-09-13 11:49:39 +02:00
test(build): the maxConcurrent-1 test no longer bets on which thread wins
mi
deleted branch history-survives-branch from
mi/werkator
2026-09-13 11:47:58 +02:00
mi
pushed to
main
at
mi/werkator
2026-09-13 11:47:58 +02:00
c26a4c7e32
History survives branch (
#59
)
mi
merged pull request
mi/werkator#59
2026-09-13 11:47:57 +02:00
History survives branch
mi
pushed to
flaky-maxconcurrent-gate
at
mi/werkator
2026-09-13 11:46:27 +02:00
d4d83b7d2a
test(build): the maxConcurrent-1 test no longer bets on which thread wins
mi
created branch
flaky-maxconcurrent-gate
in
mi/werkator
2026-09-13 11:46:27 +02:00
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:32:03 +02:00
842a79f000
docs: the pull request exists, so PR#000 becomes PR#59
mi
created pull request
mi/werkator#59
2026-09-13 11:29:32 +02:00
History survives branch
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:26:10 +02:00
487fa8b0df
test(ui): the history page really renders the row of a deleted branch
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:24:21 +02:00
29eb183d4a
docs: release 1.13.0, and the invariant that a result outlives its branch
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:24:14 +02:00
64cfa7490b
chore(config): keep five builds per branch instead of three
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:24:05 +02:00
f65d577384
feat(ui): a history row of a deleted branch offers nothing that would 404
mi
pushed to
history-survives-branch
at
mi/werkator
2026-09-13 11:23:55 +02:00
119ab6f99b
fix(build): a build result outlives the branch it was built from
mi
created branch
history-survives-branch
in
mi/werkator
2026-09-13 11:23:55 +02:00
mi
deleted branch ci-build-time from
mi/werkjournal
2026-09-12 22:34:43 +02:00
mi
pushed to
main
at
mi/werkjournal
2026-09-12 22:34:38 +02:00
b75d364832
Record the trunk build and deployment
cf91cbb7c6
Plan a decision on the H2 check-constraint defect
1789b1a832
Check the build cache where it has to work
Compare 3 commits »
mi
pushed to
main
at
mi/werkjournal
2026-09-12 22:26:11 +02:00
7f2e223ac3
Merge ci-build-time: measure the pipeline and cut its runtime
27c67b958c
Record the measured pipeline runs
3a9a88bd84
Record what the pipeline spent its ten minutes on
5305362c01
Build the JVM pipeline in one Gradle invocation and cache it (0.1.112)
9577c28af7
Share one browser process across the acceptance scenarios
Compare 6 commits »
mi
created branch
ci-build-time
in
mi/werkjournal
2026-09-12 22:11:31 +02:00
mi
pushed to
ci-build-time
at
mi/werkjournal
2026-09-12 22:11:31 +02:00
5305362c01
Build the JVM pipeline in one Gradle invocation and cache it (0.1.112)
9577c28af7
Share one browser process across the acceptance scenarios
f478b836ac
Migrate three database tests once per pool instead of per file
Compare 3 commits »
mi
deleted branch sizing-by-waiting from
mi/werkator
2026-09-12 20:53:29 +02:00
Previous
98
Next
