From 1a7a9af4e7bf9e2f0d07e5f6f03bd109b1e94050 Mon Sep 17 00:00:00 2001 From: Nils Wentzell Date: Tue, 5 Dec 2023 16:33:29 -0500 Subject: [PATCH] Fix typo in Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index c847ef69..0b0fed7b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,7 +24,7 @@ properties([ def platforms = [:] /****************** linux builds (in docker) */ -/* Each platform must have a cooresponding Dockerfile.PLATFORM in triqs/packaging */ +/* Each platform must have a corresponding Dockerfile.PLATFORM in triqs/packaging */ def dockerPlatforms = ["ubuntu-clang", "ubuntu-gcc", "sanitize"] /* .each is currently broken in jenkins */ for (int i = 0; i < dockerPlatforms.size(); i++) {