On Mon, May 13, 2019 at 12:24 PM Emmanuel Charpentier
<emanuel.charpent...@gmail.com> wrote:
>
> Dear list,
>
> I wondered why no one had judged useful to review Trac#27738. I checked the 
> result of the (numerous) patchbot tests and wondered why ALL of their 
> shortlogs ended in :
>
> tar xf /tmp/tmpjvmgze9t/R-3.6.0.tar.gz -C /tmp/tmpjvmgze9t
> > Successfully unpacked
> Sha1 of R-3.6.0.tar.gz is c8a1949e763d22ec3b1dbdd251afcb0f1d2d5c76
> Traceback (most recent call last):
>   File 
> "/home/sage-patchbot/.local/lib/python3.5/site-packages/sage_patchbot/patchbot.py",
>  line 1082, in test_a_ticket
>     self.check_spkg(spkg)
>   File 
> "/home/sage-patchbot/.local/lib/python3.5/site-packages/sage_patchbot/patchbot.py",
>  line 1311, in check_spkg
>     given_sha = open(path).read().splitlines()[1].split('=')[1]
> FileNotFoundError: [Errno 2] No such file or directory: 
> '/home/sage-patchbot/sage/build/pkgs/R/checksums.ini'
> https://cran.r-project.org/src/base/R-3/R-3.6.0.tar.gz -- 1 seconds
> Apply -- 5 seconds
> https://cran.r-project.org/src/base/R-3/R-3.6.0.tar.gz -- 1 seconds
> 2019-05-12 09:47:16
> 6 seconds
>
>
>  (modulo the dates and temp directories' names). Is that supposed to happen ?

Apparently there is some kind of bug/confusion somewhere because in
'/home/sage-patchbot/sage/build/pkgs/R/checksums.ini' it should be 'r'
not 'R'.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAOTD34ZzT7GUE%2BHGALM3Mu-F94mQ5h%2B5qtCMf1J%3D%2BsNAzv8NFg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to