Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1586: by seL4-ci
1m 8s gh-pages
gh-pages
1m 8s
Build Build #2402: Scheduled
3m 22s master
master
3m 22s
pages build and deployment pages-build-deployment #1585: by seL4-ci
39s gh-pages
gh-pages
39s
Build Build #2401: Scheduled
4m 4s master
master
4m 4s
pages build and deployment pages-build-deployment #1584: by seL4-ci
1m 11s gh-pages
gh-pages
1m 11s
Build Build #2400: Scheduled
3m 28s master
master
3m 28s
pages build and deployment pages-build-deployment #1583: by seL4-ci
37s gh-pages
gh-pages
37s
Build Build #2399: Scheduled
3m 28s master
master
3m 28s
pages build and deployment pages-build-deployment #1582: by seL4-ci
39s gh-pages
gh-pages
39s
Build Build #2398: Scheduled
3m 20s master
master
3m 20s
pages build and deployment pages-build-deployment #1581: by seL4-ci
41s gh-pages
gh-pages
41s
Build Build #2397: Scheduled
3m 7s master
master
3m 7s
pages build and deployment pages-build-deployment #1580: by seL4-ci
40s gh-pages
gh-pages
40s
X64: fix wrong cmake platform name CI #713: Commit ebf7e70 pushed by Indanz
52s master
master
52s
X64: fix wrong cmake platform name Build #2396: Commit ebf7e70 pushed by Indanz
3m 3s master
master
3m 3s
X64: fix wrong cmake platform name CI #712: Pull request #316 opened by lsf37
41s x86_64
x86_64
41s
X64: fix wrong cmake platform name PR #506: Pull request #316 opened by lsf37
1m 16s x86_64
x86_64
1m 16s
X64: fix wrong cmake platform name Build #2395: Pull request #316 opened by lsf37
2m 54s x86_64
x86_64
2m 54s
hardware: Fix platform for compiling X64 and IA32 PR #505: Pull request #315 synchronize by JDuchniewicz
1m 21s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
1m 21s
hardware: Fix platform for compiling X64 and IA32 CI #711: Pull request #315 synchronize by JDuchniewicz
57s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
57s
hardware: Fix platform for compiling X64 and IA32 Build #2394: Pull request #315 synchronize by JDuchniewicz
2m 29s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
2m 29s
hardware: Fix platform for compiling X64 and IA32 CI #710: Pull request #315 opened by JDuchniewicz
50s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
50s
hardware: Fix platform for compiling X64 and IA32 PR #504: Pull request #315 opened by JDuchniewicz
1m 26s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
1m 26s
hardware: Fix platform for compiling X64 and IA32 Build #2393: Pull request #315 opened by JDuchniewicz
2m 56s JDuchniewicz:x86_fixes
JDuchniewicz:x86_fixes
2m 56s
pages build and deployment pages-build-deployment #1579: by seL4-ci
1m 7s gh-pages
gh-pages
1m 7s