Skip to content

Actions: seL4/docs

Actions

PR

Actions

Loading...

Show workflow options

Create status badge

pr.yml
146 workflow runs
146 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Ruby setup PR #330: Pull request #250 synchronize by lsf37
May 20, 2024 23:35 39s ruby-setup
ruby-setup
May 20, 2024 23:35 39s
remove warnings PR #329: Pull request #251 opened by lsf37
May 20, 2024 01:54 37s warning
warning
May 20, 2024 01:54 37s
Ruby setup PR #328: Pull request #250 synchronize by lsf37
May 20, 2024 01:41 40s ruby-setup
ruby-setup
May 20, 2024 01:41 40s
Ruby setup PR #327: Pull request #250 synchronize by lsf37
May 20, 2024 01:19 34s ruby-setup
ruby-setup
May 20, 2024 01:19 34s
Ruby setup PR #326: Pull request #250 synchronize by lsf37
May 20, 2024 01:11 34s ruby-setup
ruby-setup
May 20, 2024 01:11 34s
Ruby setup PR #325: Pull request #250 synchronize by lsf37
May 20, 2024 01:10 43s ruby-setup
ruby-setup
May 20, 2024 01:10 43s
Ruby setup PR #324: Pull request #250 opened by lsf37
May 20, 2024 01:07 38s ruby-setup
ruby-setup
May 20, 2024 01:07 38s
Add a suitable .ruby-version PR #323: Pull request #229 synchronize by lsf37
May 19, 2024 07:22 45s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
May 19, 2024 07:22 45s
build(deps): bump rexml from 3.2.6 to 3.2.8 PR #322: Pull request #249 opened by dependabot bot
May 16, 2024 21:52 35s dependabot/bundler/rexml-3.2.8
dependabot/bundler/rexml-3.2.8
May 16, 2024 21:52 35s
config: fix bootstrap theme version PR #321: Pull request #248 opened by lsf37
May 9, 2024 01:29 41s sass-fix
sass-fix
May 9, 2024 01:29 41s
css: use scss comment syntax PR #320: Pull request #247 opened by lsf37
May 8, 2024 18:45 39s sass-fix
sass-fix
May 8, 2024 18:45 39s
style: update astyle version PR #319: Pull request #246 opened by lsf37
April 28, 2024 00:36 5m 20s astyle-upgrade
astyle-upgrade
April 28, 2024 00:36 5m 20s
roadmap: update UNSW projects PR #318: Pull request #244 synchronize by Ivan-Velickovic
April 17, 2024 09:26 38s Ivan-Velickovic:roadmap_update
Ivan-Velickovic:roadmap_update
April 17, 2024 09:26 38s
roadmap: update UNSW projects PR #317: Pull request #244 opened by Ivan-Velickovic
April 17, 2024 04:06 36s Ivan-Velickovic:roadmap_update
Ivan-Velickovic:roadmap_update
April 17, 2024 04:06 36s
Fixes to Raspberry Pi 4B documentation PR #316: Pull request #242 synchronize by Ivan-Velickovic
April 11, 2024 07:14 38s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 07:14 38s
Fixes to Raspberry Pi 4B documentation PR #315: Pull request #242 synchronize by Ivan-Velickovic
April 11, 2024 06:39 33s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 06:39 33s
Fixes to Raspberry Pi 4B documentation PR #314: Pull request #242 opened by Ivan-Velickovic
April 11, 2024 06:39 44s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 06:39 44s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 PR #313: Pull request #239 opened by dependabot bot
April 9, 2024 08:28 46s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
April 9, 2024 08:28 46s
Revert "deps: bump nokogiri from 1.15.5 to 1.16.3" PR #312: Pull request #238 synchronize by lsf37
April 8, 2024 22:57 41s lsf37/nokogiri
lsf37/nokogiri
April 8, 2024 22:57 41s
Revert "deps: bump nokogiri from 1.15.5 to 1.16.3" PR #311: Pull request #238 opened by lsf37
April 8, 2024 22:55 44s lsf37/nokogiri
lsf37/nokogiri
April 8, 2024 22:55 44s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 PR #310: Pull request #232 synchronize by lsf37
March 29, 2024 21:23 55s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
March 29, 2024 21:23 55s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 PR #309: Pull request #232 synchronize by lsf37
March 29, 2024 21:21 40s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
March 29, 2024 21:21 40s
roadmap: update AARCH64 and Multikernel status PR #308: Pull request #236 synchronize by lsf37
March 29, 2024 21:19 38s roadmap-update
roadmap-update
March 29, 2024 21:19 38s
roadmap: update AARCH64 and Multikernel status PR #307: Pull request #236 synchronize by lsf37
March 29, 2024 21:18 35s roadmap-update
roadmap-update
March 29, 2024 21:18 35s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 PR #306: Pull request #232 synchronize by lsf37
March 29, 2024 14:38 35s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
March 29, 2024 14:38 35s