diff options
| author | Max Nanis | 2026-08-31 08:44:24 -0700 |
|---|---|---|
| committer | Max Nanis | 2026-08-31 08:44:24 -0700 |
| commit | 92d82a6e381541bc6cee34ffb89d213f0c5cde39 (patch) | |
| tree | 46459177b70bff64d4133736d88b3fbf1c9ce683 /Jenkinsfile | |
| parent | 10de61a8d3e2fcc687616ab8cc794bafe442cdf5 (diff) | |
| download | generalresearch-92d82a6e381541bc6cee34ffb89d213f0c5cde39.tar.gz generalresearch-92d82a6e381541bc6cee34ffb89d213f0c5cde39.zip | |
jenkins p11
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 79d1f2c..793b810 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -73,4 +73,11 @@ pipeline { } } } + + post { + always { + echo 'One way or another, I have finished' + deleteDir() + } + } }
\ No newline at end of file |