Merge branch 'master' into joerg-ci

This commit is contained in:
mergify[bot] 2023-12-03 09:19:27 +00:00 committed by GitHub
commit 158ee6592d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

6
flake.lock generated
View file

@ -22,11 +22,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1700856099, "lastModified": 1701174899,
"narHash": "sha256-RnEA7iJ36Ay9jI0WwP+/y4zjEhmeN6Cjs9VOFBH7eVQ=", "narHash": "sha256-1W+FMe8mWsJKXoBc+QgKmEeRj33kTFnPq7XCjU+bfnA=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "0bd59c54ef06bc34eca01e37d689f5e46b3fe2f1", "rev": "010c7296f3b19a58b206fdf7d68d75a5b0a09e9e",
"type": "github" "type": "github"
}, },
"original": { "original": {