Merge branch 'ghostty-org:main' into main

pull/12846/head
Nathan 2026-05-22 10:09:30 -05:00 committed by GitHub
commit 78382175f8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1808,7 +1808,7 @@ jobs:
tar --verbose --extract --strip-components 1 --directory dist --file ghostty-source.tar.gz
- name: Build and push
uses: docker/build-push-action@bcafcacb16a39f128d818304e6c9c0c18556b85f # v7.1.0
uses: docker/build-push-action@f9f3042f7e2789586610d6e8b85c8f03e5195baf # v7.2.0
with:
context: dist
file: dist/src/build/docker/debian/Dockerfile