3 Commits

Include renames

Author	SHA1	Message	Date
Gernot SchulzandCopybot	74efa0e345	Merge pull request #29898 from overleaf/gs-jenkins-issues-all-pipelines ... Enable Jenkins hooks for creating GitHub issues for all pipelines with owners GitOrigin-RevId: ba46db1d3137db12ee5c78f09b126fb9927d9c49	2025-11-27 09:06:04 +00:00
Gernot SchulzandCopybot	b834b8bcb7	Merge pull request #29537 from overleaf/gs-jenkins-pr-build-tags-templates ... Tag images with branch head instead of merge commit (templates) GitOrigin-RevId: 53e616aeec058863e25b356841a59f3ebe13c87f	2025-11-10 09:05:00 +00:00
Jakob AckermannandCopybot	fd0d21fbbd	[monorepo] migrate build scripts to Jenkins (#29019) ... * [monorepo] migrate build scripts to Jenkins * [fraud-dash] fix integration with monorepo GitOrigin-RevId: 6a30ec5ea68a1eae9b663faf9ccdc741ec7f9cf8	2025-10-13 08:07:11 +00:00