Skip to content

Actions: PLSysSec/tock

Actions

tock-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
495 workflow runs
495 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
Changes required to check bitfields tock-ci #646: Commit 9cc076f pushed by nilehmann
2m 39s push-zvtmlnwokuuw
push-zvtmlnwokuuw
2m 39s
Remove ignore from most of cortexm tock-ci #645: Commit 3a3577b pushed by vrindisbacher
2m 5s vrindisbacher/comment-out-for-count
vrindisbacher/comment-out-for-count
2m 5s
comment out all PMP code that we don't care about tock-ci #644: Commit d1841f5 pushed by vrindisbacher
1m 46s vrindisbacher/comment-out-for-count
vrindisbacher/comment-out-for-count
1m 46s
Make it work tock-ci #643: Commit 09e0bca pushed by vrindisbacher
1m 59s orig-kernel
orig-kernel
1m 59s
whoops tock-ci #642: Commit a84cf77 pushed by vrindisbacher
3m 6s orig-kernel
orig-kernel
3m 6s
fix up tock-ci #641: Commit 75fe5d8 pushed by vrindisbacher
1m 30s orig-kernel
orig-kernel
1m 30s
fix tock-ci #640: Commit a6b8e6a pushed by vrindisbacher
1m 7s vrindisbacher/vtock-nrf-benchmarks
vrindisbacher/vtock-nrf-benchmarks
1m 7s
ignore memory bench names tock-ci #639: Commit adb8cf6 pushed by vrindisbacher
3m 15s vrindisbacher/vtock-nrf-benchmarks
vrindisbacher/vtock-nrf-benchmarks
3m 15s
fixup tock-ci #638: Commit 357ca8a pushed by vrindisbacher
1m 54s vrindisbacher/vtock-nrf-benchmarks
vrindisbacher/vtock-nrf-benchmarks
1m 54s
Add timing code tock-ci #637: Commit 06168ba pushed by vrindisbacher
2m 8s vrindisbacher/vtock-nrf-benchmarks
vrindisbacher/vtock-nrf-benchmarks
2m 8s
Slight mods - strip some unneeded stuff (#43) tock-ci #636: Commit e6a91eb pushed by vrindisbacher
1m 51s master
master
1m 51s
Slight mods - strip some unneeded stuff tock-ci #635: Pull request #43 opened by vrindisbacher
1m 37s vrindisbacher/reviewer-fix
vrindisbacher/reviewer-fix
1m 37s
remove lemmas tock-ci #634: Commit dc6044e pushed by vrindisbacher
1m 18s vrindisbacher/reviewer-fix
vrindisbacher/reviewer-fix
1m 18s
reviewer-fix tock-ci #633: Commit 6621c44 pushed by vrindisbacher
2m 50s vrindisbacher/reviewer-fix
vrindisbacher/reviewer-fix
2m 50s
Remove two trusted in leasable_buffer.rs (#41) tock-ci #632: Commit bbcb94d pushed by vrindisbacher
1m 40s master
master
1m 40s
Fix caching logic and verify everything runs on Cortex hardware (#42) tock-ci #631: Commit 51fac1e pushed by vrindisbacher
2m 0s master
master
2m 0s
Fix caching logic and verify everything runs on Cortex hardware tock-ci #630: Pull request #42 synchronize by vrindisbacher
1m 53s vrindisbacher/fix-run
vrindisbacher/fix-run
1m 53s
nit tock-ci #629: Commit 3676860 pushed by vrindisbacher
1m 12s vrindisbacher/fix-run
vrindisbacher/fix-run
1m 12s
Fix caching tock-ci #628: Commit 443bf66 pushed by vrindisbacher
2m 29s vrindisbacher/fix-run
vrindisbacher/fix-run
2m 29s
Remove two trusted in leasable_buffer.rs tock-ci #627: Pull request #41 opened by nilehmann
1m 31s push-qqstqrqkvmuw
push-qqstqrqkvmuw
1m 31s
Remove two trusted in leasable_buffer.rs tock-ci #626: Commit 40f5759 pushed by nilehmann
1m 27s push-qqstqrqkvmuw
push-qqstqrqkvmuw
1m 27s
fix next available ipc tock-ci #625: Commit 1d7e585 pushed by vrindisbacher
1m 44s vrindisbacher/fix-run
vrindisbacher/fix-run
1m 44s
Remove a couple of extra assumes (#40) tock-ci #624: Commit 44a0a39 pushed by vrindisbacher
1m 54s master
master
1m 54s
Remove a couple of extra assumes tock-ci #623: Pull request #40 opened by nilehmann
1m 41s push-uynquvkoznvq
push-uynquvkoznvq
1m 41s
mlfq.rs: turn for loop into while to avoid asssume tock-ci #622: Commit d20ca0d pushed by nilehmann
1m 58s push-uynquvkoznvq
push-uynquvkoznvq
1m 58s