mi
0 Followers · 0 Following
  • Joined on 2026-09-02
Repositories
10
 Projects Packages Public Activity Starred Repositories
mi pushed to main at mi/werkdock 2026-09-10 13:19:16 +02:00
a661a33340 Merge pull request 'improved Docker compatibility' (#1) from docker-compat into main
baa218182a CHANGELOG: 0.2.0 merge date
1160d30084 version 0.2.0: a merge to main is a release
39a04c0331 CHANGELOG: no branch name in the Unreleased heading
05bb4e7ae5 load: docker save and OCI image archives, layers flattened (RFC 0004)
Compare 14 commits »
mi deleted branch docker-compat from mi/werkdock 2026-09-10 13:19:16 +02:00
mi merged pull request mi/werkdock#1 2026-09-10 13:19:14 +02:00
improved Docker compatibility
mi pushed to docker-compat at mi/werkdock 2026-09-10 13:18:52 +02:00
baa218182a CHANGELOG: 0.2.0 merge date
mi pushed to feature/werkdock-import at mi/werkator 2026-09-10 13:07:21 +02:00
4a939b76e5 Merge origin/main, and name PR#50 in the werkdock-import doc
b624546854 Merge remote-tracking branch 'origin/main' into HEAD
634801467f show how long each build has been taking for each repo by build config (#49)
da586f04c0 configurable build timeout (#48)
b57fc10a24 server: say when a control token is not accepted (#47)
Compare 24 commits »
mi created pull request mi/werkator#50 2026-09-10 13:03:29 +02:00
werkdock Docker CLI compatibilitiy (import)
mi deleted branch 20-build-duration-tracking from mi/werkator 2026-09-10 10:32:01 +02:00
mi deleted branch claude/practical-khayyam-952f4b from mi/werkator 2026-09-10 10:31:54 +02:00
mi deleted branch follow-up-builds from mi/werkator 2026-09-10 10:31:45 +02:00
mi deleted branch remote-ssh-mux from mi/werkator 2026-09-10 10:27:39 +02:00
mi deleted branch build-duration-trend from mi/werkator 2026-09-10 10:26:58 +02:00
mi pushed to main at mi/werkator 2026-09-10 10:26:58 +02:00
634801467f show how long each build has been taking for each repo by build config (#49)
mi merged pull request mi/werkator#49 2026-09-10 10:26:58 +02:00
show how long each build has been taking for each repo by build config
mi pushed to build-duration-trend at mi/werkator 2026-09-10 10:26:03 +02:00
46f8f227d5 docs: record the duration trend, and let its figures wrap
mi pushed to build-duration-trend at mi/werkator 2026-09-10 08:58:14 +02:00
38db36ed00 Merge origin/main into build-duration-trend
da586f04c0 configurable build timeout (#48)
Compare 2 commits »
mi created pull request mi/werkator#49 2026-09-10 08:56:35 +02:00
show how long each build has been taking for each repo by build config
mi deleted branch build-timeout from mi/werkator 2026-09-10 08:55:27 +02:00
mi pushed to main at mi/werkator 2026-09-10 08:55:27 +02:00
da586f04c0 configurable build timeout (#48)
mi merged pull request mi/werkator#48 2026-09-10 08:55:25 +02:00
configurable build timeout
mi created pull request mi/werkator#48 2026-09-10 08:55:21 +02:00
configurable build timeout