Docker

Workflow runs for Docker

• CI: run the full main lane on demand (workflow_dispatch), writing not…

  completed successfully:
  Docker#805:Commit4afbd15pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 202623m 53s
  More actions for workflow run 805

• fix: initialize logs for skipped precheck gates (#1786)

  completed successfully:
  Docker#804:Commit0f63dacpushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 202624m 43s
  More actions for workflow run 804

• Bump the github-actions group across 1 directory with 7 updates (#1770)

  completed successfully:
  Docker#803:Commitcf49f4dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 202624m 55s
  More actions for workflow run 803

• Observer oracle: the floor as a required CI check, applied by default…

  completed successfully:
  Docker#802:Commite48c4a0pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 202626m 30s
  More actions for workflow run 802

• Observer oracle: one question per predicate, certified labels, per-ve…

  completed successfully:
  Docker#801:Commit6fe6f0apushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202623m 58s
  More actions for workflow run 801

• Observer oracle: score the observer against mathematics (#1746, #1667…

  completed successfully:
  Docker#800:Commit0740af0pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202618m 38s
  More actions for workflow run 800

• Bitwise operands: Lua 5.4's exact-integer rule (#1740) (#1744)

  completed successfully:
  Docker#799:Commitba77d91pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202620m 6s
  More actions for workflow run 799

• Define bitwise and range float->int conversion; skip -fsanitize=funct…

  completed successfully:
  Docker#798:Commit369a6d1pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202624m 42s
  More actions for workflow run 798

• Consumer acceptance: park iLambdaAi (archived 2026-10-13) (#1738)

  completed successfully:
  Docker#797:Commitfd16917pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202624m 4s
  More actions for workflow run 797

• Bump CodSpeedHQ/action from 5.2.1 to 5.4.0 in the github-actions grou…

  completed successfully:
  Docker#796:Commit7e6ec93pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202618m 49s
  More actions for workflow run 796

• Restore unobserved depth on an uncaught error halt; fuzz harness chec…

  completed successfully:
  Docker#795:Commit8a1e86dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202619m 8s
  More actions for workflow run 795

• Consumer acceptance: refuse a checkout that is not origin/HEAD (#1732)

  completed successfully:
  Docker#794:Commit6d31599pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202623m 59s
  More actions for workflow run 794

• Consumer acceptance: enrol EigenLua (#1731)

  completed successfully:
  Docker#793:Commit8cb44b5pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202619m 3s
  More actions for workflow run 793

• Release 0.46.0: changelog cut (#1728)

  completed successfully:
  Docker#792:Commit4a3a5c1pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202624m 52s
  More actions for workflow run 792

• Changelog fragments: correct two entries before the 0.46.0 cut (#1730)

  completed successfully:
  Docker#791:Commit86cff29pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202624m 28s
  More actions for workflow run 791

• Never heap-tag the null/bool singletons in a slot (#1665 arm D follow…

  completed successfully:
  Docker#790:Commit977ac4epushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202624m 10s
  More actions for workflow run 790

• rules: container slot-storage contracts (#1665 arm D), each with the …

  completed successfully:
  Docker#789:Commit6e7b397pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202624m 38s
  More actions for workflow run 789

• List items and dict values become EigsSlot storage (#1665 arm D B10, …

  completed successfully:
  Docker#788:Commit431d193pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202623m 58s
  More actions for workflow run 788

• Embedding API and lint_host onto the slot API; retire the borrow API …

  completed successfully:
  Docker#787:Commit5fcc6a2pushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202623m 29s
  More actions for workflow run 787

• HTTP, net, store and db extensions onto the slot API (#1665 arm D B8)…

  completed successfully:
  Docker#786:Commitdf195fepushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202619m 2s
  More actions for workflow run 786

• Graphics extension onto the slot API (#1665 arm D B7) (#1720)

  completed successfully:
  Docker#785:Commitee929fepushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202623m 27s
  More actions for workflow run 785

• Buffer and host builtins onto the slot API (#1665 arm D B6) (#1718)

  completed successfully:
  Docker#784:Commit1a9d3cepushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202623m 39s
  More actions for workflow run 784

• Tensor and model files onto the slot API (#1665 arm D B5) (#1713)

  completed successfully:
  Docker#783:Commit75505a5pushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202623m 38s
  More actions for workflow run 783

• builtins.c onto the slot API (#1665 arm D B3) (#1712)

  completed successfully:
  Docker#782:Commit1d127ddpushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202618m 24s
  More actions for workflow run 782

• VM onto the slot API (#1665 arm D B2) (#1707)

  completed successfully:
  Docker#781:Commitb02d427pushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202615m 47s
  More actions for workflow run 781