Verified Commit f0e5c0d7 authored by Adam Matoušek's avatar Adam Matoušek
Browse files

Try to fix CI.

parent a31556e7