Completed
Push — rawhide ( 9645b3...463a3f )
by Jan
25s queued 15s
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.47
▶   ± 0
Head
Jan Černý  
Merge pull request #247 from matejak/update_ci
1 more commit
Base
Matěj Týč  
Merge pull request #245 from jan-cerny/testing_docs