Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update member logos PR #1766: Pull request #545 synchronize by bbrcknl
59s update-member-logos
update-member-logos
59s
Update member logos CI #2819: Pull request #545 synchronize by bbrcknl
55s update-member-logos
update-member-logos
55s
Update member logos PR #1919: Pull request #545 synchronize by bbrcknl
2m 16s update-member-logos
update-member-logos
2m 16s
Update member logos PR #1765: Pull request #545 synchronize by bbrcknl
1m 6s update-member-logos
update-member-logos
1m 6s
Update member logos CI #2818: Pull request #545 synchronize by bbrcknl
1m 4s update-member-logos
update-member-logos
1m 4s
Update member logos PR #1918: Pull request #545 synchronize by bbrcknl
2m 16s update-member-logos
update-member-logos
2m 16s
Update member logos CI #2817: Pull request #545 opened by bbrcknl
1m 5s update-member-logos
update-member-logos
1m 5s
Update member logos PR #1764: Pull request #545 opened by bbrcknl
1m 5s update-member-logos
update-member-logos
1m 5s
Update member logos PR #1917: Pull request #545 opened by bbrcknl
2m 4s update-member-logos
update-member-logos
2m 4s
pages build and deployment pages-build-deployment #452: by seL4-ci
1m 43s gh-pages
gh-pages
1m 43s
base: temporarily switch off analytics (#544) CI #2816: Commit cbabd42 pushed by wom-bat
1m 9s master
master
1m 9s
base: temporarily switch off analytics PR cleanup #191: Pull request #544 closed by wom-bat
24s
24s
base: temporarily switch off analytics (#544) Deploy Site #445: Commit cbabd42 pushed by wom-bat
8m 42s master
master
8m 42s
base: temporarily switch off analytics PR #1763: Pull request #544 opened by lsf37
1m 3s analytics-off
analytics-off
1m 3s
base: temporarily switch off analytics CI #2815: Pull request #544 opened by lsf37
1m 3s analytics-off
analytics-off
1m 3s
base: temporarily switch off analytics PR #1916: Pull request #544 opened by lsf37
2m 34s analytics-off
analytics-off
2m 34s
pages build and deployment pages-build-deployment #451: by seL4-ci
1m 9s gh-pages
gh-pages
1m 9s
performance: describe the benchmark FPU config CI #2814: Commit ae25e9b pushed by lsf37
1m 7s master
master
1m 7s
performance: describe the benchmark FPU config Deploy Site #444: Commit ae25e9b pushed by lsf37
2m 22s master
master
2m 22s
performance: describe the benchmark FPU config PR cleanup #190: Pull request #543 closed by lsf37
18s
18s
performance: describe the benchmark FPU config PR #1762: Pull request #543 opened by midnightveil
1m 5s au-ts:julia/mention-fpu
au-ts:julia/mention-fpu
1m 5s
performance: describe the benchmark FPU config CI #2813: Pull request #543 opened by midnightveil
1m 5s au-ts:julia/mention-fpu
au-ts:julia/mention-fpu
1m 5s
performance: describe the benchmark FPU config PR #1915: Pull request #543 opened by midnightveil
1m 34s au-ts:julia/mention-fpu
au-ts:julia/mention-fpu
1m 34s
pages build and deployment pages-build-deployment #450: by seL4-ci
1m 54s gh-pages
gh-pages
1m 54s
CI: update performance results CI #2812: Commit a6446b9 pushed by seL4-ci
1m 10s master
master
1m 10s