Skip to content

Actions: seL4/docs

Actions

Build

Actions

Loading...

Show workflow options

Create status badge

build.yml
631 workflow runs
631 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Build Build #1585: Scheduled
May 21, 2024 03:13 2m 44s master
master
May 21, 2024 03:13 2m 44s
README: bundle install not necessary Build #1584: Commit 4a75e42 pushed by lsf37
May 20, 2024 23:41 4m 26s master
master
May 20, 2024 23:41 4m 26s
Ruby setup Build #1583: Pull request #250 synchronize by lsf37
May 20, 2024 23:35 2m 2s ruby-setup
ruby-setup
May 20, 2024 23:35 2m 2s
remove errorneous " in Hardware/index.md Build #1582: Commit 03ca1a8 pushed by Indanz
May 20, 2024 15:47 2m 27s master
master
May 20, 2024 15:47 2m 27s
Build Build #1581: Scheduled
May 20, 2024 03:13 2m 39s master
master
May 20, 2024 03:13 2m 39s
remove warnings Build #1580: Pull request #251 opened by lsf37
May 20, 2024 01:54 2m 8s warning
warning
May 20, 2024 01:54 2m 8s
Ruby setup Build #1579: Pull request #250 synchronize by lsf37
May 20, 2024 01:41 2m 15s ruby-setup
ruby-setup
May 20, 2024 01:41 2m 15s
Ruby setup Build #1578: Pull request #250 synchronize by lsf37
May 20, 2024 01:19 4m 53s ruby-setup
ruby-setup
May 20, 2024 01:19 4m 53s
Ruby setup Build #1577: Pull request #250 synchronize by lsf37
May 20, 2024 01:11 40s ruby-setup
ruby-setup
May 20, 2024 01:11 40s
Ruby setup Build #1576: Pull request #250 synchronize by lsf37
May 20, 2024 01:10 31s ruby-setup
ruby-setup
May 20, 2024 01:10 31s
Ruby setup Build #1575: Pull request #250 opened by lsf37
May 20, 2024 01:07 25s ruby-setup
ruby-setup
May 20, 2024 01:07 25s
Add a suitable .ruby-version Build #1574: Commit 1f039c4 pushed by lsf37
May 19, 2024 07:24 2m 39s master
master
May 19, 2024 07:24 2m 39s
Add a suitable .ruby-version Build #1573: Pull request #229 synchronize by lsf37
May 19, 2024 07:22 2m 5s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
May 19, 2024 07:22 2m 5s
Build Build #1572: Scheduled
May 19, 2024 03:13 2m 45s master
master
May 19, 2024 03:13 2m 45s
Build Build #1571: Scheduled
May 18, 2024 03:13 2m 30s master
master
May 18, 2024 03:13 2m 30s
Build Build #1570: Scheduled
May 17, 2024 03:13 2m 46s master
master
May 17, 2024 03:13 2m 46s
build(deps): bump rexml from 3.2.6 to 3.2.8 Build #1569: Pull request #249 opened by dependabot bot
May 16, 2024 21:52 2m 24s dependabot/bundler/rexml-3.2.8
dependabot/bundler/rexml-3.2.8
May 16, 2024 21:52 2m 24s
Build Build #1568: Scheduled
May 16, 2024 03:13 2m 26s master
master
May 16, 2024 03:13 2m 26s
Build Build #1567: Scheduled
May 15, 2024 03:13 2m 34s master
master
May 15, 2024 03:13 2m 34s
Build Build #1566: Scheduled
May 14, 2024 03:13 2m 30s master
master
May 14, 2024 03:13 2m 30s
Build Build #1565: Scheduled
May 13, 2024 03:13 2m 33s master
master
May 13, 2024 03:13 2m 33s
Build Build #1564: Scheduled
May 12, 2024 03:13 3m 50s master
master
May 12, 2024 03:13 3m 50s
Build Build #1563: Scheduled
May 11, 2024 03:13 3m 15s master
master
May 11, 2024 03:13 3m 15s
Build Build #1562: Scheduled
May 10, 2024 03:13 2m 46s master
master
May 10, 2024 03:13 2m 46s
config: fix bootstrap theme version Build #1561: Commit e70ccf9 pushed by Indanz
May 9, 2024 09:52 2m 19s master
master
May 9, 2024 09:52 2m 19s