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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:42:13 GMT < ETag: "17-61bd96e57b381" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 254 0 --:--:-- --:--:-- --:--:-- 255 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:44:11 GMT < ETag: "17-61bd975648716" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1271 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:43:33 GMT < ETag: "17-61bd9731c1709" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1049 0 --:--:-- --:--:-- --:--:-- 1095 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:40:04 GMT < ETag: "17-61bd966ab546d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1225 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:40:20 GMT < ETag: "17-61bd967a3737c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1225 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:41:29 GMT < ETag: "17-61bd96bb7e080" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1237 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:40:39 GMT < ETag: "17-61bd968bf9d0a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1198 0 --:--:-- --:--:-- --:--:-- 1210 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:38:47 GMT < ETag: "17-61bd962190514" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1264 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:33 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:39:42 GMT < ETag: "17-61bd9655c5b27" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1217 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:41:34 GMT < ETag: "17-61bd96c0d7e4f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1205 0 --:--:-- --:--:-- --:--:-- 1210 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:36:26 GMT < ETag: "17-61bd959a9814e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1237 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:40:12 GMT < ETag: "17-61bd9672500a2" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1205 0 --:--:-- --:--:-- --:--:-- 1210 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:38:26 GMT < ETag: "17-61bd960cd2c94" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1257 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:43:19 GMT < ETag: "17-61bd972465c9b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1208 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:36:38 GMT < ETag: "17-61bd95a5ccb67" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1246 0 --:--:-- --:--:-- --:--:-- 1210 100 23 100 23 0 0 1234 0 --:--:-- --:--:-- --:--:-- 1210 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:40:12 GMT < ETag: "17-61bd967270829" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1230 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x56334dad70c0 [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/9691851725/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 06:44:34 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Thu, 27 Jun 2024 06:42:35 GMT < ETag: "17-61bd96fa8856d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 1237 0 --:--:-- --:--:-- --:--:-- 1277 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit bff2dfdfff780b155d3426fd40666ea1daf53083 % 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 929 169 --:--:-- --:--:-- --:--:-- 1099 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "bff2dfdfff780b155d3426fd40666ea1daf53083", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/bff2dfdfff780b155d3426fd40666ea1daf53083" } }