Proof Sync

Workflow runs for Proof Sync

• AArch64: Fix KernelPrinting=OFF debug builds

  failed:
  Proof Sync#7:Commit6df0b6epushedbyNehal-aditya
  master

  Oct 10, 202626s
  More actions for workflow run 7

• fix spdx license validation in changes.md

  failed:
  Proof Sync#6:Commit2e6f527pushedbyNehal-aditya
  perception-0.1

  Jul 22, 20262m 4s
  More actions for workflow run 6

• add spdx license headers in readme.md and depandabot.yml

  failed:
  Proof Sync#5:Commite8efe19pushedbyNehal-aditya
  perception-0.1

  Jul 22, 20262m 6s
  More actions for workflow run 5

• Point affected seL4/ci-actions references at DeepcometAI/ci-actions fork

  failed:
  Proof Sync#4:Commit0b0add3pushedbyNehal-aditya
  perception-0.1

  Jul 22, 20262m 18s
  More actions for workflow run 4

• Added SPDX license headers to all the Rust files

  failed:
  Proof Sync#3:Commitc069c35pushedbyNehal-aditya
  perception-0.1

  Jun 5, 202623s
  More actions for workflow run 3

• update rust.yml

  failed:
  Proof Sync#2:Commitde7c92bpushedbyNehal-aditya
  perception-0.1

  Jun 5, 202623s
  More actions for workflow run 2

• ci: Update all workflows to trigger on perception-* branches

  failed:
  Proof Sync#1:Commit9249e98pushedbyNehal-aditya
  perception-0.1

  Jun 5, 202622s
  More actions for workflow run 1