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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:05:25 GMT < ETag: "17-61cd6e37983ad" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 271 0 --:--:-- --:--:-- --:--:-- 273 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:07:09 GMT < ETag: "17-61cd6e9ae102c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5501 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:06:48 GMT < ETag: "17-61cd6e86d1cca" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6022 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:03:12 GMT < ETag: "17-61cd6db90cfde" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5579 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:03:26 GMT < ETag: "17-61cd6dc65942a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6786 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:04:39 GMT < ETag: "17-61cd6e0c2f0a8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6558 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:04:00 GMT < ETag: "17-61cd6de72d7cb" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5420 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:01:51 GMT < ETag: "17-61cd6d6b5db4e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5974 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:02:50 GMT < ETag: "17-61cd6da3c3d18" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5239 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:04:53 GMT < ETag: "17-61cd6e190cb70" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6126 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 20:59:41 GMT < ETag: "17-61cd6cefa1b3a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6095 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:03:21 GMT < ETag: "17-61cd6dc18ef3c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6120 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:01:33 GMT < ETag: "17-61cd6d5ae280e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6565 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:06:20 GMT < ETag: "17-61cd6e6be8355" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6308 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 20:59:51 GMT < ETag: "17-61cd6cf8e6ba9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5933 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/raw-vm HTTP/1.1 > Host: op.oils.pub > User-Agent: curl/7.81.0 > Accept: */* > 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0* Mark bundle as not supporting multiuse < HTTP/1.1 200 OK < Server: nginx < Date: Tue, 09 Jul 2024 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:03:25 GMT < ETag: "17-61cd6dc5c4177" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6268 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55d6701800c0 [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/9864072811/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 21:07:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 09 Jul 2024 21:05:30 GMT < ETag: "17-61cd6e3c3138d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6003 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 308ba350895100a5a9fe34a1da0a9b78de698dd8 % 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 822 149 --:--:-- --:--:-- --:--:-- 973 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "308ba350895100a5a9fe34a1da0a9b78de698dd8", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/308ba350895100a5a9fe34a1da0a9b78de698dd8" } }