* Update nix-tools github action * Run github actions on push to master * More fixes * ifdLevel 1 * ifdLevel 3 * Delete unused file * Fix github doc tests * Fix for latest hls * Fix for latest hls * Dodge broken .drv.lock file on CI