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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:51:28 GMT < ETag: "17-61bd7e24e1e00" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 106 0 --:--:-- --:--:-- --:--:-- 106 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:53:25 GMT < ETag: "17-61bd7e93cdde3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 379 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:52:47 GMT < ETag: "17-61bd7e7040628" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:49:19 GMT < ETag: "17-61bd7da90e71b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:49:31 GMT < ETag: "17-61bd7db477ce3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:43 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:50:42 GMT < ETag: "17-61bd7df85186f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:49:53 GMT < ETag: "17-61bd7dc9604c4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 379 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:48:01 GMT < ETag: "17-61bd7d5ea318c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 383 0 --:--:-- --:--:-- --:--:-- 389 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:48:51 GMT < ETag: "17-61bd7d8f27e30" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 374 0 --:--:-- --:--:-- --:--:-- 377 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:51:06 GMT < ETag: "17-61bd7e0f758c4" < 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: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:45:48 GMT < ETag: "17-61bd7cdfc809c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:49:19 GMT < ETag: "17-61bd7da9436c1" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 381 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:47:41 GMT < ETag: "17-61bd7d4c48a6b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:51:59 GMT < ETag: "17-61bd7e4214e85" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:45:46 GMT < ETag: "17-61bd7cde5f721" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:49:24 GMT < ETag: "17-61bd7dae62ef2" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 382 0 --:--:-- --:--:-- --:--:-- 383 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca360b30c0 [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/9690820701/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: Thu, 27 Jun 2024 04:53:44 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 04:51:36 GMT < ETag: "17-61bd7e2c2635d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 383 0 --:--:-- --:--:-- --:--:-- 389 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit b18618b2eaee0fcd432f723d305bf6362aaf5f7e % 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 829 150 --:--:-- --:--:-- --:--:-- 982 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "b18618b2eaee0fcd432f723d305bf6362aaf5f7e", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/b18618b2eaee0fcd432f723d305bf6362aaf5f7e" } }