Skip to content

Commit 7ad3157

Browse files
authored
update rfl ci job policy (#2108)
1 parent fd1ce74 commit 7ad3157

File tree

1 file changed

+16
-10
lines changed

1 file changed

+16
-10
lines changed

Diff for: src/tests/rust-for-linux.md

+16-10
Original file line numberDiff line numberDiff line change
@@ -24,19 +24,25 @@ integration.
2424

2525
## What to do in case of failure
2626

27-
Currently, we use the following unofficial policy for handling failures caused
28-
by a change breaking the RfL integration:
29-
30-
- If the breakage was unintentional, then fix the PR.
31-
- If the breakage was intentional, then let [RFL][rfl-ping] know and discuss
27+
If a PR breaks the Rust for Linux CI job, then:
28+
29+
- If the breakage was unintentional and seems spurious, then let [RfL][rfl-ping]
30+
know and retry.
31+
- If the PR is urgent and retrying doesn't fix it, then disable the CI job
32+
temporarily (comment out the `image: x86_64-rust-for-linux` job in
33+
`src/ci/github-actions/jobs.yml`).
34+
- If the breakage was unintentional, then change the PR to resolve the breakage.
35+
- If the breakage was intentional, then let [RfL][rfl-ping] know and discuss
3236
what will the kernel need to change.
33-
- If the PR is urgent, then disable the test temporarily.
34-
- If the PR can wait a few days, then wait for RFL maintainers to provide a
37+
- If the PR is urgent, then disable the CI job temporarily (comment out
38+
the `image: x86_64-rust-for-linux` job in `src/ci/github-actions/jobs.yml`).
39+
- If the PR can wait a few days, then wait for RfL maintainers to provide a
3540
new Linux kernel commit hash with the needed changes done, and apply it to
36-
the PR, which would confirm the changes work.
41+
the PR, which would confirm the changes work (update the `LINUX_VERSION`
42+
environment variable in `src/ci/docker/scripts/rfl-build.sh`).
3743

38-
If something goes wrong with the workflow, you can ping the [Rust for
39-
Linux][rfl-ping] ping group to ask for help.
44+
If you need to contact the RfL developers, you can ping the [Rust for Linux][rfl-ping]
45+
ping group to ask for help:
4046

4147
```text
4248
@rustbot ping rfl

0 commit comments

Comments
 (0)