max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: bench: update temci

Browse source
This commit is contained in:
Sebastian Ullrich 2023-03-16 16:39:50 +01:00
parent a62d412dce
commit 83c1a1ab77
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tests/bench/flake.lock generated
View file

@ -210,11 +210,11 @@
"nixpkgs": "nixpkgs_4"
},
"locked": {
"lastModified": 1653036579,
"narHash": "sha256-/S7NvtEHrdqPYae7WLI8e2zzTKG542iqL8UFxZvh908=",
"lastModified": 1678981148,
"narHash": "sha256-bu/axGjFHNBPvkYinpOIBBLMB4Fr5RaGbrQdGR+FfCQ=",
"owner": "Kha",
"repo": "temci",
"rev": "efce9b6e23a2c9488c4f263a317d461a7c14810c",
"rev": "a450e332ebcef4249bb2b0173c42e06cedefab93",
"type": "github"
},
"original": {