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
Fix a bunch of stuff tock-ci #621: Commit f8b5f76 pushed by vrindisbacher
2m 4s vrindisbacher/fix-run
vrindisbacher/fix-run
2m 4s
Removed some trusted annotations + fix some warnings (#37) tock-ci #620: Commit 9f00e0c pushed by vrindisbacher
2m 0s master
master
2m 0s
Add const_assume and check some conditions at compile-time (#39) tock-ci #619: Commit 5cc786a pushed by vrindisbacher
2m 12s master
master
2m 12s
Add const_assume and check some conditions at compile-time tock-ci #618: Pull request #39 synchronize by vrindisbacher
1m 14s push-swrqkwpslsyt
push-swrqkwpslsyt
1m 14s
Add const_assume and check some conditions at compile-time tock-ci #617: Commit 5a1ebc0 pushed by vrindisbacher
1m 9s push-swrqkwpslsyt
push-swrqkwpslsyt
1m 9s
remove assumes (#38) tock-ci #616: Commit 426d727 pushed by vrindisbacher
1m 40s master
master
1m 40s
Add const_assume and check some conditions at compile-time tock-ci #615: Pull request #39 opened by nilehmann
2m 41s push-swrqkwpslsyt
push-swrqkwpslsyt
2m 41s
Add const_assume and check some conditions at compile-time tock-ci #614: Commit 0395cbe pushed by nilehmann
2m 38s push-swrqkwpslsyt
push-swrqkwpslsyt
2m 38s
Remove assumes tock-ci #613: Pull request #38 opened by ranjitjhala
1m 54s gradual
gradual
1m 54s
remove assumes tock-ci #612: Commit 136e744 pushed by ranjitjhala
1m 56s gradual
gradual
1m 56s
Removed some trusted annotations + fix some warnings tock-ci #611: Pull request #37 synchronize by nilehmann
1m 42s push-sxtwlwnrooos
push-sxtwlwnrooos
1m 42s
Remove trusted from list.rs tock-ci #610: Commit b716e78 pushed by nilehmann
1m 55s push-sxtwlwnrooos
push-sxtwlwnrooos
1m 55s
Removed some trusted annotations + fix some warnings tock-ci #609: Pull request #37 opened by nilehmann
1m 10s push-sxtwlwnrooos
push-sxtwlwnrooos
1m 10s
Remove trusted from list.rs tock-ci #608: Commit 4cfce95 pushed by nilehmann
1m 7s push-sxtwlwnrooos
push-sxtwlwnrooos
1m 7s
Fix a bunch of stuff tock-ci #607: Commit 5d9a09b pushed by vrindisbacher
1m 26s vrindisbacher/fix-run
vrindisbacher/fix-run
1m 26s
Add lazy overflow checking and fix various potential overflows (#36) tock-ci #606: Commit a4bd70c pushed by vrindisbacher
1m 11s master
master
1m 11s
Add lazy overflow checking and fix various potential overflows tock-ci #605: Pull request #36 opened by vrindisbacher
2m 9s lazy-overflow
lazy-overflow
2m 9s
Pull master tock-ci #604: Commit 9923af1 pushed by vrindisbacher
1m 9s lazy-overflow
lazy-overflow
1m 9s
fix configure_mpu def (#35) tock-ci #603: Commit 49ae3dd pushed by vrindisbacher
1m 47s master
master
1m 47s
Add caching support for RISC-V tock-ci #602: Pull request #35 opened by vrindisbacher
1m 55s vrindisbacher/caching-risc-support
vrindisbacher/caching-risc-support
1m 55s
fix configure_mpu def tock-ci #601: Commit 250e5f5 pushed by vrindisbacher
2m 11s vrindisbacher/caching-risc-support
vrindisbacher/caching-risc-support
2m 11s
Caching (#33) tock-ci #600: Commit 18a77ee pushed by vrindisbacher
1m 40s master
master
1m 40s
Caching tock-ci #599: Pull request #33 synchronize by vrindisbacher
1m 48s caching
caching
1m 48s
small fix to flux signature tock-ci #598: Commit 4c00448 pushed by vrindisbacher
1m 34s caching
caching
1m 34s
Add PMP verification (#34) tock-ci #597: Commit 8fe77a9 pushed by vrindisbacher
2m 0s master
master
2m 0s