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/9879563658/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: Wed, 10 Jul 2024 19:45:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:36:52 GMT < ETag: "17-61ce8ee193ddc" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 126 0 --:--:-- --:--:-- --:--:-- 127 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 19:45:30 GMT < ETag: "17-61ce9e38dc116" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:38:11 GMT < ETag: "17-61ce8f2c988b5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:50 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:34:43 GMT < ETag: "17-61ce8e663de77" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 312 0 --:--:-- --:--:-- --:--:-- 315 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:35:07 GMT < ETag: "17-61ce8e7d1b20c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 299 0 --:--:-- --:--:-- --:--:-- 302 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:36:12 GMT < ETag: "17-61ce8ebb3f723" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 282 0 --:--:-- --:--:-- --:--:-- 283 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:35:37 GMT < ETag: "17-61ce8e999e241" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:33:21 GMT < ETag: "17-61ce8e178309f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 306 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:34:22 GMT < ETag: "17-61ce8e51d16e5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:36:18 GMT < ETag: "17-61ce8ec124390" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 310 0 --:--:-- --:--:-- --:--:-- 315 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:31:16 GMT < ETag: "17-61ce8da0792a6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 306 0 --:--:-- --:--:-- --:--:-- 306 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:34:48 GMT < ETag: "17-61ce8e6b1e2f6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 306 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 306 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:33:06 GMT < ETag: "17-61ce8e0998145" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:37:35 GMT < ETag: "17-61ce8f0a70798" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 302 0 --:--:-- --:--:-- --:--:-- 306 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:31:19 GMT < ETag: "17-61ce8da35e5ed" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:35:04 GMT < ETag: "17-61ce8e7a14f6e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56275300f0c0 [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/9879563658/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: Wed, 10 Jul 2024 19:45:51 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 18:36:57 GMT < ETag: "17-61ce8ee5ec67f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 282 0 --:--:-- --:--:-- --:--:-- 283 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 5713bdf2b475a53f94e7cd500d6e8d5b58d2b214 % 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 626 113 --:--:-- --:--:-- --:--:-- 740 100 442 100 374 100 68 626 113 --:--:-- --:--:-- --:--:-- 740 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "5713bdf2b475a53f94e7cd500d6e8d5b58d2b214", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/5713bdf2b475a53f94e7cd500d6e8d5b58d2b214" } }