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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:15:23 GMT < ETag: "17-61cd3acd45074" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 103 0 --:--:-- --:--:-- --:--:-- 103 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:17:34 GMT < ETag: "17-61cd3b49c5c2d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6017 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:16:43 GMT < ETag: "17-61cd3b197c110" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5563 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:13:06 GMT < ETag: "17-61cd3a4abf8a7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5508 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:13:39 GMT < ETag: "17-61cd3a69aee55" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5534 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:14:48 GMT < ETag: "17-61cd3aabcbc6f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5577 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:13:59 GMT < ETag: "17-61cd3a7d76528" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1562 0 --:--:-- --:--:-- --:--:-- 1642 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:11:49 GMT < ETag: "17-61cd3a015589b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5456 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:12:53 GMT < ETag: "17-61cd3a3e13303" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5558 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 18:03:45 GMT < ETag: "17-61cd459c87c3f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5528 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:09:36 GMT < ETag: "17-61cd39829b7a7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6802 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:13:24 GMT < ETag: "17-61cd3a5c088bb" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5994 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:11:35 GMT < ETag: "17-61cd39f37e1dc" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3181 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:16:06 GMT < ETag: "17-61cd3af6b35e7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5905 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:09:43 GMT < ETag: "17-61cd398915aa3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6560 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:13:27 GMT < ETag: "17-61cd3a5e9bb80" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5695 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5598bff8e0c0 [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/9861300769/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: Tue, 09 Jul 2024 18:04:14 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 17:15:31 GMT < ETag: "17-61cd3ad53f3ea" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6431 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 424085be3605d98ccdf2d45a4a7288f060dc738c % 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 965 175 --:--:-- --:--:-- --:--:-- 1142 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "424085be3605d98ccdf2d45a4a7288f060dc738c", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/424085be3605d98ccdf2d45a4a7288f060dc738c" } }