Skip to content

Actions: hermit-os/kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,884 workflow runs
8,884 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Security audit Security audit #2399: Scheduled
2m 50s main
main
2m 50s
Publish Benchmarks Publish Benchmarks #1689: completed by mkroening
12s
12s
Publish Benchmarks Publish Benchmarks #1688: completed by mkroening
10s
10s
Publish Benchmarks Publish Benchmarks #1687: completed by mkroening
15s
15s
Publish Benchmarks Publish Benchmarks #1686: completed by mkroening
15s
15s
ci: validate lock file Benchmark #1675: Pull request #2152 synchronize by mkroening
1h 20m 55s ci-lock_file
ci-lock_file
1h 20m 55s
ci: validate lock file CI #8208: Pull request #2152 synchronize by mkroening
41m 9s ci-lock_file
ci-lock_file
41m 9s
ci: validate lock file Benchmark #1674: Pull request #2152 opened by mkroening
1h 1m 25s ci-lock_file
ci-lock_file
1h 1m 25s
ci: validate lock file CI #8207: Pull request #2152 opened by mkroening
24m 43s ci-lock_file
ci-lock_file
24m 43s
Publish Benchmarks Publish Benchmarks #1685: completed by mkroening
1m 9s
1m 9s
fix(virtio-transport): dead_code Benchmark #1673: Pull request #2146 synchronize by mkroening
53m 45s virtio_pci-dead_code
virtio_pci-dead_code
53m 45s
fix(virtio-transport): dead_code CI #8206: Pull request #2146 synchronize by mkroening
36m 23s virtio_pci-dead_code
virtio_pci-dead_code
36m 23s
fix(virtio-transport): dead_code CI #8205: Pull request #2146 synchronize by mkroening
35m 24s virtio_pci-dead_code
virtio_pci-dead_code
35m 24s
fix(virtio-transport): dead_code Benchmark #1672: Pull request #2146 synchronize by mkroening
33m 17s virtio_pci-dead_code
virtio_pci-dead_code
33m 17s
Publish Benchmarks Publish Benchmarks #1684: completed by github-merge-queue bot
12s
12s
ci: run Clippy exhaustively CI #8204: Pull request #2151 opened by mkroening
35m 59s ci-clippy
ci-clippy
35m 59s
ci: run Clippy exhaustively Benchmark #1671: Pull request #2151 opened by mkroening
28m 3s ci-clippy
ci-clippy
28m 3s
Publish Benchmarks Publish Benchmarks #1683: completed by github-merge-queue bot
10s
10s
Publish Benchmarks Publish Benchmarks #1682: completed by mkroening
11s
11s
pages build and deployment pages-build-deployment #1323: by github-pages bot
43s gh-pages
gh-pages
43s
Merge pull request #2144 from hermit-os/rm-mem_barrier Publish Docs #1405: Commit 343128c pushed by github-merge-queue bot
1m 36s main
main
1m 36s
Merge pull request #2144 from hermit-os/rm-mem_barrier Benchmark #1670: Commit 343128c pushed by github-merge-queue bot
46m 9s main
main
46m 9s
Publish Benchmarks Publish Benchmarks #1681: completed by mkroening
9s
9s
pages build and deployment pages-build-deployment #1322: by github-pages bot
55s gh-pages
gh-pages
55s
Merge pull request #2150 from hermit-os/all-clippy Benchmark #1669: Commit 9b0dfbc pushed by github-merge-queue bot
52m 45s main
main
52m 45s