fennecJ 76c7b0edbd Keep workflow running even if no release tag found ... The action we used to delete the old release somehow cannot find the release tag in forked repo and cause the workflow failed. To solve this issue, simply setting `fail-if-no-release` option to false will do the trick.		2021-09-24 13:34:32 +08:00
..
deploy_github_page.yaml	Publish GitHub Page with GitHub Action	2021-08-02 06:22:29 +01:00
generate_doc.yaml	Keep workflow running even if no release tag found	2021-09-24 13:34:32 +08:00
status-check.yaml	CI: Enforce status checks once pull requests received (#113)	2021-09-23 20:01:13 +08:00