Skip to content

Actions: seL4/ci-actions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,080 workflow runs
1,080 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle Mirror Isabelle Mirror #1496: Scheduled
50m 39s master
master
50m 39s
Isabelle Mirror Isabelle Mirror #1495: Scheduled
2m 32s master
master
2m 32s
Isabelle Mirror Isabelle Mirror #1494: Scheduled
2m 27s master
master
2m 27s
Isabelle Mirror Isabelle Mirror #1493: Scheduled
55m 36s master
master
55m 36s
Isabelle Mirror Isabelle Mirror #1492: Scheduled
2m 24s master
master
2m 24s
Isabelle Mirror Isabelle Mirror #1491: Scheduled
50m 10s master
master
50m 10s
Isabelle Mirror Isabelle Mirror #1490: Scheduled
2m 15s master
master
2m 15s
Isabelle Mirror Isabelle Mirror #1489: Scheduled
2m 11s master
master
2m 11s
Isabelle Mirror Isabelle Mirror #1488: Scheduled
2m 15s master
master
2m 15s
Isabelle Mirror Isabelle Mirror #1487: Scheduled
2m 25s master
master
2m 25s
Isabelle Mirror Isabelle Mirror #1486: Scheduled
50m 30s master
master
50m 30s
Isabelle Mirror Isabelle Mirror #1485: Scheduled
49m 48s master
master
49m 48s
Isabelle Mirror Isabelle Mirror #1484: Scheduled
1h 3m 38s master
master
1h 3m 38s
Isabelle Mirror Isabelle Mirror #1483: Scheduled
50m 46s master
master
50m 46s
Isabelle Mirror Isabelle Mirror #1482: Scheduled
1h 4m 36s master
master
1h 4m 36s
Isabelle Mirror Isabelle Mirror #1481: Scheduled
54m 40s master
master
54m 40s
Isabelle Mirror Isabelle Mirror #1480: Scheduled
2m 17s master
master
2m 17s
sel4bench: use early processing for signal benchmark results PR #1024: Pull request #429 synchronize by JDuchniewicz
1m 9s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
1m 9s
sel4bench: use early processing for signal benchmark results CI #1470: Pull request #429 synchronize by JDuchniewicz
54s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
54s
sel4bench: use early processing for signal benchmark results CI #1469: Pull request #429 synchronize by JDuchniewicz
52s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
52s
sel4bench: use early processing for signal benchmark results PR #1023: Pull request #429 synchronize by JDuchniewicz
58s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
58s
sel4bench: use early processing for signal benchmark results PR #1022: Pull request #429 opened by JDuchniewicz
47s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
47s
sel4bench: use early processing for signal benchmark results CI #1468: Pull request #429 opened by JDuchniewicz
40s JDuchniewicz:jakub/early_proc_signal
JDuchniewicz:jakub/early_proc_signal
40s
sel4bench: report early processing results for IRQ Deploy seL4 Bench #182: Commit c1081ef pushed by lsf37
1m 16s master
master
1m 16s
sel4bench: report early processing results for IRQ CI #1467: Commit c1081ef pushed by lsf37
47s master
master
47s