scope out Bamboo replacement about ci-actions

[lsf37]

relevant Bamboo main plan groups (ticks mean issue has been created or CI action exists already):

• camkes

  • CLI
  • CamkesTest
  • CamkesUnitTests
  • CamkesVM
  • VisualCamkes

• code_quality

  • signed-off
  • license
  • style
  • git lint
  • bashisms

• docker ("dependencies" in Bamboo)

  • BambooSever
  • CakeMLToolchain
  • Camkes
  • L4v
  • RISCV
  • seL4
  • Sysinit
  • Other:
    • sel4-rust
    • camkes-vis
    • l4v-cakeml
    • rust-sysinit

• kernel

  • preprocess
  • kernel compile
  • kernel compile: check build list
  • markdown
  • manual
  • xml_lint_job
  • C Parser (in sel4test_family on Bamboo)

• l4v

  • binary verification? (too long?)
  • HOL4 decompile? (too long?)
  • small images
  • l4v regression on AWS
  • testboard on AWS
  • RT

• rump

  • rump-hello
  • rump-qemu

• sel4bench_family

  • mainline
  • regressions

• sel4test_family

  • Simulation (on PR, include PR Compile)
  • HW tests (trigger manually on PR, via label)

• tools

  • capDL tool

• tutorial

• nightly + release, inc l4v release: (ApplicationReleasePublishPlan, L4V-RELEASE): refactor into a tag+release check

Out of scope for now (happy for someone to take these on, though):

• l4v
  • SysInitRegression?
• camkes
  • ArmVMMCamkesCdlRefine
  • CamkesCdlRefine
• armhypextensions?
  • VMMCamkes?
  • Webserver?
• rumpbenchmarks?
• mm-notifications?