Josh Spicer 97c1abf391 Skip CI on Documentation PRs (#103) ... * no-ci * [skip ci] * attempt to not run CI on documentation updates * remove old if statements in CI * cleaner names [skip ci]		2022-08-19 11:14:03 -07:00
..
workflows	Skip CI on Documentation PRs (#103)	2022-08-19 11:14:03 -07:00