fix typos in ci config and Makefile

This commit is contained in:
pacrob
2023-05-25 14:33:14 -06:00
committed by Paul Robinson
parent 86b5d52149
commit 42be4de76c
2 changed files with 3 additions and 3 deletions

View File

@ -14,7 +14,7 @@ common: &common
command: ./.circleci/merge_pr.sh
when: on_fail
- run:
name: merge pull request base (3nd try)
name: merge pull request base (3rd try)
command: ./.circleci/merge_pr.sh
when: on_fail
- restore_cache: