5 Commits

Author	SHA1	Message	Date
Dirk Stolle	3a4d45443d	ci: update actions/checkout in GitHub Actions workflows to v4 (#739)	2023-12-25 00:01:54 +01:00
Dirk Stolle	1df8c2407e	ci: Update actions/checkout in GitHub Actions workflows to v3 (#720)	2022-11-14 11:15:10 +01:00
Gopi Krishna Menon	6da59cc335	docs: Updated GA workflow to publish with peaceiris/action-gh-pages (#574)	2021-03-10 09:16:10 +01:00
Mateusz Łoskot	745d033ef2	ci: Use GitHub Actions automatic GITHUB_TOKEN secret in docs workflow	2021-03-05 20:57:59 +01:00
Gopi Krishna Menon	0778069b8e	Switch docs deployment from Travis CI to GitHub Actions (#563)	2021-03-02 11:02:07 +01:00