ci: validate lock file

[mkroening]

The lock file became invalid in a0486b4.

This PR makes CI catch those cases.

[github-actions]

Benchmark Results

Details

Benchmark	Current: 34c7edc	Previous: 343128c	Performance Ratio
startup_benchmark Build Time	115.23 s	113.92 s	1.01 ❗
startup_benchmark File Size	0.87 MB	0.87 MB	1.00 ❗
Startup Time - 1 core	1.00 s (±0.03 s)	0.99 s (±0.02 s)	1.01
Startup Time - 2 cores	1.01 s (±0.02 s)	0.99 s (±0.02 s)	1.01
Startup Time - 4 cores	1.00 s (±0.03 s)	0.98 s (±0.03 s)	1.03
multithreaded_benchmark Build Time	114.13 s	114.14 s	1.00 ❗
multithreaded_benchmark File Size	0.97 MB	0.97 MB	1.00 ❗
Multithreaded Pi Efficiency - 2 Threads	90.43 % (±7.75 %)	90.93 % (±7.97 %)	0.99
Multithreaded Pi Efficiency - 4 Threads	43.77 % (±3.06 %)	44.73 % (±3.15 %)	0.98
Multithreaded Pi Efficiency - 8 Threads	25.34 % (±1.98 %)	25.28 % (±2.08 %)	1.00
micro_benchmarks Build Time	194.15 s	190.74 s	1.02 ❗
micro_benchmarks File Size	0.98 MB	0.98 MB	1.00 ❗
Scheduling time - 1 thread	72.51 ticks (±3.73 ticks)	69.89 ticks (±3.73 ticks)	1.04
Scheduling time - 2 threads	56.48 ticks (±16.86 ticks)	51.40 ticks (±16.96 ticks)	1.10
Micro - Time for syscall (getpid)	4.51 ticks (±0.28 ticks)	4.66 ticks (±0.32 ticks)	0.97
Memcpy speed - (built_in) block size 4096	59569.17 MByte/s (±41979.72 MByte/s)	57927.02 MByte/s (±40733.33 MByte/s)	1.03
Memcpy speed - (built_in) block size 1048576	28741.95 MByte/s (±23865.03 MByte/s)	28433.81 MByte/s (±23576.61 MByte/s)	1.01
Memcpy speed - (built_in) block size 16777216	27396.06 MByte/s (±22895.65 MByte/s)	27281.99 MByte/s (±22796.10 MByte/s)	1.00
Memset speed - (built_in) block size 4096	60080.75 MByte/s (±42371.61 MByte/s)	58444.56 MByte/s (±41063.44 MByte/s)	1.03
Memset speed - (built_in) block size 1048576	29508.79 MByte/s (±24291.77 MByte/s)	29212.39 MByte/s (±24029.02 MByte/s)	1.01
Memset speed - (built_in) block size 16777216	28140.84 MByte/s (±23312.97 MByte/s)	28042.54 MByte/s (±23235.23 MByte/s)	1.00
Memcpy speed - (rust) block size 4096	51661.98 MByte/s (±37571.02 MByte/s)	52441.61 MByte/s (±37957.80 MByte/s)	0.99
Memcpy speed - (rust) block size 1048576	28511.69 MByte/s (±23757.38 MByte/s)	28713.20 MByte/s (±23792.30 MByte/s)	0.99
Memcpy speed - (rust) block size 16777216	27152.98 MByte/s (±22672.07 MByte/s)	26945.59 MByte/s (±22514.69 MByte/s)	1.01
Memset speed - (rust) block size 4096	52188.58 MByte/s (±37895.56 MByte/s)	53117.18 MByte/s (±38395.57 MByte/s)	0.98
Memset speed - (rust) block size 1048576	29293.87 MByte/s (±24195.05 MByte/s)	29453.98 MByte/s (±24199.99 MByte/s)	0.99
Memset speed - (rust) block size 16777216	27850.32 MByte/s (±23050.26 MByte/s)	27677.01 MByte/s (±22927.31 MByte/s)	1.01
alloc_benchmarks Build Time	185.39 s	186.34 s	0.99 ❗
alloc_benchmarks File Size	0.94 MB	0.94 MB	1.00 ❗
Allocations - Allocation success	100.00 %	100.00 %	1
Allocations - Deallocation success	100.00 %	100.00 %	1
Allocations - Pre-fail Allocations	100.00 %	100.00 %	1
Allocations - Average Allocation time	7961.39 Ticks (±140.34 Ticks)	8089.90 Ticks (±165.16 Ticks)	0.98
Allocations - Average Allocation time (no fail)	7961.39 Ticks (±140.34 Ticks)	8089.90 Ticks (±165.16 Ticks)	0.98
Allocations - Average Deallocation time	1629.31 Ticks (±215.36 Ticks)	1744.36 Ticks (±122.92 Ticks)	0.93
mutex_benchmark Build Time	188.63 s	200.33 s	0.94 ❗
mutex_benchmark File Size	0.98 MB	0.98 MB	1.00 ❗
Mutex Stress Test Average Time per Iteration - 1 Threads	15.98 ns (±0.71 ns)	16.46 ns (±0.75 ns)	0.97
Mutex Stress Test Average Time per Iteration - 2 Threads	19.40 ns (±1.83 ns)	19.08 ns (±1.96 ns)	1.02

This comment was automatically generated by workflow using github-action-benchmark.