CI/CD pipeline Archives

GitOps, Red Hat, Civo Flux ,GitOps. Weaveworks Sysdig AI

Beyond the Green Checkmark: Using Formal Verification to Stop ArgoCD Drift

In the cloud-native landscape, GitOps leads the way for continuous delivery, yet relying solely on synchronization can mask systemic issues. This article outlines the importance of formal verification in deploying Kubernetes manifests ...

Pavan Madduri | March 10, 2026 | ArgoCD, CI/CD pipeline, Configuration Drift, continuous delivery, Dependency Ordering, Deployment Stability, Formal Verification, GitOps, infrastructure as code, kubernetes, Mission-Critical Systems., Resource Invariants, Rollback Safety, Security Policies, Temporal Logic

CI/CD, GitOps, pipelines, Jenkins, kubernetes, kpack, buildpacks, CI/CD, Codefresh, Komodor, AI, clusters, kubernetes, generative AI Kubernetes Argo container security continuous SQL Server Windocks Tekton Kubeflow Red Hat CI/CD

Securing Container Images Across the CI/CD Pipeline

The Log4j vulnerability was a good reminder that securing cloud-native applications requires ensuring container images are free of critical vulnerabilities. When Log4j went public, security teams struggled to quickly understand which of ...

Julien Sobrier | May 4, 2023 | CI/CD pipeline, container security, containers, Lacework