Deploy Tutorial Test

Workflow runs for Deploy Tutorial Test

• Merge branch 'seL4:master' into master

  skipped:
  Deploy Tutorial Test#16:Commit8fffd6apushedbyNehal-aditya
  master

  Oct 10, 20261s
  More actions for workflow run 16

• Update fetch-branches.sh

  skipped:
  Deploy Tutorial Test#15:Commitf850a9fpushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 15

• Rename repo-util.py to repo-util

  skipped:
  Deploy Tutorial Test#14:Commit3c07e4bpushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 14

• Check for repo-util availability before execution in fetch-branches.sh

  skipped:
  Deploy Tutorial Test#13:Commitaa4572cpushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 13

• scripts/repo-util: fix repo alias lookup order

  skipped:
  Deploy Tutorial Test#12:Commitcbf368epushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 12

• scripts/repo-util: fail gracefully when manifest is not accessible

  skipped:
  Deploy Tutorial Test#11:Commit6a034a1pushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 11

• scripts/fetch-branch.sh: fail gracefully when repo project path is un…

  skipped:
  Deploy Tutorial Test#10:Commit3560af1pushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 10

• scripts/fetch-branches.sh: guard branch fetch on repo root and projec…

  skipped:
  Deploy Tutorial Test#9:Commit92173b2pushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 9

• scripts/fetch-branch.sh: use REPO_PROJECT_DIR from environment

  skipped:
  Deploy Tutorial Test#8:Commit4b8c669pushedbyNehal-aditya
  master

  Oct 9, 2026Skipped
  More actions for workflow run 8

• scripts/fetch-branches.sh: export project dir instead of cd'ing into it

  skipped:
  Deploy Tutorial Test#7:Commitbb572e0pushedbyNehal-aditya
  master

  Oct 9, 20268s
  More actions for workflow run 7

• Add import for missing python os module in repo-util script

  skipped:
  Deploy Tutorial Test#6:Commit0ee2edepushedbyNehal-aditya
  master

  Oct 9, 202610s
  More actions for workflow run 6

• scripts/fetch-branches.sh: cd to repo root before calling repo-util

  skipped:
  Deploy Tutorial Test#5:Commit980eaf8pushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 5

• scripts/repo-util: use REPO_ROOT environment variable for manifest path

  skipped:
  Deploy Tutorial Test#4:Commitb99eed9pushedbyNehal-aditya
  master

  Oct 9, 20269s
  More actions for workflow run 4

• scripts/fetch-branches.sh: ensure repo root before calling repo-util

  skipped:
  Deploy Tutorial Test#3:Commitd95941fpushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 3

• scripts/fetch-branch.sh: fix branch fetch in repo-managed checkouts

  skipped:
  Deploy Tutorial Test#2:Commit2b497cfpushedbyNehal-aditya
  master

  Oct 9, 20261s
  More actions for workflow run 2

• scripts/fetch-branch.sh: Use git -C for repo-managed worktrees

  skipped:
  Deploy Tutorial Test#1:Commit5982ce6pushedbyNehal-aditya
  master

  Oct 9, 20262s
  More actions for workflow run 1