]> git.codelabs.ch Git - bob/muen.git/summary
 
descriptionBob recipes layer for Muen
ownerAdrian-Ken Rueegsegger
last changeWed, 13 May 2026 12:21:09 +0000 (14:21 +0200)
shortlog
31 hours ago Reto Buerkilayers/ada: Impove gnatstudio/nvim als integration main
2 days ago Reto BuerkiREADME.md: Shorten some example cmds
2 days ago Reto BuerkiAdd mucfgexpand bob cmd examples to README.md
2 days ago Reto BuerkiMake test projects work with als plugin (gnatstudio)
2 days ago Reto Buerkilayers/ada: Impove gnatstudio/nvim als integration
2 days ago Reto Buerkimuen::tools: Remove Make package from gnattest projects
2 days ago Reto Buerkimuen::component-libs: Remove Make package
2 days ago Reto Buerkimuen::build-cfg: Fix Gnattest package in shared_tests
2 days ago Reto Buerkimuen_proof: Tee gnatprove output
2 days ago Reto Buerkimuen::tools: Narrow scope of muen_component inherit
2 days ago Reto Buerkiclasses/solo5: Use host-compat-toolchain for all deps
2 days ago Reto Buerkitools: Narrow scope of muen_component inherit
6 days ago David LoosliTools: Update recipe to support mugendts read-only...
8 days ago Adrian-Ken... muen::tools: Validator improvements
2026-04-28 Adrian-Ken... Update GRUB to version 2.14+
2026-04-28 Adrian-Ken... GHA: Add UP² image
...
heads
31 hours ago storage_drv-new
31 hours ago main
2 days ago storage_drv
3 days ago pcie-reset
2 weeks ago misc-minor
2 months ago unify-scheduler
2 months ago arm64-dbgserver-subj-cleanup
6 months ago devel-gnat-25.1
6 months ago ci-linux-kasan
8 months ago nvme
9 months ago devel-muennet-eth_dev-ndo-init