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/9748197436/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: Mon, 01 Jul 2024 17:09:10 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:06:50 GMT < ETag: "17-61c329f838612" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 413 0 --:--:-- --:--:-- --:--:-- 418 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:08:55 GMT < ETag: "17-61c32a6f90da0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 919 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:08:13 GMT < ETag: "17-61c32a47244ec" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 911 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:04:40 GMT < ETag: "17-61c3297cbc972" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 910 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:05:13 GMT < ETag: "17-61c3299be5159" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 931 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:06:21 GMT < ETag: "17-61c329dcc97d9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 925 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:05:30 GMT < ETag: "17-61c329abd9089" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 922 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:03:25 GMT < ETag: "17-61c329352ea1e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 895 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:04:23 GMT < ETag: "17-61c3296c81d74" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 909 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:06:26 GMT < ETag: "17-61c329e1b01e5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 894 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:01:21 GMT < ETag: "17-61c328be18910" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 918 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:04:58 GMT < ETag: "17-61c3298de4277" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 934 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:03:21 GMT < ETag: "17-61c329310ad3c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 916 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:08:09 GMT < ETag: "17-61c32a43985b3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 922 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:01:25 GMT < ETag: "17-61c328c258b11" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 920 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:04:44 GMT < ETag: "17-61c329807e7f0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 902 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556d6c9e90c0 [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/9748197436/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: Mon, 01 Jul 2024 17:09:11 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 01 Jul 2024 17:07:03 GMT < ETag: "17-61c32a04439ad" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 926 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 889374a65df287049564a1f6360ddbc6ccfe6d43 % 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 756 137 --:--:-- --:--:-- --:--:-- 892 100 442 100 374 100 68 756 137 --:--:-- --:--:-- --:--:-- 892 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "889374a65df287049564a1f6360ddbc6ccfe6d43", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/889374a65df287049564a1f6360ddbc6ccfe6d43" } }