mirror of https://github.com/seL4/l4v.git
d80c831bb8
Factor out the platform branch rebase job into its own workflow which is triggered explicitly by a repository-dispatch event. We can then re-trigger the rebase job after the proofs have succeeded on the rebased branch to confirm that everything is now up to date and get a successful rebase test run after everything has completed. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| external.yml | ||
| lint.yml | ||
| pr.yml | ||
| proof-deploy.yml | ||
| proof.yml | ||
| push.yml | ||
| rebase.yml | ||
| trigger.yml | ||
| weekly-clean.yml | ||