projects / ostree.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de22914) | patch
ci: cancel previous build on PR update
authorJonathan Lebon <jonathan@jlebon.com>
Tue, 21 Nov 2023 20:31:38 +0000 (15:31 -0500)
committerJonathan Lebon <jonathan@jlebon.com>
Tue, 21 Nov 2023 20:33:20 +0000 (15:33 -0500)
commit8002983d45cad31258b8dbc75435fd5d74d6ca07
tree0eeb0c333e3ef644598cedc075d6ea56ffa978fctree | snapshot
parentde22914e236155aec2f335a1b9ed556cbb734cb4commit | diff
ci: cancel previous build on PR update

This is an easy way to save CI resources; when a PR is updated, abort
any previous build for that PR to focus on testing the latest push.
.cci.jenkinsfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.