Skip to content

Actions: seL4/camkes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updates for gcc-14 PR #29: Pull request #34 synchronize by lsf37
5m 36s gcc-14
gcc-14
5m 36s
updates for gcc-14 CI #45: Pull request #34 synchronize by lsf37
5m 52s gcc-14
gcc-14
5m 52s
updates for gcc-14 Camkes VM Examples #17: Pull request #34 synchronize by lsf37
8m 49s gcc-14
gcc-14
8m 49s
updates for gcc-14 CAmkES #17: Pull request #34 synchronize by lsf37
1h 9m 2s gcc-14
gcc-14
1h 9m 2s
trivial: update style to new cmake-format CI #44: Commit 4da77e3 pushed by lsf37
52s master
master
52s
trivial: update style to new cmake-format Trigger #10: Commit 4da77e3 pushed by lsf37
10s master
master
10s
updates for gcc-14 PR #28: Pull request #34 opened by lsf37
1m 0s gcc-14
gcc-14
1m 0s
updates for gcc-14 CI #43: Pull request #34 opened by lsf37
41s gcc-14
gcc-14
41s
updates for gcc-14 Camkes VM Examples #16: Pull request #34 opened by lsf37
7m 31s gcc-14
gcc-14
7m 31s
updates for gcc-14 CAmkES #16: Pull request #34 opened by lsf37
1h 2m 3s gcc-14
gcc-14
1h 2m 3s
cmake version PR #27: Pull request #33 opened by lsf37
1m 40s cmake-version
cmake-version
1m 40s
cmake version CI #42: Pull request #33 opened by lsf37
43s cmake-version
cmake-version
43s
cmake version Camkes VM Examples #15: Pull request #33 opened by lsf37
7m 25s cmake-version
cmake-version
7m 25s
cmake version CAmkES #15: Pull request #33 opened by lsf37
9m 39s cmake-version
cmake-version
9m 39s
easy-settings: leave SIMULATION unchanged CI #41: Commit 62c37db pushed by Indanz
1m 16s master
master
1m 16s
easy-settings: leave SIMULATION unchanged Trigger #9: Commit 62c37db pushed by Indanz
35s master
master
35s
easy-settings: leave SIMULATION unchanged PR #26: Pull request #32 opened by lsf37
1m 57s lsf37/no-simulate
lsf37/no-simulate
1m 57s
easy-settings: leave SIMULATION unchanged CI #40: Pull request #32 opened by lsf37
44s lsf37/no-simulate
lsf37/no-simulate
44s
easy-settings: leave SIMULATION unchanged CAmkES #14: Pull request #32 opened by lsf37
3m 9s lsf37/no-simulate
lsf37/no-simulate
3m 9s
easy-settings: leave SIMULATION unchanged Camkes VM Examples #14: Pull request #32 opened by lsf37
6m 52s lsf37/no-simulate
lsf37/no-simulate
6m 52s
README: provide links, clarify list is incomplete CI #39: Commit 41af8af pushed by lsf37
1m 25s master
master
1m 25s
README: provide links, clarify list is incomplete Trigger #8: Commit 41af8af pushed by lsf37
10s master
master
10s
README: provide links, clarify list is incomplete CI #38: Pull request #31 opened by lsf37
1m 15s readme
readme
1m 15s
README: provide links, clarify list is incomplete PR #25: Pull request #31 opened by lsf37
1m 22s readme
readme
1m 22s
README: provide links, clarify list is incomplete CAmkES #13: Pull request #31 opened by lsf37
8m 44s readme
readme
8m 44s