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/9783541432/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, 03 Jul 2024 19:19:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:16:32 GMT < ETag: "17-61c5cab06b61f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 201 0 --:--:-- --:--:-- --:--:-- 203 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:19:02 GMT < ETag: "17-61c5cb3ff1ae5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2832 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:17:49 GMT < ETag: "17-61c5cafa4a90a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2957 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:14:22 GMT < ETag: "17-61c5ca34a85c3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2813 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:14:52 GMT < ETag: "17-61c5ca515c2f4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2932 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:15:55 GMT < ETag: "17-61c5ca8d0f795" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2847 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:15:19 GMT < ETag: "17-61c5ca6ad9c08" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2827 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:13:06 GMT < ETag: "17-61c5c9ec2ca4e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2817 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:14:06 GMT < ETag: "17-61c5ca25a0fce" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3029 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:16:14 GMT < ETag: "17-61c5ca9fe051a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2858 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:10:57 GMT < ETag: "17-61c5c9716e5cf" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3178 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:14:33 GMT < ETag: "17-61c5ca3eec81c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1849 0 --:--:-- --:--:-- --:--:-- 1916 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:12:57 GMT < ETag: "17-61c5c9e3db840" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2856 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:17:33 GMT < ETag: "17-61c5caeb5b1e3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2733 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:11:08 GMT < ETag: "17-61c5c97b61f1b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3165 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:14:37 GMT < ETag: "17-61c5ca430dde7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2985 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5593c165a0c0 [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/9783541432/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, 03 Jul 2024 19:19:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 19:16:47 GMT < ETag: "17-61c5cabf28898" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3080 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 66c405d0e1a1b358c634ba65081fb7e4ba427b71 % 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 335 --:--:-- --:--:-- --:--:-- 334 100 442 100 374 100 68 726 132 --:--:-- --:--:-- --:--:-- 858 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "66c405d0e1a1b358c634ba65081fb7e4ba427b71", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/66c405d0e1a1b358c634ba65081fb7e4ba427b71" } }