Compare commits
1 commit
1a1ae0b629
...
bf72cd517c
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
bf72cd517c |
2 changed files with 11 additions and 11 deletions
|
|
@ -21,8 +21,8 @@
|
|||
# =============================================================================
|
||||
|
||||
when:
|
||||
event: [push, pull_request]
|
||||
paths:
|
||||
- event: [push, pull_request]
|
||||
path:
|
||||
- "nomad/jobs/edge.hcl"
|
||||
- "docker/edge/**"
|
||||
- "tools/edge-control/**"
|
||||
|
|
|
|||
|
|
@ -115,21 +115,21 @@ http_request() {
|
|||
# Make a GET request and return status code
|
||||
http_get() {
|
||||
local url="$1"
|
||||
shift || true
|
||||
shift
|
||||
http_request "GET" "$url" "$@"
|
||||
}
|
||||
|
||||
# Make a HEAD request (no body)
|
||||
http_head() {
|
||||
local url="$1"
|
||||
shift || true
|
||||
shift
|
||||
http_request "HEAD" "$url" "$@"
|
||||
}
|
||||
|
||||
# Make a GET request and return the response body
|
||||
http_get_body() {
|
||||
local url="$1"
|
||||
shift || true
|
||||
shift
|
||||
curl -sS --max-time "$EDGE_TIMEOUT" "$@" "$url"
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue