Update ci.yml: Pull latest changes before committing formatting changes ddd6e87 juliaturc commited on Oct 9, 2024
GitHub actions: actually commit files to PR after formatting 7158034 juliaturc commited on Oct 4, 2024