Skip to content

Actions: seL4/ci-actions

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

allow other manifests in l4v-deploy PR #904: Pull request #357 synchronize by lsf37
July 18, 2024 07:50 31s l4v-deploy-update
l4v-deploy-update
July 18, 2024 07:50 31s
allow other manifests in l4v-deploy PR #903: Pull request #357 opened by lsf37
July 18, 2024 07:49 30s l4v-deploy-update
l4v-deploy-update
July 18, 2024 07:49 30s
github: repository_dispatch trigger on deps-update PR #902: Pull request #356 opened by lsf37
July 11, 2024 03:33 28s repo-dispatch
repo-dispatch
July 11, 2024 03:33 28s
thylint: avoid composite action PR #901: Pull request #355 opened by lsf37
July 9, 2024 23:20 41s testing
testing
July 9, 2024 23:20 41s
accept PR number in thylint action PR #900: Pull request #354 synchronize by lsf37
July 9, 2024 06:10 30s linter-pr-target
linter-pr-target
July 9, 2024 06:10 30s
accept PR number in thylint action PR #899: Pull request #354 opened by lsf37
July 9, 2024 06:07 32s linter-pr-target
linter-pr-target
July 9, 2024 06:07 32s
license-check: pin reuse version PR #898: Pull request #353 opened by lsf37
July 4, 2024 07:39 35s reuse-version
reuse-version
July 4, 2024 07:39 35s
platforms: add RPi4 32-bit build PR #897: Pull request #288 synchronize by axel-h
June 14, 2024 16:02 30s axel-h:patch-axel-4
axel-h:patch-axel-4
June 14, 2024 16:02 30s
docker: smaller base image for cparser-builder PR #896: Pull request #352 opened by lsf37
May 15, 2024 05:42 29s cparser
cparser
May 15, 2024 05:42 29s
platforms: add RPi4 32-bit build PR #895: Pull request #288 synchronize by axel-h
April 12, 2024 11:32 54s axel-h:patch-axel-4
axel-h:patch-axel-4
April 12, 2024 11:32 54s
python: remove broken unused function PR #894: Pull request #351 opened by axel-h
April 11, 2024 21:13 32s axel-h:patch-axel-18
axel-h:patch-axel-18
April 11, 2024 21:13 32s
platforms: add RPi4 32-bit build PR #893: Pull request #288 synchronize by axel-h
April 10, 2024 13:34 27s axel-h:patch-axel-4
axel-h:patch-axel-4
April 10, 2024 13:34 27s
doc: remove bogus quotes PR #892: Pull request #350 synchronize by axel-h
April 9, 2024 15:45 32s axel-h:patch-axel-15
axel-h:patch-axel-15
April 9, 2024 15:45 32s
doc: remove bogus quotes PR #891: Pull request #350 opened by axel-h
April 9, 2024 14:08 33s axel-h:patch-axel-15
axel-h:patch-axel-15
April 9, 2024 14:08 33s
platforms: add RPi4 32-bit build PR #890: Pull request #288 synchronize by axel-h
April 9, 2024 13:38 36s axel-h:patch-axel-4
axel-h:patch-axel-4
April 9, 2024 13:38 36s
aws-proofs: switch to us-east-1 region PR #889: Pull request #349 synchronize by lsf37
April 9, 2024 05:51 29s switch-regions
switch-regions
April 9, 2024 05:51 29s
aws-proofs: switch to us-east-1 region PR #888: Pull request #349 opened by lsf37
April 9, 2024 05:50 33s switch-regions
switch-regions
April 9, 2024 05:50 33s
build(deps): bump undici from 5.28.3 to 5.28.4 in /js PR #887: Pull request #348 opened by dependabot bot
April 4, 2024 17:20 32s dependabot/npm_and_yarn/js/undici-5.28.4
dependabot/npm_and_yarn/js/undici-5.28.4
April 4, 2024 17:20 32s
build(deps): bump undici from 5.28.3 to 5.28.4 in /bv-trigger PR #886: Pull request #347 opened by dependabot bot
April 4, 2024 17:20 31s dependabot/npm_and_yarn/bv-trigger/undici-5.28.4
dependabot/npm_and_yarn/bv-trigger/undici-5.28.4
April 4, 2024 17:20 31s
build(deps): bump undici from 5.28.3 to 5.28.4 in /await-remote-artifacts PR #885: Pull request #346 opened by dependabot bot
April 4, 2024 17:19 37s dependabot/npm_and_yarn/await-remote-artifacts/undici-5.28.4
dependabot/npm_and_yarn/await-remote-artifacts/undici-5.28.4
April 4, 2024 17:19 37s
platforms: add RPi4 32-bit build PR #884: Pull request #288 synchronize by axel-h
March 25, 2024 23:29 32s axel-h:patch-axel-4
axel-h:patch-axel-4
March 25, 2024 23:29 32s
Update build.py PR #883: Pull request #345 opened by Indanz
March 21, 2024 14:51 34s sel4bench_ci
sel4bench_ci
March 21, 2024 14:51 34s
sel4bench-web: adjust for website update PR #882: Pull request #344 opened by lsf37
March 20, 2024 14:14 56s performance-page
performance-page
March 20, 2024 14:14 56s
platforms: add RPi4 32-bit build PR #881: Pull request #288 synchronize by axel-h
March 16, 2024 22:17 31s axel-h:patch-axel-4
axel-h:patch-axel-4
March 16, 2024 22:17 31s
camkes-vm: remove unsupported ARMVIRT32 build PR #880: Pull request #343 opened by lsf37
March 16, 2024 10:45 28s no-vm-armvirt32
no-vm-armvirt32
March 16, 2024 10:45 28s