From 2bc9a539ff58853854f40f9cdd253e955a5b41a2 Mon Sep 17 00:00:00 2001
From: Andrey Bychkov <andrey@signalmodelling.ru>
Date: Sun, 4 Feb 2024 21:53:38 +0300
Subject: [PATCH] fix Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4ec8665..53b92d2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ pipeline {
 	stages {
 		stage('build') {
 			agent {
-				docker { image '${env.DOCKER_PREFIX}/picosdk' }
+				docker { image "${env.DOCKER_PREFIX}/picosdk" }
 			}
 			steps {
 				sh 'mkdir -p build'