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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:49:34 GMT < ETag: "17-61cdc88dd75ec" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 134 0 --:--:-- --:--:-- --:--:-- 135 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:51:42 GMT < ETag: "17-61cdc90779fe0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:51:05 GMT < ETag: "17-61cdc8e4ba918" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 306 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:47:25 GMT < ETag: "17-61cdc8128616b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:47:47 GMT < ETag: "17-61cdc8275f70c" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:48:50 GMT < ETag: "17-61cdc863f25fb" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:02 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:48:21 GMT < ETag: "17-61cdc847b243b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 306 0 --:--:-- --:--:-- --:--:-- 306 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:46:06 GMT < ETag: "17-61cdc7c7144e9" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 306 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 306 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:47:06 GMT < ETag: "17-61cdc80040e31" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:49:21 GMT < ETag: "17-61cdc880bd65e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:43:58 GMT < ETag: "17-61cdc74d336e7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 308 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:47:28 GMT < ETag: "17-61cdc8152b929" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:45:49 GMT < ETag: "17-61cdc7b70f071" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 307 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:50:26 GMT < ETag: "17-61cdc8beebb46" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:43:59 GMT < ETag: "17-61cdc74dcc431" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 310 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:47:31 GMT < ETag: "17-61cdc81834aa3" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 309 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x5571993e10c0 [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/9867839682/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: Wed, 10 Jul 2024 03:52:03 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 03:49:44 GMT < ETag: "17-61cdc897112a1" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 310 0 --:--:-- --:--:-- --:--:-- 310 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 80fa49a3b068850c248e95d9edfde4dbb873af24 % 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 806 146 --:--:-- --:--:-- --:--:-- 952 100 442 100 374 100 68 806 146 --:--:-- --:--:-- --:--:-- 952 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "80fa49a3b068850c248e95d9edfde4dbb873af24", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/80fa49a3b068850c248e95d9edfde4dbb873af24" } }