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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:12:10 GMT < ETag: "17-61bd0a117bd75" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 165 0 --:--:-- --:--:-- --:--:-- 166 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:14:09 GMT < ETag: "17-61bd0a839de79" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5484 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:13:35 GMT < ETag: "17-61bd0a627a51d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6403 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:10:02 GMT < ETag: "17-61bd0998039d5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6713 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:10:22 GMT < ETag: "17-61bd09ab57946" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7407 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:11:36 GMT < ETag: "17-61bd09f1775cf" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6087 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:10:41 GMT < ETag: "17-61bd09bd6f23e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5399 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:08:44 GMT < ETag: "17-61bd094d0159a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6873 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:09:34 GMT < ETag: "17-61bd097cb5abd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6563 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:11:44 GMT < ETag: "17-61bd09f984df6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6954 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:06:25 GMT < ETag: "17-61bd08c950b77" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6959 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:10:20 GMT < ETag: "17-61bd09a8c2b20" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6149 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:08:25 GMT < ETag: "17-61bd093b89364" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6820 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:12:53 GMT < ETag: "17-61bd0a3afff16" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6853 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:06:31 GMT < ETag: "17-61bd08cef77b7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6573 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:10:24 GMT < ETag: "17-61bd09ad29e29" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7653 0 --:--:-- --:--:-- --:--:-- 11500 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5573ef0b00c0 [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/9686039868/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, 26 Jun 2024 20:14:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 26 Jun 2024 20:12:18 GMT < ETag: "17-61bd0a19eac31" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 7689 0 --:--:-- --:--:-- --:--:-- 11500 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 10ef2c48fda5537f80cff2fc402d7f9e41ad7de7 % 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 985 179 --:--:-- --:--:-- --:--:-- 1163 100 442 100 374 100 68 984 179 --:--:-- --:--:-- --:--:-- 1163 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "10ef2c48fda5537f80cff2fc402d7f9e41ad7de7", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/10ef2c48fda5537f80cff2fc402d7f9e41ad7de7" } }