diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/_test-git-branch.sh | 2 | ||||
| -rw-r--r-- | ci/commit-filter | 70 | ||||
| -rwxr-xr-x | ci/get-test-job.sh | 10 |
3 files changed, 1 insertions, 81 deletions
diff --git a/ci/_test-git-branch.sh b/ci/_test-git-branch.sh index 05886a7..c28aa20 100644 --- a/ci/_test-git-branch.sh +++ b/ci/_test-git-branch.sh @@ -30,7 +30,7 @@ sync_git_repos() echo "Getting test job" -TEST_JOB=( $(ssh $JOBSERVER get-test-job.sh) ) +TEST_JOB=( $(ssh $JOBSERVER get-test-job) ) BRANCH=${TEST_JOB[0]} COMMIT=${TEST_JOB[1]} diff --git a/ci/commit-filter b/ci/commit-filter deleted file mode 100644 index c2abea9..0000000 --- a/ci/commit-filter +++ /dev/null @@ -1,70 +0,0 @@ -<!-- -https://choosealicense.com/licenses/0bsd/ -Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted. - -add the following after the </h1>, before <table> -maybe relocate the script block to within <head></head> ---> - -<style> - .hide-without-js { - display: none; - } - .filtered { - display: none; - } - #filters { - margin: 1em 0; - } - #filters label{ - margin-left: 0.3em; - } -</style> -<div id="filters" class="hide-without-js"> - Filter by: -</div> -<template id="filter-template" style="display:none"> - <label class="checkbox-inline"><input type="checkbox" checked="checked" /></label> -</template> -<script> -(function () { - function get_row_status(el) { - return el.querySelector("td:nth-child(2)").textContent.trim() - } - function refresh_filters() { - const shown_statuses = new Set() - for (const el of document.querySelectorAll("#filters label")) { - if (el.querySelector("input").checked) { - shown_statuses.add(el.textContent.trim()) - } - } - const el_table = document.querySelector("table") - for (const el of el_table.querySelectorAll("tr")) { - const status = get_row_status(el) - if (shown_statuses.has(status)) { - el.classList.remove("filtered") - } else { - el.classList.add("filtered") - } - } - } - document.addEventListener("DOMContentLoaded", (event) => { - const js_class_name = "hide-without-js" - for (const el of document.getElementsByClassName(js_class_name)) { - el.classList.remove(js_class_name) - } - const result_types = new Set() - for (const el of document.querySelectorAll("tr")) { - result_types.add(get_row_status(el)) - } - const el_filters = document.querySelector("#filters") - const el_filter_template = document.querySelector("#filter-template").content - for (const result of result_types) { - const el_new_filter = el_filter_template.cloneNode(true) - el_new_filter.querySelector("label").appendChild(document.createTextNode(` ${result}`)) - el_new_filter.querySelector("input").addEventListener("change", refresh_filters) - el_filters.appendChild(el_new_filter) - } - }) -})() -</script>
\ No newline at end of file diff --git a/ci/get-test-job.sh b/ci/get-test-job.sh deleted file mode 100755 index bdcb888..0000000 --- a/ci/get-test-job.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -[[ -f ~/.ktestrc ]] && . ~/.ktestrc - -cd $JOBSERVER_HOME/linux -flock --nonblock .git_fetch.lock git fetch --all > /dev/null - -make -C ~/ktest/lib get-test-job 1>&2 - -~/ktest/lib/get-test-job -b ~/BRANCHES-TO-TEST -o $JOBSERVER_OUTPUT_DIR |