A Case Study on Runtime Verification of a Continuous Deployment Process

Shoma Ansai, Masaki Waga

We report our experience in applying runtime monitoring to a FluxCD-based continuous deployment (CD) process. Our target system consists of GitHub Actions, GitHub Container Registr…