Skip to content

Actions: NON-OS/microkernel

Actions

benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark.yml
325 workflow runs
325 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
#590 verification: growth Lean coverage, extracted 558 more functions… benchmark #325: Commit eb2c0cc pushed by eKisNonos
39m 38s main
main
39m 38s
benchmark benchmark #324: Scheduled
49m 6s main
main
49m 6s
benchmark benchmark #323: Scheduled
44m 2s main
main
44m 2s
Merge pull request #572 extraction-after-merge benchmark #322: Commit 0080d46 pushed by eKisNonos
37m 29s main
main
37m 29s
#569 crypto, memory: one constant-time compare and align_up never ret… benchmark #321: Commit acb22aa pushed by eKisNonos
1h 9m 52s main
main
1h 9m 52s
#568 verification: prove the constant-time comparison primitives corr… benchmark #320: Commit 465fc2e pushed by eKisNonos
31m 37s main
main
31m 37s
#565 verification: Lean 4 over the boundaries, the live holes and the… benchmark #319: Commit e2fdf77 pushed by eKisNonos
38m 50s main
main
38m 50s
benchmark benchmark #318: Scheduled
43m 50s main
main
43m 50s
Merge pull request #563 from NON-OS/fix/pkcs1-digestinfo-prefix benchmark #317: Commit 7837afa pushed by senseix21
34m 35s main
main
34m 35s
Merge pull request #562 from NON-OS/fix/init-boost-irq-lock benchmark #316: Commit 1cac0b6 pushed by senseix21
36m 50s main
main
36m 50s
Merge pull request #559 from NON-OS/integ/linux-finish benchmark #315: Commit 3165901 pushed by senseix21
37m 31s main
main
37m 31s
Merge pull request #561 from NON-OS/abi/caps-check-fail-closed benchmark #314: Commit c721778 pushed by senseix21
1h 26m 29s main
main
1h 26m 29s
Merge pull request #560 from NON-OS/crypto/zk-group-order benchmark #313: Commit 598aac8 pushed by senseix21
1h 14m 47s main
main
1h 14m 47s
benchmark benchmark #312: Scheduled
44m 25s main
main
44m 25s
benchmark benchmark #311: Scheduled
44m 25s main
main
44m 25s
Merge pull request #558 from NON-OS/fix/terminal-vfs-startup benchmark #310: Commit e3bfbc7 pushed by senseix21
36m 59s main
main
36m 59s
Merge pull request #505 from NON-OS/install/disk-installer benchmark #309: Commit 0ed6ea2 pushed by senseix21
1h 26m 40s main
main
1h 26m 40s
benchmark benchmark #308: by senseix21
17m 59s main
main
17m 59s
Merge pull request #555 from NON-OS/fix/percpu-cpu-accounting benchmark #307: Commit 46764bc pushed by senseix21
6s main
main
6s
Merge pull request #554 from NON-OS/fix/aes-constant-time benchmark #306: Commit 6d95f4e pushed by senseix21
5s main
main
5s
Merge pull request #553 from NON-OS/fix/interrupt-frame-offset benchmark #305: Commit edd94bc pushed by senseix21
3s main
main
3s
Merge pull request #435 from NON-OS/git-in-terminal benchmark #304: Commit 64c20ab pushed by senseix21
1h 31m 27s main
main
1h 31m 27s
Merge pull request #557 from NON-OS/fix/gzip-trailer benchmark #303: Commit 0767368 pushed by senseix21
6m 56s main
main
6m 56s
Merge pull request #531 from NON-OS/usercopy/bounds benchmark #302: Commit 490db30 pushed by senseix21
38m 22s main
main
38m 22s
Merge pull request #542 from NON-OS/nym/replay-window benchmark #301: Commit 2155b02 pushed by senseix21
38m 5s main
main
38m 5s