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

DOCSITE: Reorganise tutorials and add inline solutions CI #425: Pull request #231 synchronize by bbrcknl
March 18, 2024 00:31 40s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
March 18, 2024 00:31 40s
DOCSITE: Reorganise tutorials and add inline solutions CI #424: Pull request #231 opened by bbrcknl
March 18, 2024 00:25 47s bbrcknl:birg-tutorials-rework
bbrcknl:birg-tutorials-rework
March 18, 2024 00:25 47s
hardware: info for not supported platforms (#230) CI #423: Commit 983ea6e pushed by june-andronick
March 15, 2024 14:07 26s master
master
March 15, 2024 14:07 26s
hardware: info for not supported platforms CI #422: Pull request #230 synchronize by june-andronick
March 15, 2024 13:56 38s hw-platf-port
hw-platf-port
March 15, 2024 13:56 38s
hardware: info for not supported platforms CI #421: Pull request #230 synchronize by june-andronick
March 15, 2024 13:52 41s hw-platf-port
hw-platf-port
March 15, 2024 13:52 41s
hardware: info for not supported platforms CI #420: Pull request #230 synchronize by june-andronick
March 15, 2024 13:49 42s hw-platf-port
hw-platf-port
March 15, 2024 13:49 42s
hardware: info for not supported platforms CI #419: Pull request #230 synchronize by june-andronick
March 15, 2024 13:46 44s hw-platf-port
hw-platf-port
March 15, 2024 13:46 44s
hardware: info for not supported platforms CI #418: Pull request #230 synchronize by june-andronick
March 15, 2024 13:46 49s hw-platf-port
hw-platf-port
March 15, 2024 13:46 49s
hardware: info for not supported platforms CI #417: Pull request #230 synchronize by june-andronick
March 15, 2024 13:22 54s hw-platf-port
hw-platf-port
March 15, 2024 13:22 54s
hardware: info for not supported platforms CI #416: Pull request #230 synchronize by june-andronick
March 15, 2024 11:37 40s hw-platf-port
hw-platf-port
March 15, 2024 11:37 40s
hardware: info for not supported platforms CI #415: Pull request #230 opened by june-andronick
March 15, 2024 11:26 42s hw-platf-port
hw-platf-port
March 15, 2024 11:26 42s
hardware: separate the unmaintained platforms (#223) CI #414: Commit 41503b0 pushed by june-andronick
March 8, 2024 09:46 31s master
master
March 8, 2024 09:46 31s
hardware: separate the unmaintained platforms CI #413: Pull request #223 synchronize by june-andronick
March 8, 2024 09:41 39s hw-unmaintained
hw-unmaintained
March 8, 2024 09:41 39s
hardware: separate the unmaintained platforms CI #412: Pull request #223 synchronize by june-andronick
March 8, 2024 09:38 44s hw-unmaintained
hw-unmaintained
March 8, 2024 09:38 44s
Add a suitable .ruby-version CI #411: Pull request #229 synchronize by bbrcknl
February 29, 2024 23:29 43s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
February 29, 2024 23:29 43s
Add a suitable .ruby-version CI #410: Pull request #229 synchronize by bbrcknl
February 29, 2024 22:57 45s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
February 29, 2024 22:57 45s
Add a suitable .ruby-version CI #409: Pull request #229 opened by bbrcknl
February 29, 2024 22:56 43s bbrcknl:birg/ruby-version
bbrcknl:birg/ruby-version
February 29, 2024 22:56 43s
test-status: regenerate for new repos+workflows CI #408: Commit f8b92b6 pushed by lsf37
February 29, 2024 09:41 36s master
master
February 29, 2024 09:41 36s
test-status: regenerate for new repos+workflows CI #407: Pull request #228 opened by lsf37
February 28, 2024 20:34 43s test-status-update
test-status-update
February 28, 2024 20:34 43s
github: bump actions to node20 CI #406: Commit 593f856 pushed by lsf37
February 7, 2024 23:38 8m 29s master
master
February 7, 2024 23:38 8m 29s
github: bump actions to node20 CI #405: Pull request #226 opened by lsf37
February 7, 2024 04:33 57s github-node20
github-node20
February 7, 2024 04:33 57s
build(deps-dev): bump nokogiri from 1.15.5 to 1.16.2 CI #404: Pull request #225 opened by dependabot bot
February 6, 2024 03:49 42s dependabot/bundler/nokogiri-1.16.2
dependabot/bundler/nokogiri-1.16.2
February 6, 2024 03:49 42s
Replace Google Analytics CI #403: Commit f60a709 pushed by lsf37
February 5, 2024 03:31 29s master
master
February 5, 2024 03:31 29s
Replace Google Analytics CI #402: Pull request #224 synchronize by wom-bat
February 5, 2024 03:17 47s wom-bat:master
wom-bat:master
February 5, 2024 03:17 47s
Replace Google Analytics CI #401: Pull request #224 opened by wom-bat
February 5, 2024 03:16 42s wom-bat:master
wom-bat:master
February 5, 2024 03:16 42s