Clean up unnecessary CI (#502)

This commit is contained in:
Daniel Chao
2024-05-21 08:48:02 -07:00
committed by GitHub
parent c1949a99b0
commit 47f161a211
2 changed files with 9 additions and 69 deletions
-38
View File
@@ -51,44 +51,6 @@ main {
}
}
// TODO: remove me once policy allows these jobs without approval
circleCi {
workflows {
["release-branch"] {
jobs = new Listing<*Mapping<String, WorkflowJob>|String> {
new {
["hold"] {
type = "approval"
}
}
new {
["pr-approval/authenticate"] {
context = "pkl-pr-approval"
}
}
for (job in super.jobs) {
job |> requireApproval
}
}
}
}
}
// TODO: remove me once policy allows these jobs without approval
local requireApproval = (it: String|Mapping<String, WorkflowJob>) ->
if (it is String)
new Mapping<String, WorkflowJob> {
[it] {
requires { "hold" }
}
}
else
(it) {
[it.keys.first] {
requires { "hold" }
}
}
release {
jobs {
...releaseJobs