Description
This pull request serves to verify that the recently updated pull-request workflows still work after actually severing the ties with the external dependencies: the previously used action repository has been removed and the Travis CI integration has been disabled for the SKIRT repository.
Also, the name of the format checking workflow has been shortened to improve readability in the GitHub user interface.
Description This pull request serves to verify that the recently updated pull-request workflows still work after actually severing the ties with the external dependencies: the previously used action repository has been removed and the Travis CI integration has been disabled for the SKIRT repository.
Also, the name of the format checking workflow has been shortened to improve readability in the GitHub user interface.