Skip to content

Actions: OsirisRTOS/osiris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kernel formatting Osiris CI #78: Commit 9ec70f2 pushed by xarantolus
2m 41s features/tarpaulin
features/tarpaulin
2m 41s
CI: Formal verification and test coverage Osiris CI #77: Pull request #8 synchronize by xarantolus
2m 40s features/tarpaulin
features/tarpaulin
2m 40s
Add pre-commit hook for formatting Osiris CI #76: Commit 357890c pushed by xarantolus
2m 38s features/tarpaulin
features/tarpaulin
2m 38s
CI: Formal verification and test coverage Osiris CI #75: Pull request #8 synchronize by xarantolus
2m 48s features/tarpaulin
features/tarpaulin
2m 48s
Rename job Osiris CI #74: Commit 601afa5 pushed by xarantolus
2m 40s features/tarpaulin
features/tarpaulin
2m 40s
CI: Formal verification and test coverage Osiris CI #73: Pull request #8 synchronize by xarantolus
2m 51s features/tarpaulin
features/tarpaulin
2m 51s
Add group for build dir Osiris CI #72: Commit 1128ffd pushed by xarantolus
2m 34s features/tarpaulin
features/tarpaulin
2m 34s
test Osiris CI #71: Pull request #9 opened by thomasw04
11m 50s test
test
11m 50s
add comment. Osiris CI #70: Commit 7fd39e5 pushed by thomasw04
12m 8s test
test
12m 8s
update submodules. Osiris CI #69: Commit 9e9518a pushed by thomasw04
11m 58s test
test
11m 58s
CI: Formal verification and test coverage Osiris CI #68: Pull request #8 synchronize by xarantolus
2m 49s features/tarpaulin
features/tarpaulin
2m 49s
Permissions Osiris CI #67: Commit 369e541 pushed by xarantolus
2m 41s features/tarpaulin
features/tarpaulin
2m 41s
CI: Formal verification and test coverage Osiris CI #66: Pull request #8 synchronize by xarantolus
2m 31s features/tarpaulin
features/tarpaulin
2m 31s
Exclude top-level Cargo.toml Osiris CI #65: Commit d3f47d9 pushed by xarantolus
2m 39s features/tarpaulin
features/tarpaulin
2m 39s
CI: Formal verification and test coverage Osiris CI #64: Pull request #8 synchronize by xarantolus
2m 41s features/tarpaulin
features/tarpaulin
2m 41s
Fix permission Osiris CI #63: Commit 09f105b pushed by xarantolus
2m 32s features/tarpaulin
features/tarpaulin
2m 32s
CI: Formal verification and test coverage Osiris CI #62: Pull request #8 synchronize by xarantolus
3m 5s features/tarpaulin
features/tarpaulin
3m 5s
Allow commenting Osiris CI #61: Commit 9b707f4 pushed by xarantolus
2m 43s features/tarpaulin
features/tarpaulin
2m 43s
CI: Formal verification and test coverage Osiris CI #60: Pull request #8 synchronize by xarantolus
10m 39s features/tarpaulin
features/tarpaulin
10m 39s
Add coverage report dependencies Osiris CI #59: Commit daaa32c pushed by xarantolus
12m 0s features/tarpaulin
features/tarpaulin
12m 0s
CI: Formal verification and test coverage Osiris CI #58: Pull request #8 synchronize by xarantolus
2m 45s features/tarpaulin
features/tarpaulin
2m 45s
Fix indent Osiris CI #57: Commit 93c787c pushed by xarantolus
2m 31s features/tarpaulin
features/tarpaulin
2m 31s
CI: Formal verification and test coverage Osiris CI #56: Pull request #8 synchronize by xarantolus
1s features/tarpaulin
features/tarpaulin
1s
Fix Osiris CI #55: Commit 74fa894 pushed by xarantolus
1s features/tarpaulin
features/tarpaulin
1s
CI: Formal verification and test coverage Osiris CI #54: Pull request #8 synchronize by xarantolus
2m 37s features/tarpaulin
features/tarpaulin
2m 37s
ProTip! You can narrow down the results and go further in time using created:<2025-02-15 or the other filters available.