Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,231 workflow runs
2,231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #491: by seL4-ci
1m 30s gh-pages
gh-pages
1m 30s
Fix one more title occurrence CI #2921: Commit e01f93d pushed by Indanz
58s master
master
58s
Fix one more title occurrence PR cleanup #212: Pull request #568 closed by Indanz
43s
43s
Fix one more title occurrence Deploy Site #484: Commit e01f93d pushed by Indanz
2m 28s master
master
2m 28s
Fix one more title occurrence CI #2920: Pull request #568 opened by june-andronick
55s fix-affiliation-contd
fix-affiliation-contd
55s
Fix one more title occurrence PR #1829: Pull request #568 opened by june-andronick
1m 3s fix-affiliation-contd
fix-affiliation-contd
1m 3s
Fix one more title occurrence PR #1982: Pull request #568 opened by june-andronick
2m 24s fix-affiliation-contd
fix-affiliation-contd
2m 24s
pages build and deployment pages-build-deployment #490: by seL4-ci
1m 34s gh-pages
gh-pages
1m 34s
fix Martin's title CI #2919: Commit 6b6a978 pushed by Indanz
56s master
master
56s
fix Martin's title PR cleanup #211: Pull request #567 closed by Indanz
30s
30s
fix Martin's title Deploy Site #483: Commit 6b6a978 pushed by Indanz
2m 27s master
master
2m 27s
fix Martin's title CI #2918: Pull request #567 synchronize by Indanz
52s fix-affiliation
fix-affiliation
52s
fix Martin's title PR #1828: Pull request #567 synchronize by Indanz
1m 2s fix-affiliation
fix-affiliation
1m 2s
fix Martin's title PR #1981: Pull request #567 synchronize by Indanz
5m 39s fix-affiliation
fix-affiliation
5m 39s
fix Martin's title PR #1827: Pull request #567 opened by june-andronick
55s fix-affiliation
fix-affiliation
55s
fix Martin's title CI #2917: Pull request #567 opened by june-andronick
57s fix-affiliation
fix-affiliation
57s
fix Martin's title PR #1980: Pull request #567 opened by june-andronick
2m 4s fix-affiliation
fix-affiliation
2m 4s
pages build and deployment pages-build-deployment #489: by seL4-ci
1m 29s gh-pages
gh-pages
1m 29s
Makefile: reduce link checker noise PR cleanup #210: Pull request #566 closed by Indanz
41s
41s
Makefile: reduce link checker noise CI #2916: Commit 29fb609 pushed by Indanz
1m 1s master
master
1m 1s
Makefile: reduce link checker noise Deploy Site #482: Commit 29fb609 pushed by Indanz
1m 55s master
master
1m 55s
Makefile: reduce link checker noise CI #2915: Pull request #566 synchronize by lsf37
58s link-checking
link-checking
58s
Makefile: reduce link checker noise PR #1826: Pull request #566 synchronize by lsf37
1m 3s link-checking
link-checking
1m 3s
Makefile: reduce link checker noise PR #1979: Pull request #566 synchronize by lsf37
2m 13s link-checking
link-checking
2m 13s
Makefile: reduce link checker noise PR #1825: Pull request #566 opened by lsf37
1m 47s link-checking
link-checking
1m 47s