Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,126 workflow runs
2,126 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 #638: by seL4-ci
1m 26s gh-pages
gh-pages
1m 26s
summit program: fix mobile layout PR cleanup #270: Pull request #626 closed by lsf37
36s
36s
summit program: fix mobile layout CI #3204: Commit abe6ad6 pushed by lsf37
1m 2s master
master
1m 2s
summit program: fix mobile layout Deploy Site #631: Commit abe6ad6 pushed by lsf37
3m 4s master
master
3m 4s
summit program: fix mobile layout CI #3203: Pull request #626 opened by lsf37
51s lsf37/program-mobile
lsf37/program-mobile
51s
summit program: fix mobile layout PR #1965: Pull request #626 opened by lsf37
1m 3s lsf37/program-mobile
lsf37/program-mobile
1m 3s
summit program: fix mobile layout PR #2118: Pull request #626 opened by lsf37
3m 4s lsf37/program-mobile
lsf37/program-mobile
3m 4s
pages build and deployment pages-build-deployment #637: by seL4-ci
1m 23s gh-pages
gh-pages
1m 23s
update wording for assoicate membership (#625) CI #3202: Commit 50b53c7 pushed by bbrcknl
53s master
master
53s
update wording for associate memberships PR cleanup #269: Pull request #625 closed by bbrcknl
53s
53s
update wording for assoicate membership (#625) Deploy Site #630: Commit 50b53c7 pushed by bbrcknl
1m 43s master
master
1m 43s
update wording for associate memberships CI #3201: Pull request #625 opened by bbrcknl
44s remove-open-source
remove-open-source
44s
update wording for associate memberships PR #1964: Pull request #625 opened by bbrcknl
1m 24s remove-open-source
remove-open-source
1m 24s
update wording for associate memberships PR #2117: Pull request #625 opened by bbrcknl
2m 31s remove-open-source
remove-open-source
2m 31s
pages build and deployment pages-build-deployment #636: by seL4-ci
1m 29s gh-pages
gh-pages
1m 29s
update social activities (#624) CI #3200: Commit f5d434c pushed by bbrcknl
49s master
master
49s
update social activities (#624) Deploy Site #629: Commit f5d434c pushed by bbrcknl
2m 14s master
master
2m 14s
update social activities PR cleanup #268: Pull request #624 closed by bbrcknl
48s
48s
update social activities PR #1963: Pull request #624 opened by bbrcknl
1m 1s update-summit-social-activities
update-summit-social-activities
1m 1s
update social activities CI #3199: Pull request #624 opened by bbrcknl
47s update-summit-social-activities
update-summit-social-activities
47s
update social activities PR #2116: Pull request #624 opened by bbrcknl
3m 24s update-summit-social-activities
update-summit-social-activities
3m 24s
pages build and deployment pages-build-deployment #635: by seL4-ci
1m 27s gh-pages
gh-pages
1m 27s
update social activities PR cleanup #267: Pull request #623 closed by bbrcknl
36s
36s
update social activities (#623) CI #3198: Commit f57f1ee pushed by bbrcknl
1m 3s master
master
1m 3s
update social activities (#623) Deploy Site #628: Commit f57f1ee pushed by bbrcknl
2m 22s master
master
2m 22s