Skip to content

fix: use GITHUB_ACTOR in git config#220

Merged
vzvu3k6k merged 1 commit intoTheAlgorithms:masterfrom
vil02:properly_evaluate_GITHUB_ACTOR
Jan 17, 2024
Merged

fix: use `GITHUB_ACTOR` in `git config`#220
vzvu3k6k merged 1 commit intoTheAlgorithms:masterfrom
vil02:properly_evaluate_GITHUB_ACTOR

Commits

Commits on Jan 15, 2024