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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:55:35 GMT < ETag: "17-61ce5d6b3aa14" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 109 0 --:--:-- --:--:-- --:--:-- 110 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:57:27 GMT < ETag: "17-61ce5dd65baac" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2781 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:56:56 GMT < ETag: "17-61ce5db8bb43e" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2803 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 15:19:12 GMT < ETag: "17-61ce62b248f6f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2815 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:53:53 GMT < ETag: "17-61ce5d0992dd0" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2715 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:54:54 GMT < ETag: "17-61ce5d441963b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2849 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:54:13 GMT < ETag: "17-61ce5d1ce941b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2879 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:52:07 GMT < ETag: "17-61ce5ca51bdd7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2169 0 --:--:-- --:--:-- --:--:-- 2300 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:53:08 GMT < ETag: "17-61ce5cdec4b6b" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2787 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 15:00:34 GMT < ETag: "17-61ce5e88b33f2" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2916 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:49:55 GMT < ETag: "17-61ce5c269ba54" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2793 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:53:27 GMT < ETag: "17-61ce5cf0e0a82" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2966 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:51:55 GMT < ETag: "17-61ce5c99962f7" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2864 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:56:16 GMT < ETag: "17-61ce5d91f2a5a" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2884 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:49:56 GMT < ETag: "17-61ce5c28481bb" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2884 0 --:--:-- --:--:-- --:--:-- 3285 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:53:43 GMT < ETag: "17-61ce5d00b615f" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2814 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact * Found bundle for host op.oils.pub: 0x55ca1c23d0c0 [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/9876478019/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 15:19:26 GMT < Content-Length: 23 < Connection: keep-alive < Last-Modified: Wed, 10 Jul 2024 14:55:50 GMT < ETag: "17-61ce5d79e829d" < Accept-Ranges: bytes < { [23 bytes data] 100 23 100 23 0 0 2769 0 --:--:-- --:--:-- --:--:-- 2875 * Connection #0 to host op.oils.pub left intact Trying to fast-forward branch master to commit 51844f753fa27a6115edf2812f840f73e719dc10 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 442 100 374 100 68 866 157 --:--:-- --:--:-- --:--:-- 1023 Success: { "ref": "refs/heads/master", "node_id": "MDM6UmVmNzM4NDcxNzE6cmVmcy9oZWFkcy9tYXN0ZXI=", "url": "https://api.github.com/repos/oilshell/oil/git/refs/heads/master", "object": { "sha": "51844f753fa27a6115edf2812f840f73e719dc10", "type": "commit", "url": "https://api.github.com/repos/oilshell/oil/git/commits/51844f753fa27a6115edf2812f840f73e719dc10" } }