diff options
| author | Bent Bisballe Nyeng <deva@aasimon.org> | 2023-01-09 17:31:21 +0100 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2023-01-09 17:33:50 +0100 |
| commit | 0b0cb4afa08210b572a9be6cadcb6397935b99d1 (patch) | |
| tree | ad8c451cd780cb1c0cc0e5db5b8cc40c2b92489f /Jenkinsfile | |
| parent | 55ab1f564286c6f3e986bf68ebb271132a749c6f (diff) | |
Make sure to flush compilation status lines to the console.
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions