Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #577: by seL4-ci
1m 55s gh-pages
gh-pages
1m 55s
CI: update performance results CI #3079: Commit 70a1d1f pushed by seL4-ci
1m 8s master
master
1m 8s
CI: update performance results Deploy Site #570: Commit 70a1d1f pushed by seL4-ci
1m 56s master
master
1m 56s
pages build and deployment pages-build-deployment #576: by seL4-ci
1m 39s gh-pages
gh-pages
1m 39s
CI: update performance results CI #3078: Commit a0a365b pushed by seL4-ci
2m 0s master
master
2m 0s
CI: update performance results Deploy Site #569: Commit a0a365b pushed by seL4-ci
5m 8s master
master
5m 8s
pages build and deployment pages-build-deployment #575: by seL4-ci
1m 37s gh-pages
gh-pages
1m 37s
CI: update performance results CI #3077: Commit 6b01cc7 pushed by seL4-ci
58s master
master
58s
CI: update performance results Deploy Site #568: Commit 6b01cc7 pushed by seL4-ci
2m 45s master
master
2m 45s
announce summit panellists CI #3076: Pull request #600 synchronize by bbrcknl
14m 21s summit-panel
summit-panel
14m 21s
announce summit panellists PR #1901: Pull request #600 synchronize by bbrcknl
14m 36s summit-panel
summit-panel
14m 36s
announce summit panellists PR #2054: Pull request #600 synchronize by bbrcknl
14m 13s summit-panel
summit-panel
14m 13s
announce summit panellists CI #3075: Pull request #600 opened by bbrcknl
55s summit-panel
summit-panel
55s
announce summit panellists PR #1900: Pull request #600 opened by bbrcknl
1m 7s summit-panel
summit-panel
1m 7s
announce summit panellists PR #2053: Pull request #600 opened by bbrcknl
3m 16s summit-panel
summit-panel
3m 16s
pages build and deployment pages-build-deployment #574: by seL4-ci
1m 38s gh-pages
gh-pages
1m 38s
CI: update performance results CI #3074: Commit 88edfcd pushed by seL4-ci
54s master
master
54s
CI: update performance results Deploy Site #567: Commit 88edfcd pushed by seL4-ci
2m 7s master
master
2m 7s
pages build and deployment pages-build-deployment #573: by seL4-ci
1m 24s gh-pages
gh-pages
1m 24s
CI: update performance results CI #3073: Commit d5b3ca5 pushed by seL4-ci
53s master
master
53s
CI: update performance results Deploy Site #566: Commit d5b3ca5 pushed by seL4-ci
2m 32s master
master
2m 32s
pages build and deployment pages-build-deployment #572: by seL4-ci
1m 45s gh-pages
gh-pages
1m 45s
update dinner venue (#599) CI #3072: Commit 4042ef7 pushed by bbrcknl
58s master
master
58s
update dinner venue PR cleanup #237: Pull request #599 closed by bbrcknl
57s
57s
update dinner venue (#599) Deploy Site #565: Commit 4042ef7 pushed by bbrcknl
3m 24s master
master
3m 24s