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 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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:43:06 GMT < ETag: "17-61c3b82fc02a2" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 141 0 --:--:-- --:--:-- --:--:-- 141 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:45:11 GMT < ETag: "17-61c3b8a6b63dd" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6105 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:44:21 GMT < ETag: "17-61c3b877abde0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5472 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:40:53 GMT < ETag: "17-61c3b7b132806" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5705 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:41:22 GMT < ETag: "17-61c3b7cc5631a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5329 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:42:31 GMT < ETag: "17-61c3b80e8b04d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5914 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:42:03 GMT < ETag: "17-61c3b7f386938" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5830 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:39:40 GMT < ETag: "17-61c3b76b6219c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5452 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:40:44 GMT < ETag: "17-61c3b7a824682" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 6076 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:42:43 GMT < ETag: "17-61c3b819e82c4" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5160 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:37:32 GMT < ETag: "17-61c3b6f14e6c7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5393 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:41:06 GMT < ETag: "17-61c3b7bd191b0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5941 0 --:--:-- --:--:-- --:--:-- 7666 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:39:31 GMT < ETag: "17-61c3b762d8d13" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5465 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:44:23 GMT < ETag: "17-61c3b878d6346" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5345 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:37:36 GMT < ETag: "17-61c3b6f4cee67" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5438 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:41:23 GMT < ETag: "17-61c3b7cd9aa77" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5313 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x558d558410c0 [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/9754599382/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, 02 Jul 2024 03:45:25 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 03:43:09 GMT < ETag: "17-61c3b832b24ef" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 5503 0 --:--:-- --:--:-- --:--:-- 5750 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 0a088184907e1b5f1d8c3ae0d074e3670ac52072 % 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 1088 197 --:--:-- --:--:-- --:--:-- 1288 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "0a088184907e1b5f1d8c3ae0d074e3670ac52072", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/0a088184907e1b5f1d8c3ae0d074e3670ac52072" } }