Skip to content

Commit 0747007

Browse files
iohk-bors[bot]jbgi
andauthored
Merge #4844
4844: tullia jobs: use generic gitrev for PRs r=jbgi a=jbgi to avoid unnecessary builds of big artifact, like dockerImages. Goal: bors ci build should not build anything if branch is up-to-date and ci pass. Some other minor clean-ups. Co-authored-by: Jean-Baptiste Giraudeau <[email protected]>
2 parents 9675f4b + 0ceeeec commit 0747007

File tree

6 files changed

+246
-245
lines changed

6 files changed

+246
-245
lines changed

Diff for: bors.toml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
status = [
2-
"ci/push/required",
2+
"ci/pr/required",
33
]
44
timeout_sec = 7200
55
required_approvals = 1

Diff for: flake.lock

+25-23
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)