Nathan Anderson ffb5ecc046 No need to run ci on push, only on pr removed from lint		2023-08-17 15:20:09 -06:00
..
workflows	No need to run ci on push, only on pr removed from lint	2023-08-17 15:20:09 -06:00