From f3f86153aedc7efd5ca701024955cf541b8cb311 Mon Sep 17 00:00:00 2001
From: Seth Zegelstein <szegel@amazon.com>
Date: Thu, 28 Mar 2024 23:24:41 +0000
Subject: [PATCH] Add Milestones

Signed-off-by: Seth Zegelstein <szegel@amazon.com>
---
 .aws_ci/Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.aws_ci/Jenkinsfile b/.aws_ci/Jenkinsfile
index b0fabb1ad6e..f8dbdebe983 100644
--- a/.aws_ci/Jenkinsfile
+++ b/.aws_ci/Jenkinsfile
@@ -1,3 +1,8 @@
+// Use milestones to abort old builds when the user force pushes
+def buildNumber = env.BUILD_NUMBER as int
+if (buildNumber > 1) milestone(buildNumber - 1)
+milestone(buildNumber)
+
 pipeline {
     agent {
         ecs {