ci: change name of github action #85

Merged
servostar merged 1 commits from ci/change-github-action-name into main 2024-11-21 14:39:49 +00:00

1 Commits

Author SHA1 Message Date
Sven Vogel f9fe6de0af ci: change name of github action
Gitea Action for checking typst compilation / run-ci-linux (push) Successful in 1m50s Details
2024-11-21 15:37:14 +01:00