Commit Graph

4 Commits

Author SHA1 Message Date
Adrián Chaves ebe59e43d5 Remove patch for Ubuntu 18.04 2024-02-14 19:22:20 +01:00
Adrián Chaves e5855d1488 CI: Ubuntu: 18.04 → 20.04 2024-02-14 19:18:24 +01:00
Adrián Chaves 2023a6bdcb
Fix the CI (#6149) 2023-11-17 10:12:29 +01:00
Adrián Chaves 4183925b4b Travis CI → GitHub Actions 2021-10-05 21:04:36 +02:00