This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Repository navigation

Switch back to upstream devenv flake - #15533

Merged

anoadragon453 merged 2 commits into

anoa/remove_devenv_workaround

May 3, 2023

Merged

Switch back to upstream devenv flake#15533
anoadragon453 merged 2 commits into
developfrom
anoa/remove_devenv_workaround

Workflow runs completed with no jobs