This repository has been archived by the owner on Oct 19, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 5
/
index.html
42 lines (37 loc) · 1.39 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<!DOCTYPE html>
<html>
<head>
<title>Linuxbrew test-bot</title>
</head>
<body style="background-color:#eeeeee;">
<h1 style="text-align:center">bot.linuxbrew.sh</h1>
<div style="width:50%;margin:auto;">
<p>Trigger <a href="http://bot.linuxbrew.sh">bot.linuxbrew.sh</a> to download bottles from CircleCI and transfer them to Bintray. It runs on AWS Lambda. See its code on <a href="https://github.com/linuxbrew/linuxbrew-lambda">GitHub</a>.</p>
<script>
function trigger()
{
var keepold = document.getElementById("keep-old").checked ? "?keep-old=1" : "";
location.href = "http://bot.linuxbrew.sh/ci-upload/github.com/"
+ document.getElementById("tap").value
+ "/pull/"
+ document.getElementById("pr").value
+ keepold;
return false;
}
</script>
<form onSubmit="return trigger();">
<select id="tap" name="tap">
<option value="brewsci/homebrew-base">Brewsci/base</option>
<option value="brewsci/homebrew-bio">Brewsci/bio</option>
<option value="brewsci/homebrew-num">Brewsci/num</option>
<option value="homebrew/linuxbrew-core" selected>Homebrew/core</option>
<option value="linuxbrew/homebrew-extra">Linuxbrew/extra</option>
<option value="linuxbrew/homebrew-xorg">Linuxbrew/xorg</option>
</select>
<br>PR <input id="pr" type="number" name="pr">
<br><input id="keep-old" type="checkbox" name="keep-old" value="1" checked> Keep-old
<br><input type="submit" value="Trigger">
</form>
<div>
</body>
</html>