Skip to content

Support new "PR" workflow in nixpkgs#500

Merged
Mic92 merged 1 commit intoMic92:masterfrom
wolfgangwalther:rename-eval-workflow
Jun 13, 2025
Merged

Support new "PR" workflow in nixpkgs#500
Mic92 merged 1 commit intoMic92:masterfrom
wolfgangwalther:rename-eval-workflow

Commits

Commits on Jun 8, 2025