Should we auto-merge branch soil-staging to master? % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0* Trying 207.244.121.250:80... * Connected to op.oils.pub (207.244.121.250) port 80 (#0) 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/app-tests HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:10:14 GMT < ETag: "17-61c26ef972b74" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 198 0 --:--:-- --:--:-- --:--:-- 198 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/benchmarks HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:12:34 GMT < ETag: "17-61c26f7f41caa" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1495 0 --:--:-- --:--:-- --:--:-- 1533 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/benchmarks2 HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:11:34 GMT < ETag: "17-61c26f45c7902" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2535 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/bloaty HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:08:07 GMT < ETag: "17-61c26e804e4df" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1551 0 --:--:-- --:--:-- --:--:-- 1642 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/cpp-coverage HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:08:41 GMT < ETag: "17-61c26ea0d947b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2343 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/cpp-small HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:09:41 GMT < ETag: "17-61c26ed9d6032" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2478 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/cpp-spec HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:08:57 GMT < ETag: "17-61c26eafff2c4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2349 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/cpp-tarball HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:06:52 GMT < ETag: "17-61c26e3925ae4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2473 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/dev-minimal HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:07:49 GMT < ETag: "17-61c26e6fab8e4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1791 0 --:--:-- --:--:-- --:--:-- 1916 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/dev-setup-debian HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:09:52 GMT < ETag: "17-61c26ee5257ec" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2426 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/dummy HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:04:42 GMT < ETag: "17-61c26dbccc7ce" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2464 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/interactive HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:08:25 GMT < ETag: "17-61c26e915a085" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2505 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/other-tests HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:06:42 GMT < ETag: "17-61c26e2fb9982" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2441 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/ovm-tarball HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:11:19 GMT < ETag: "17-61c26f375886c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2505 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/pea HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:04:49 GMT < ETag: "17-61c26dc3aeec1" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2283 0 --:--:-- --:--:-- --:--:-- 2300 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/raw-vm HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:08:19 GMT < ETag: "17-61c26e8c49e6f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2362 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6dca280c0 [serially] * Can not multiplex, even if we wanted to! * Re-using existing connection! (#0) with host op.oils.pub * Connected to op.oils.pub (207.244.121.250) port 80 (#0) % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0> GET /status-api/github/9737488224/wild HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > * Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Mon, 01 Jul 2024 03:12:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:10:37 GMT < ETag: "17-61c26f0fef039" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2546 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit f5f649be26f44d95fdc90c42936be5156015507b % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 442 100 374 100 68 831 151 --:--:-- --:--:-- --:--:-- 984 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "f5f649be26f44d95fdc90c42936be5156015507b", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/f5f649be26f44d95fdc90c42936be5156015507b" } }