Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ruby setup CI #475: Pull request #250 synchronize by lsf37
May 20, 2024 01:10 43s ruby-setup
ruby-setup
May 20, 2024 01:10 43s
Ruby setup CI #474: Pull request #250 opened by lsf37
May 20, 2024 01:07 46s ruby-setup
ruby-setup
May 20, 2024 01:07 46s
Add a suitable .ruby-version CI #473: Commit 1f039c4 pushed by lsf37
May 19, 2024 07:24 25s master
master
May 19, 2024 07:24 25s
Add a suitable .ruby-version CI #472: Pull request #229 synchronize by lsf37
May 19, 2024 07:22 42s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
May 19, 2024 07:22 42s
build(deps): bump rexml from 3.2.6 to 3.2.8 CI #471: Pull request #249 opened by dependabot bot
May 16, 2024 21:52 50s dependabot/bundler/rexml-3.2.8
dependabot/bundler/rexml-3.2.8
May 16, 2024 21:52 50s
config: fix bootstrap theme version CI #470: Commit e70ccf9 pushed by Indanz
May 9, 2024 09:52 29s master
master
May 9, 2024 09:52 29s
config: fix bootstrap theme version CI #469: Pull request #248 opened by lsf37
May 9, 2024 01:29 50s sass-fix
sass-fix
May 9, 2024 01:29 50s
css: use scss comment syntax CI #468: Pull request #247 opened by lsf37
May 8, 2024 18:45 48s sass-fix
sass-fix
May 8, 2024 18:45 48s
style: update astyle version CI #467: Commit a152243 pushed by Ivan-Velickovic
April 28, 2024 02:05 27s master
master
April 28, 2024 02:05 27s
style: update astyle version CI #466: Pull request #246 opened by lsf37
April 28, 2024 00:36 1m 50s astyle-upgrade
astyle-upgrade
April 28, 2024 00:36 1m 50s
roadmap: update UNSW projects CI #465: Commit fdef960 pushed by Ivan-Velickovic
April 17, 2024 09:38 31s master
master
April 17, 2024 09:38 31s
roadmap: update UNSW projects CI #464: Pull request #244 synchronize by Ivan-Velickovic
April 17, 2024 09:26 49s Ivan-Velickovic:roadmap_update
Ivan-Velickovic:roadmap_update
April 17, 2024 09:26 49s
roadmap: update UNSW projects CI #463: Pull request #244 opened by Ivan-Velickovic
April 17, 2024 04:06 43s Ivan-Velickovic:roadmap_update
Ivan-Velickovic:roadmap_update
April 17, 2024 04:06 43s
rpi4: include fixup4.dat CI #462: Commit e9e6283 pushed by lsf37
April 11, 2024 07:41 29s master
master
April 11, 2024 07:41 29s
Fixes to Raspberry Pi 4B documentation CI #461: Pull request #242 synchronize by Ivan-Velickovic
April 11, 2024 07:14 49s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 07:14 49s
Fixes to Raspberry Pi 4B documentation CI #460: Pull request #242 synchronize by Ivan-Velickovic
April 11, 2024 06:39 43s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 06:39 43s
Fixes to Raspberry Pi 4B documentation CI #459: Pull request #242 opened by Ivan-Velickovic
April 11, 2024 06:39 45s Ivan-Velickovic:pi4b_fixes
Ivan-Velickovic:pi4b_fixes
April 11, 2024 06:39 45s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 CI #458: Pull request #239 opened by dependabot bot
April 9, 2024 08:28 58s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
April 9, 2024 08:28 58s
Revert "deps: bump nokogiri from 1.15.5 to 1.16.3" CI #457: Commit 796c552 pushed by Indanz
April 9, 2024 08:27 36s master
master
April 9, 2024 08:27 36s
Revert "deps: bump nokogiri from 1.15.5 to 1.16.3" CI #456: 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" CI #455: Pull request #238 opened by lsf37
April 8, 2024 22:55 53s lsf37/nokogiri
lsf37/nokogiri
April 8, 2024 22:55 53s
deps: bump nokogiri from 1.15.5 to 1.16.3 (#232) CI #454: Commit 5b8af67 pushed by lsf37
March 29, 2024 22:08 31s master
master
March 29, 2024 22:08 31s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 CI #453: Pull request #232 synchronize by lsf37
March 29, 2024 21:23 39s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
March 29, 2024 21:23 39s
roadmap: update AARCH64 and Multikernel status CI #452: Commit e06f0ae pushed by lsf37
March 29, 2024 21:22 49s master
master
March 29, 2024 21:22 49s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.3 CI #451: Pull request #232 synchronize by lsf37
March 29, 2024 21:21 38s dependabot/bundler/nokogiri-1.16.3
dependabot/bundler/nokogiri-1.16.3
March 29, 2024 21:21 38s