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/9763737117/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 15:30:39 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:28:26 GMT < ETag: "17-61c455d7851b3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 202 0 --:--:-- --:--:-- --:--:-- 203 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:39 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:30:24 GMT < ETag: "17-61c45647a8a5f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1066 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:39 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:29:40 GMT < ETag: "17-61c4561d6a85d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1030 0 --:--:-- --:--:-- --:--:-- 1045 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:26:10 GMT < ETag: "17-61c4555543a91" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1071 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:26:46 GMT < ETag: "17-61c45577a9803" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1050 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:27:48 GMT < ETag: "17-61c455b347d58" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1080 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:26:51 GMT < ETag: "17-61c4557ca176b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1080 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:24:54 GMT < ETag: "17-61c4550d0c029" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1041 0 --:--:-- --:--:-- --:--:-- 1045 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:25:48 GMT < ETag: "17-61c4554080071" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1081 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:28:04 GMT < ETag: "17-61c455c286645" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1059 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:22:37 GMT < ETag: "17-61c4548a4dcf0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1081 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:26:16 GMT < ETag: "17-61c4555baa905" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1042 0 --:--:-- --:--:-- --:--:-- 1045 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:24:43 GMT < ETag: "17-61c45502aa50d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1048 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:29:16 GMT < ETag: "17-61c4560739e71" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1079 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:22:44 GMT < ETag: "17-61c454915a3cf" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1037 0 --:--:-- --:--:-- --:--:-- 1045 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:26:21 GMT < ETag: "17-61c4555ff7242" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1078 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x556aac00c0c0 [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/9763737117/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 15:30:40 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Tue, 02 Jul 2024 15:28:28 GMT < ETag: "17-61c455d8d1611" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1074 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 9911231b0cb4dd95b95367ee399a4cdfc167f47f % 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 766 139 --:--:-- --:--:-- --:--:-- 905 100 442 100 374 100 68 766 139 --:--:-- --:--:-- --:--:-- 905 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "9911231b0cb4dd95b95367ee399a4cdfc167f47f", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/9911231b0cb4dd95b95367ee399a4cdfc167f47f" } }