Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
150 workflow runs
150 workflow runs

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
github: auto-deploy new platforms.json CI #813: Commit 97021d2 pushed by lsf37
38s master
master
38s
Deploy platforms.json to website repo CI #812: Pull request #359 opened by lsf37
43s lsf37/platforms-json-deploy
lsf37/platforms-json-deploy
43s
releases: fix missing link to seL4 CI #811: Commit ec4653b pushed by lsf37
53s master
master
53s
releases: fix missing link to seL4 CI #810: Pull request #358 opened by lsf37
46s lsf37/links
lsf37/links
46s
microkit: add 2.4.0 changelog and manual CI #809: Commit c3f48c4 pushed by lsf37
58s master
master
58s
seL4 17++ release CI #808: Pull request #357 synchronize by lsf37
36s lsf37/release-17
lsf37/release-17
36s
seL4 17++ release CI #807: Pull request #357 synchronize by lsf37
1m 55s lsf37/release-17
lsf37/release-17
1m 55s
seL4 17++ release CI #806: Pull request #357 synchronize by lsf37
48s lsf37/release-17
lsf37/release-17
48s
seL4 17++ release CI #805: Pull request #357 synchronize by dreamliner787-9
42s lsf37/release-17
lsf37/release-17
42s
seL4 17++ release CI #804: Pull request #357 synchronize by dreamliner787-9
39s lsf37/release-17
lsf37/release-17
39s
seL4 17++ release CI #803: Pull request #357 opened by lsf37
40s lsf37/release-17
lsf37/release-17
40s
build(deps): bump source-map-js from 1.2.1 to 1.2.2 CI #802: Pull request #355 synchronize by dependabot Bot
1m 33s dependabot/npm_and_yarn/source-map-js-1.2.2
dependabot/npm_and_yarn/source-map-js-1.2.2
1m 33s
Remove unsupported platforms CI #801: Commit e52bbe5 pushed by lsf37
3m 13s master
master
3m 13s
Remove unsupported platforms CI #800: Pull request #356 opened by lsf37
12m 41s lsf37/rfc-19
lsf37/rfc-19
12m 41s
build(deps): bump source-map-js from 1.2.1 to 1.2.2 CI #799: Pull request #355 opened by dependabot Bot
1m 9s dependabot/npm_and_yarn/source-map-js-1.2.2
dependabot/npm_and_yarn/source-map-js-1.2.2
1m 9s
Update README.md CI #798: Commit 07f7f27 pushed by lsf37
1m 54s master
master
1m 54s
Update README.md CI #797: Pull request #354 synchronize by wom-bat
35s node-nodejs
node-nodejs
35s
Update README.md CI #796: Pull request #354 opened by wom-bat
39s node-nodejs
node-nodejs
39s
Add missing Microkit manifest entry CI #795: Commit 3e711e2 pushed by lsf37
52s master
master
52s
Add missing Microkit manifest entry CI #794: Pull request #352 opened by dreamliner787-9
45s au-ts:microkit_manifest
au-ts:microkit_manifest
45s
microkit: add 2.3.1 changelog and link CI #793: Commit 1079430 pushed by midnightveil
1m 3s master
master
1m 3s
microkit: add 2.3.1 manual CI #792: Pull request #351 synchronize by dreamliner787-9
47s au-ts:microkit_2_3_1
au-ts:microkit_2_3_1
47s
microkit: add 2.3.1 manual CI #791: Pull request #351 opened by dreamliner787-9
41s au-ts:microkit_2_3_1
au-ts:microkit_2_3_1
41s
verified configs: add AARCH64 confidentiality CI #790: Commit 649dc17 pushed by lsf37
47s master
master
47s
Add verified RISC-V platforms CI #789: Pull request #349 synchronize by lsf37
47s lsf37/riscv-platforms
lsf37/riscv-platforms
47s