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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:21:52 GMT < ETag: "17-61bec6cdc82a7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 226 0 --:--:-- --:--:-- --:--:-- 227 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:23:49 GMT < ETag: "17-61bec73ceff55" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6462 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:23:19 GMT < ETag: "17-61bec720636e9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6073 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:19:45 GMT < ETag: "17-61bec6540be72" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 8217 0 --:--:-- --:--:-- --:--:-- 11500 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:19:46 GMT < ETag: "17-61bec655822ac" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6413 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:21:02 GMT < ETag: "17-61bec69d543a3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7540 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:20:14 GMT < ETag: "17-61bec670197a2" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7174 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:18:22 GMT < ETag: "17-61bec60594329" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 8202 0 --:--:-- --:--:-- --:--:-- 11500 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:19:06 GMT < ETag: "17-61bec62ec0624" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6605 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:21:36 GMT < ETag: "17-61bec6bdbff4a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5815 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:16:05 GMT < ETag: "17-61bec5822835d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6258 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:19:40 GMT < ETag: "17-61bec64f4dcd8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5532 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:18:00 GMT < ETag: "17-61bec5f027239" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 4772 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:22:50 GMT < ETag: "17-61bec704939fd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7327 0 --:--:-- --:--:-- --:--:-- 5750 100 23 100 23 0 0 6826 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:16:05 GMT < ETag: "17-61bec58222986" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6804 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:19:49 GMT < ETag: "17-61bec657a92ff" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7448 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55b3a898f0c0 [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/9707810908/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: Fri, 28 Jun 2024 05:24:08 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Fri, 28 Jun 2024 05:22:00 GMT < ETag: "17-61bec6d53f47e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 8375 0 --:--:-- --:--:-- --:--:-- 11500 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 31d404df3c15a6d3491f36cf1f4ca6c7a0c99d9e % 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": "31d404df3c15a6d3491f36cf1f4ca6c7a0c99d9e", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/31d404df3c15a6d3491f36cf1f4ca6c7a0c99d9e" } }