Commit graph

6 commits

Author SHA1 Message Date
Sijawusz Pur Rahnama
01ab89b348 Tweak CI settings 2023-01-02 19:08:27 +01:00
Sijawusz Pur Rahnama
ea4439d6e2 Fix regression in docs CI 2022-12-22 13:45:27 +01:00
Sijawusz Pur Rahnama
e76de37b7d Update GitHub Actions 2022-12-21 16:08:16 +01:00
Sijawusz Pur Rahnama
6d41beba57
Remove ill-working CI hack 2021-01-16 19:57:57 +01:00
Sijawusz Pur Rahnama
d20952127a Add deploy docs workflow 2021-01-12 02:56:47 +01:00
Sijawusz Pur Rahnama
69f3921a68 Switch CI from Travis to GitHub Actions 2021-01-12 02:56:47 +01:00