Alejandro Angulo 1353b587f6 Update CI to run check with impure flag ... This is needed because devenv is being used now.		2024-04-27 22:34:50 -07:00
..
workflows	Update CI to run check with impure flag	2024-04-27 22:34:50 -07:00