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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:24:07 GMT < ETag: "17-61c5a426cabb5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 249 0 --:--:-- --:--:-- --:--:-- 250 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:26:13 GMT < ETag: "17-61c5a49eff287" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1243 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:25:21 GMT < ETag: "17-61c5a46d4d97e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1240 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:21:58 GMT < ETag: "17-61c5a3ac1dbe8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1250 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:22:15 GMT < ETag: "17-61c5a3bc7740c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1168 0 --:--:-- --:--:-- --:--:-- 1210 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:23:17 GMT < ETag: "17-61c5a3f79bfbe" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1238 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:22:32 GMT < ETag: "17-61c5a3cc309b5" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1272 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:20:33 GMT < ETag: "17-61c5a35adda43" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1231 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:21:31 GMT < ETag: "17-61c5a3927e3bd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1274 0 --:--:-- --:--:-- --:--:-- 1352 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:23:33 GMT < ETag: "17-61c5a40656f22" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1242 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:18:13 GMT < ETag: "17-61c5a2d5a2c5d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1034 0 --:--:-- --:--:-- --:--:-- 1045 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:21:54 GMT < ETag: "17-61c5a3a81c9b6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1246 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:20:18 GMT < ETag: "17-61c5a34d024f8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1281 0 --:--:-- --:--:-- --:--:-- 1352 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:24:41 GMT < ETag: "17-61c5a447c0663" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1212 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:18:21 GMT < ETag: "17-61c5a2dd520a6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1237 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:22:05 GMT < ETag: "17-61c5a3b2c78a0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1219 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5614451970c0 [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/9781407201/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 16:26:29 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 03 Jul 2024 16:24:08 GMT < ETag: "17-61c5a4279c33d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1224 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 9e846f6e9ad8642dbc3d1abeed6b07a54c34d636 % 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 636 115 --:--:-- --:--:-- --:--:-- 751 100 442 100 374 100 68 635 115 --:--:-- --:--:-- --:--:-- 750 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "9e846f6e9ad8642dbc3d1abeed6b07a54c34d636", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/9e846f6e9ad8642dbc3d1abeed6b07a54c34d636" } }