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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:36:42 GMT < ETag: "17-61be3698ce890" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 177 0 --:--:-- --:--:-- --:--:-- 178 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:38:59 GMT < ETag: "17-61be371b564df" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 918 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:37:56 GMT < ETag: "17-61be36df30781" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 917 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:34:28 GMT < ETag: "17-61be3618cb4a8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 928 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:35:04 GMT < ETag: "17-61be363b02811" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 922 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:36:07 GMT < ETag: "17-61be3676dd255" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 928 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:35:24 GMT < ETag: "17-61be364e0818f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 920 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:33:13 GMT < ETag: "17-61be35d1791f9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 914 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:16 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:34:06 GMT < ETag: "17-61be3603c1199" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 930 0 --:--:-- --:--:-- --:--:-- 920 100 23 100 23 0 0 921 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:36:15 GMT < ETag: "17-61be367f190a6" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 926 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:31:04 GMT < ETag: "17-61be3556ab9b9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 911 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:34:54 GMT < ETag: "17-61be3631d1fb8" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 909 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:32:58 GMT < ETag: "17-61be35c34e326" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 931 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:37:35 GMT < ETag: "17-61be36cad12ce" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 898 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:31:11 GMT < ETag: "17-61be355d0f568" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 922 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:35:06 GMT < ETag: "17-61be363cc185c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 932 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55a6d507d0c0 [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/9701778902/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: Thu, 27 Jun 2024 18:39:17 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 18:36:53 GMT < ETag: "17-61be36a2f4e7a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 910 0 --:--:-- --:--:-- --:--:-- 920 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit c7dfacc7e755ac7ce11f377d5a86e83089079b91 % 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 861 156 --:--:-- --:--:-- --:--:-- 1020 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "c7dfacc7e755ac7ce11f377d5a86e83089079b91", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/c7dfacc7e755ac7ce11f377d5a86e83089079b91" } }