Merge bot PR after CI

Prefer stable nixpkgs and add some devtools #718

Sign in to view logs

Triggered via pull request April 5, 2024 03:55

kachick

opened #749

prefer-stable-nixpkgs

Status Skipped

Total duration 4s

Artifacts –

merge-bot-pr.yml

on: pull_request

judge-dependabot