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) > GET /status-api/github/9737530742/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:56:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:15:05 GMT < ETag: "17-61c2700eed03f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 62 0 --:--:-- --:--:-- --:--:-- 62 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:16:22 GMT < ETag: "17-61c2705908881" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 406 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:16:22 GMT < ETag: "17-61c2705871a76" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 402 0 --:--:-- --:--:-- --:--:-- 403 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:12:56 GMT < ETag: "17-61c26f93e010f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 405 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:12:58 GMT < ETag: "17-61c26f959d9e8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 408 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:14:10 GMT < ETag: "17-61c26fda79659" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 410 0 --:--:-- --:--:-- --:--:-- 418 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:13:14 GMT < ETag: "17-61c26fa5256a3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 354 0 --:--:-- --:--:-- --:--:-- 359 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:11:35 GMT < ETag: "17-61c26f472c3fd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 407 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:12:03 GMT < ETag: "17-61c26f6133c42" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 408 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:14:04 GMT < ETag: "17-61c26fd55638f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 408 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:09:01 GMT < ETag: "17-61c26eb3de216" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 377 100 23 100 23 0 0 380 0 --:--:-- --:--:-- --:--:-- 377 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:12:39 GMT < ETag: "17-61c26f843abad" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 405 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:10:51 GMT < ETag: "17-61c26f1cb01f5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 406 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:55:53 GMT < ETag: "17-61c2792d8a760" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 408 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:09:03 GMT < ETag: "17-61c26eb618318" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 405 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:13:35 GMT < ETag: "17-61c26fb9be901" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 407 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ed1d8f80c0 [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/9737530742/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:56:12 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 03:15:21 GMT < ETag: "17-61c2701ecf247" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 405 0 --:--:-- --:--:-- --:--:-- 410 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 91c74adea91505074b2ac6cb6ec2c2e66daa79a9 % 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 548 99 --:--:-- --:--:-- --:--:-- 648 100 442 100 374 100 68 548 99 --:--:-- --:--:-- --:--:-- 648 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "91c74adea91505074b2ac6cb6ec2c2e66daa79a9", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/91c74adea91505074b2ac6cb6ec2c2e66daa79a9" } }