Merge pull request #834 from ojeda/ci-timeout

ci: increase timeout a bit

Author: ojeda

.github/workflows/ci.yaml

@@ -8,7 +8,7 @@ jobs:
   ci:
     runs-on: ubuntu-20.04
     container: ghcr.io/rust-for-linux/ci:Rust-1.62.0
-    timeout-minutes: 20
+    timeout-minutes: 25
 
     strategy:
       matrix: