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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:46:04 GMT < ETag: "17-61cc0d34c2cad" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 84 0 --:--:-- --:--:-- --:--:-- 84 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:48:05 GMT < ETag: "17-61cc0da883206" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6146 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:47:29 GMT < ETag: "17-61cc0d86391ea" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6543 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:43:53 GMT < ETag: "17-61cc0cb805735" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3290 0 --:--:-- --:--:-- --:--:-- 3833 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:44:24 GMT < ETag: "17-61cc0cd505f3d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6697 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:45:46 GMT < ETag: "17-61cc0d237f64c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6689 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:44:48 GMT < ETag: "17-61cc0cebf3890" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6643 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:42:36 GMT < ETag: "17-61cc0c6e6dffd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5739 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 20:55:19 GMT < ETag: "17-61cc2a1896d71" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1751 0 --:--:-- --:--:-- --:--:-- 1769 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:45:45 GMT < ETag: "17-61cc0d2249d36" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6491 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:40:26 GMT < ETag: "17-61cc0bf236eee" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6358 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:44:10 GMT < ETag: "17-61cc0cc822e80" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6816 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 20:54:07 GMT < ETag: "17-61cc29d3e02b6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6563 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:47:02 GMT < ETag: "17-61cc0d6ba5766" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6672 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:40:31 GMT < ETag: "17-61cc0bf6b12a1" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6839 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:44:00 GMT < ETag: "17-61cc0cbe54ac1" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6877 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55e85d2e70c0 [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/9845141831/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, 08 Jul 2024 20:55:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 08 Jul 2024 18:46:15 GMT < ETag: "17-61cc0d3f39f86" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6256 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 2de3f0502cf2843b711074638cfd6307660760d9 % 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 68 0 0 100 68 0 330 --:--:-- --:--:-- --:--:-- 330 100 442 100 374 100 68 513 93 --:--:-- --:--:-- --:--:-- 607 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "2de3f0502cf2843b711074638cfd6307660760d9", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/2de3f0502cf2843b711074638cfd6307660760d9" } }