Skip to content

Actions: hermit-os/kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow run results
415 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(core_local): put scheduler into InterruptRefCell CI #1777: Pull request #941 opened by mkroening
October 6, 2023 08:57 1m 19s mkroening:interrupt-ref-cell
mkroening:interrupt-ref-cell
October 6, 2023 08:57 1m 19s
Security audit Security audit #1265: Scheduled
October 6, 2023 00:00 40s main
main
October 6, 2023 00:00 40s
Security audit Security audit #1264: Scheduled
October 5, 2023 00:01 32s main
main
October 5, 2023 00:01 32s
ci: use a matrix for test configurations CI #1776: Pull request #940 opened by cagatay-y
October 4, 2023 11:49 5m 51s cagatay-y:main
cagatay-y:main
October 4, 2023 11:49 5m 51s
pages build and deployment pages-build-deployment #396: by github-pages bot
October 4, 2023 09:59 1m 16s gh-pages
gh-pages
October 4, 2023 09:59 1m 16s
Merge pull request #938 from mkroening/rm-tock Publish Docs #467: Commit 315f58f pushed by github-merge-queue bot
October 4, 2023 09:58 1m 14s main
main
October 4, 2023 09:58 1m 14s
Merge pull request #938 from mkroening/rm-tock CI #1775: Commit 315f58f pushed by github-merge-queue bot
October 4, 2023 09:58 17m 0s main
main
October 4, 2023 09:58 17m 0s
pages build and deployment pages-build-deployment #395: by github-pages bot
October 4, 2023 09:54 1m 5s gh-pages
gh-pages
October 4, 2023 09:54 1m 5s
Merge pull request #939 from mkroening/nightly-2023-10-01 CI #1774: Commit 80a089a pushed by github-merge-queue bot
October 4, 2023 09:53 18m 43s main
main
October 4, 2023 09:53 18m 43s
Merge pull request #939 from mkroening/nightly-2023-10-01 Publish Docs #466: Commit 80a089a pushed by github-merge-queue bot
October 4, 2023 09:53 1m 9s main
main
October 4, 2023 09:53 1m 9s
CI CI #1773: Merge group checks requested
October 4, 2023 09:35 22m 4s
October 4, 2023 09:35 22m 4s
CI CI #1772: Merge group checks requested
October 4, 2023 09:35 17m 59s
October 4, 2023 09:35 17m 59s
build(deps): bump tock-registers from 0.8.1 to 0.9.0 CI #1771: Pull request #936 synchronize by dependabot bot
October 4, 2023 09:25 17m 39s dependabot/cargo/tock-registers-0.9.0
dependabot/cargo/tock-registers-0.9.0
October 4, 2023 09:25 17m 39s
pages build and deployment pages-build-deployment #394: by github-pages bot
October 4, 2023 09:24 1m 4s gh-pages
gh-pages
October 4, 2023 09:24 1m 4s
Merge pull request #934 from hermit-os/dependabot/cargo/ureq-2.8.0 CI #1770: Commit a6284b7 pushed by github-merge-queue bot
October 4, 2023 09:23 15m 17s main
main
October 4, 2023 09:23 15m 17s
Merge pull request #934 from hermit-os/dependabot/cargo/ureq-2.8.0 Publish Docs #465: Commit a6284b7 pushed by github-merge-queue bot
October 4, 2023 09:23 1m 14s main
main
October 4, 2023 09:23 1m 14s
build(deps): bump tock-registers from 0.8.1 to 0.9.0 CI #1769: Pull request #936 synchronize by dependabot bot
October 4, 2023 09:22 20m 48s dependabot/cargo/tock-registers-0.9.0
dependabot/cargo/tock-registers-0.9.0
October 4, 2023 09:22 20m 48s
pages build and deployment pages-build-deployment #393: by github-pages bot
October 4, 2023 09:22 1m 4s gh-pages
gh-pages
October 4, 2023 09:22 1m 4s
Merge pull request #937 from hermit-os/dependabot/cargo/hashbrown-0.14.1 Publish Docs #464: Commit 6133dbb pushed by github-merge-queue bot
October 4, 2023 09:20 1m 29s main
main
October 4, 2023 09:20 1m 29s
Merge pull request #937 from hermit-os/dependabot/cargo/hashbrown-0.14.1 CI #1768: Commit 6133dbb pushed by github-merge-queue bot
October 4, 2023 09:20 15m 10s main
main
October 4, 2023 09:20 15m 10s
chore: upgrade to nightly-2023-10-01 CI #1767: Pull request #939 opened by mkroening
October 4, 2023 09:18 16m 22s mkroening:nightly-2023-10-01
mkroening:nightly-2023-10-01
October 4, 2023 09:18 16m 22s
chore: remove explicit dependency on tock-registers CI #1766: Pull request #938 opened by mkroening
October 4, 2023 09:17 17m 44s mkroening:rm-tock
mkroening:rm-tock
October 4, 2023 09:17 17m 44s
CI CI #1765: Merge group checks requested
October 4, 2023 09:07 15m 11s
October 4, 2023 09:07 15m 11s
CI CI #1764: Merge group checks requested
October 4, 2023 09:05 14m 20s
October 4, 2023 09:05 14m 20s
Security audit Security audit #1263: Scheduled
October 4, 2023 00:00 40s main
main
October 4, 2023 00:00 40s