Skip to content

Actions: cryspen/libcrux

Actions

Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Benchmark Benchmark #8: Merge group checks requested
August 27, 2024 12:48 36m 6s
August 27, 2024 12:48 36m 6s
Benchmark Benchmark #7: Merge group checks requested
August 27, 2024 08:22 40m 32s
August 27, 2024 08:22 40m 32s
Benchmark Benchmark #6: Merge group checks requested
August 26, 2024 16:07 29m 36s
August 26, 2024 16:07 29m 36s
Benchmark Benchmark #5: Merge group checks requested
August 26, 2024 14:46 38m 57s
August 26, 2024 14:46 38m 57s
Benchmark Benchmark #4: Merge group checks requested
August 26, 2024 12:34 36m 12s
August 26, 2024 12:34 36m 12s
Benchmark Benchmark #3: Merge group checks requested
August 26, 2024 09:24 34m 31s
August 26, 2024 09:24 34m 31s
Benchmark Benchmark #2: Merge group checks requested
August 22, 2024 18:16 7m 29s
August 22, 2024 18:16 7m 29s
Benchmark Benchmark #1: Merge group checks requested
August 22, 2024 17:35 2m 57s
August 22, 2024 17:35 2m 57s