All workflows

Workflow runs

• AGENTS.md: delete branches once their PR is merged

  completed successfully:
  Build and test#9:Commit381258cpushedbymartinjankoehler
  master

  Oct 29, 202635s
  More actions for workflow run 9

• AGENTS.md: route code changes through issue and PR, rest directly to …

  completed successfully:
  Build and test#8:Commit2840df4pushedbymartinjankoehler
  master

  Oct 29, 202635s
  More actions for workflow run 8

• Merge branch 'fork-only'

  completed successfully:
  Build and test#7:Commitc240583pushedbymartinjankoehler
  master

  Oct 28, 202611m 15s
  More actions for workflow run 7

• AGENTS.md: put small fork-only changes on fork-only branch

  completed successfully:
  Build and test#6:Commit0d1893dpushedbymartinjankoehler
  fork-only

  Oct 28, 202611m 11s
  More actions for workflow run 6

• Merge branch 'regression-tests'

  completed successfully:
  Build and test#5:Commitbef4520pushedbymartinjankoehler
  master

  Oct 28, 20261m 29s
  More actions for workflow run 5

• AGENTS.md: name working checkout and work/ symlink

  failed:
  Build and test#4:Commitbfe8f12pushedbymartinjankoehler
  ci-and-agents

  Oct 28, 202639m 42s
  More actions for workflow run 4

• AGENTS.md: build and test in work/

  failed:
  Build and test#3:Commitd99dae7pushedbymartinjankoehler
  regression-tests

  Oct 28, 202639m 40s
  More actions for workflow run 3

• Merge branch 'regression-tests'

  failed:
  Build and test#2:Commita079543pushedbymartinjankoehler
  master

  Oct 28, 202630m 26s
  More actions for workflow run 2

• AGENTS.md: describe tests

  failed:
  Build and test#1:Commit6e39c4apushedbymartinjankoehler
  regression-tests

  Oct 28, 202631m 35s
  More actions for workflow run 1