]> git-server-git.apps.pok.os.sepia.ceph.com Git - teuthology.git/commitdiff
projects / teuthology.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 622415f f31267d)
Merge pull request #2171 from zmc/gha-no-push-prs
authorkyr <kshtsk@users.noreply.github.com>
Wed, 22 Apr 2026 17:58:39 +0000 (19:58 +0200)
committerGitHub <noreply@github.com>
Wed, 22 Apr 2026 17:58:39 +0000 (19:58 +0200)
workflows/dev_container: Don't push for PRs


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.