Skip to content

Actions: au-ts/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Aarch64: Drop ISBs in enableFpu/disableFpu RefMan #21: Commit 717cf90 pushed by dreamliner787-9
1m 27s master
master
1m 27s
Aarch64: Drop ISBs in enableFpu/disableFpu CI #21: Commit 717cf90 pushed by dreamliner787-9
41s master
master
41s
Aarch64: Drop ISBs in enableFpu/disableFpu Proof Sync #9: Commit 717cf90 pushed by dreamliner787-9
4m 36s master
master
4m 36s
Aarch64: Drop ISBs in enableFpu/disableFpu Compile #21: Commit 717cf90 pushed by dreamliner787-9
1m 29s master
master
1m 29s
Aarch64: Drop ISBs in enableFpu/disableFpu Deploy #9: Commit 717cf90 pushed by dreamliner787-9
1h 5m 31s master
master
1h 5m 31s
Aarch64: Drop ISBs in enableFpu/disableFpu C Parser #21: Commit 717cf90 pushed by dreamliner787-9
1m 33s master
master
1m 33s
Aarch64: Drop ISBs in enableFpu/disableFpu Trigger #9: Commit 717cf90 pushed by dreamliner787-9
1s master
master
1s
Fix style CI #20: Commit 2bef61b pushed by dreamliner787-9
39s master
master
39s
Fix style Compile #20: Commit 2bef61b pushed by dreamliner787-9
1m 9s master
master
1m 9s
Fix style Deploy #8: Commit 2bef61b pushed by dreamliner787-9
1h 4m 21s master
master
1h 4m 21s
Fix style Trigger #8: Commit 2bef61b pushed by dreamliner787-9
Skipped master
master
Skipped
Fix style Proof Sync #8: Commit 2bef61b pushed by dreamliner787-9
4m 49s master
master
4m 49s
Fix style C Parser #20: Commit 2bef61b pushed by dreamliner787-9
1m 34s master
master
1m 34s
Fix style RefMan #20: Commit 2bef61b pushed by dreamliner787-9
1m 30s master
master
1m 30s
benchmark: fix thread utils on riscv's fastpath CI #19: Commit b0567c4 pushed by dreamliner787-9
43s master
master
43s
benchmark: fix thread utils on riscv's fastpath C Parser #19: Commit b0567c4 pushed by dreamliner787-9
1m 37s master
master
1m 37s
benchmark: fix thread utils on riscv's fastpath Deploy #7: Commit b0567c4 pushed by dreamliner787-9
1h 1m 56s master
master
1h 1m 56s
benchmark: fix thread utils on riscv's fastpath RefMan #19: Commit b0567c4 pushed by dreamliner787-9
2m 1s master
master
2m 1s
benchmark: fix thread utils on riscv's fastpath Proof Sync #7: Commit b0567c4 pushed by dreamliner787-9
3m 26s master
master
3m 26s
benchmark: fix thread utils on riscv's fastpath Trigger #7: Commit b0567c4 pushed by dreamliner787-9
1s master
master
1s
benchmark: fix thread utils on riscv's fastpath Compile #19: Commit b0567c4 pushed by dreamliner787-9
1m 14s master
master
1m 14s
Add support for the Banana Pi BPI-F3 CI #18: Commit 4f7d7b7 pushed by dreamliner787-9
50s master
master
50s
Add support for the Banana Pi BPI-F3 Deploy #6: Commit 4f7d7b7 pushed by dreamliner787-9
1h 3m 35s master
master
1h 3m 35s
Add support for the Banana Pi BPI-F3 Compile #18: Commit 4f7d7b7 pushed by dreamliner787-9
1m 2s master
master
1m 2s
Add support for the Banana Pi BPI-F3 C Parser #18: Commit 4f7d7b7 pushed by dreamliner787-9
1m 38s master
master
1m 38s