Skip to content

Actions: OsirisRTOS/osiris

Actions

Osiris CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
354 workflow runs
354 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 different over/underflow bugs Osiris CI #432: Pull request #47 synchronize by xarantolus
4m 3s fix/misc-bugs
fix/misc-bugs
4m 3s
Heap: verification and tests Osiris CI #431: Commit af3200f pushed by xarantolus
4m 40s fix/misc-bugs
fix/misc-bugs
4m 40s
Fix different over/underflow bugs Osiris CI #430: Pull request #47 synchronize by xarantolus
12m 54s fix/misc-bugs
fix/misc-bugs
12m 54s
Add budget_left panic test Osiris CI #429: Commit a0305ab pushed by xarantolus
13m 33s fix/misc-bugs
fix/misc-bugs
13m 33s
Kani: fix build environment Osiris CI #428: Pull request #48 opened by xarantolus
10m 17s fix/kani-config
fix/kani-config
10m 17s
Kani: fix build environment Osiris CI #427: Commit 9866653 pushed by xarantolus
10m 20s fix/kani-config
fix/kani-config
10m 20s
Fix different over/underflow bugs Osiris CI #426: Pull request #47 synchronize by xarantolus
3m 48s fix/misc-bugs
fix/misc-bugs
3m 48s
Fix bestfit free corruption Osiris CI #425: Commit 573ae24 pushed by xarantolus
4m 13s fix/misc-bugs
fix/misc-bugs
4m 13s
Fix different over/underflow bugs Osiris CI #424: Pull request #47 synchronize by xarantolus
11m 19s fix/misc-bugs
fix/misc-bugs
11m 19s
Bitset: Add underflow verification/test Osiris CI #423: Commit 8a47576 pushed by xarantolus
11m 1s fix/misc-bugs
fix/misc-bugs
11m 1s
Enforce correct Rust versions (#43) Osiris CI #422: Commit f3803d1 pushed by thomasw04
10m 42s main
main
10m 42s
Fix different over/underflow bugs Osiris CI #421: Pull request #47 synchronize by xarantolus
3m 53s fix/misc-bugs
fix/misc-bugs
3m 53s
Merge remote-tracking branch 'github/rewrite/scheduler' into fix/misc… Osiris CI #420: Commit beb4be1 pushed by xarantolus
4m 36s fix/misc-bugs
fix/misc-bugs
4m 36s
wip Osiris CI #419: Commit fce9a24 pushed by thomasw04
11m 39s rewrite/scheduler
rewrite/scheduler
11m 39s
Fix different over/underflow bugs Osiris CI #418: Pull request #47 synchronize by xarantolus
1m 52s fix/misc-bugs
fix/misc-bugs
1m 52s
Kani proofs Osiris CI #417: Commit 53eba6f pushed by xarantolus
1m 48s fix/misc-bugs
fix/misc-bugs
1m 48s
Fix different over/underflow bugs Osiris CI #416: Pull request #47 opened by xarantolus
1m 44s fix/misc-bugs
fix/misc-bugs
1m 44s
Drop underflow test Osiris CI #415: Commit 2e81a0d pushed by xarantolus
2m 36s fix/misc-bugs
fix/misc-bugs
2m 36s
Fix underflow, now gives OOM Osiris CI #414: Commit 6615309 pushed by xarantolus
2m 1s fix/misc-bugs
fix/misc-bugs
2m 1s
Fix underflows in at, drop Osiris CI #413: Commit cd78911 pushed by xarantolus
1m 56s fix/misc-bugs
fix/misc-bugs
1m 56s
Rewrite/build syscalls Osiris CI #412: Pull request #46 opened by LuisRuisinger
7m 0s rewrite/build-syscalls
rewrite/build-syscalls
7m 0s
info print Osiris CI #411: Commit 59968fd pushed by LuisRuisinger
6m 40s rewrite/build-syscalls
rewrite/build-syscalls
6m 40s
[Rewrite] syscall generation during build Osiris CI #410: Commit 6429ebf pushed by LuisRuisinger
6m 46s rewrite/build-syscalls
rewrite/build-syscalls
6m 46s
add CI/CD for documentation Osiris CI #409: Pull request #45 synchronize by gkuznik
4m 53s docs-ci
docs-ci
4m 53s
add CI/CD for documentation Osiris CI #408: Pull request #45 synchronize by gkuznik
6m 55s docs-ci
docs-ci
6m 55s