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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:43:47 GMT < ETag: "17-61d42b683a728" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 192 0 --:--:-- --:--:-- --:--:-- 193 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:45:37 GMT < ETag: "17-61d42bd0c8d2e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2853 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:45:03 GMT < ETag: "17-61d42bb0b7e88" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2594 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:41:29 GMT < ETag: "17-61d42ae45847c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2668 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:41:48 GMT < ETag: "17-61d42af74053d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2652 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:43:00 GMT < ETag: "17-61d42b3bd54ef" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 3013 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:42:17 GMT < ETag: "17-61d42b120c220" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2896 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:40:12 GMT < ETag: "17-61d42a9b17053" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2902 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:41:09 GMT < ETag: "17-61d42ad17905b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1670 0 --:--:-- --:--:-- --:--:-- 1769 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:43:14 GMT < ETag: "17-61d42b4894b57" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2769 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:37:57 GMT < ETag: "17-61d42a1ae0c98" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2909 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:41:32 GMT < ETag: "17-61d42ae72be83" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2928 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:39:54 GMT < ETag: "17-61d42a89d4d83" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 936 0 --:--:-- --:--:-- --:--:-- 958 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:44:30 GMT < ETag: "17-61d42b90f4628" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2680 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:38:01 GMT < ETag: "17-61d42a1e62f91" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2891 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:41:43 GMT < ETag: "17-61d42af269918" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2413 0 --:--:-- --:--:-- --:--:-- 2555 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5624ad2960c0 [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/9934282946/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: Mon, 15 Jul 2024 05:45:52 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Mon, 15 Jul 2024 05:43:46 GMT < ETag: "17-61d42b676494f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2924 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 8aad6b6a4ee2370ad6986cb310501f66815fe538 % 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 792 144 --:--:-- --:--:-- --:--:-- 936 100 442 100 374 100 68 792 144 --:--:-- --:--:-- --:--:-- 936 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "8aad6b6a4ee2370ad6986cb310501f66815fe538", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/8aad6b6a4ee2370ad6986cb310501f66815fe538" } }