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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:35:07 GMT < ETag: "17-61ce811428381" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 113 0 --:--:-- --:--:-- --:--:-- 113 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:37:03 GMT < ETag: "17-61ce8182d0d97" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5378 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:36:29 GMT < ETag: "17-61ce81620950a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5316 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:32:59 GMT < ETag: "17-61ce809a1d4e3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5215 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:33:18 GMT < ETag: "17-61ce80abce526" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 4878 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:34:20 GMT < ETag: "17-61ce80e6c4aee" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1112 0 --:--:-- --:--:-- --:--:-- 1150 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:33:36 GMT < ETag: "17-61ce80bd66eca" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5612 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:31:39 GMT < ETag: "17-61ce804dcae34" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5998 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:32:26 GMT < ETag: "17-61ce807a609d6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5542 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:34:38 GMT < ETag: "17-61ce80f80f67d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5955 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:29:17 GMT < ETag: "17-61ce7fc639998" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5877 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:33:03 GMT < ETag: "17-61ce809dd6e93" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5770 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:31:23 GMT < ETag: "17-61ce803e2d9b0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5911 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:36:00 GMT < ETag: "17-61ce814630b5c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5205 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:29:27 GMT < ETag: "17-61ce7fcf4c174" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6083 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:33:06 GMT < ETag: "17-61ce80a06dbf6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5641 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55f4eddb20c0 [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/9878779704/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 17:37:18 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 17:35:23 GMT < ETag: "17-61ce8122fd4ec" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5433 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 3fb97c2ed1b6a85031484462ffdb80b3f113033e % 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 932 169 --:--:-- --:--:-- --:--:-- 1102 100 442 100 374 100 68 932 169 --:--:-- --:--:-- --:--:-- 1099 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "3fb97c2ed1b6a85031484462ffdb80b3f113033e", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/3fb97c2ed1b6a85031484462ffdb80b3f113033e" } }