Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,455 workflow runs
1,455 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Build Build #990: Scheduled
April 16, 2023 03:13 4m 58s master
master
April 16, 2023 03:13 4m 58s
pages build and deployment pages-build-deployment #509: by seL4-ci
April 16, 2023 02:42 59s
April 16, 2023 02:42 59s
pages build and deployment pages-build-deployment #508: by seL4-ci
April 16, 2023 02:40 1m 0s
April 16, 2023 02:40 1m 0s
build(deps): bump nokogiri from 1.13.10 to 1.14.3 (#180) Build #989: Commit 5e90f2f pushed by lsf37
April 16, 2023 02:37 4m 58s master
master
April 16, 2023 02:37 4m 58s
build(deps): bump nokogiri from 1.13.10 to 1.14.3 (#180) CI #289: Commit 5e90f2f pushed by lsf37
April 16, 2023 02:37 49s master
master
April 16, 2023 02:37 49s
Typo corrections and broken link update (#177) Build #988: Commit 67924d9 pushed by lsf37
April 16, 2023 02:35 4m 49s master
master
April 16, 2023 02:35 4m 49s
Typo corrections and broken link update (#177) CI #288: Commit 67924d9 pushed by lsf37
April 16, 2023 02:35 55s master
master
April 16, 2023 02:35 55s
pages build and deployment pages-build-deployment #507: by seL4-ci
April 15, 2023 03:17 1m 4s
April 15, 2023 03:17 1m 4s
Build Build #987: Scheduled
April 15, 2023 03:12 4m 53s master
master
April 15, 2023 03:12 4m 53s
Typo corrections and broken link update Build #986: Pull request #177 synchronize by tim-arney
April 15, 2023 02:25 5m 7s tim-arney:patch-1
tim-arney:patch-1
April 15, 2023 02:25 5m 7s
Typo corrections and broken link update PR #190: Pull request #177 synchronize by tim-arney
April 15, 2023 02:25 37s tim-arney:patch-1
tim-arney:patch-1
April 15, 2023 02:25 37s
Typo corrections and broken link update CI #287: Pull request #177 synchronize by tim-arney
April 15, 2023 02:25 48s tim-arney:patch-1
tim-arney:patch-1
April 15, 2023 02:25 48s
pages build and deployment pages-build-deployment #506: by seL4-ci
April 14, 2023 03:18 57s
April 14, 2023 03:18 57s
Build Build #984: Scheduled
April 14, 2023 03:12 5m 39s master
master
April 14, 2023 03:12 5m 39s
pages build and deployment pages-build-deployment #505: by seL4-ci
April 13, 2023 03:17 1m 14s
April 13, 2023 03:17 1m 14s
Build Build #983: Scheduled
April 13, 2023 03:12 4m 52s master
master
April 13, 2023 03:12 4m 52s
build(deps): bump nokogiri from 1.13.10 to 1.14.3 PR #188: Pull request #180 opened by dependabot bot
April 12, 2023 05:56 1m 0s dependabot/bundler/nokogiri-1.14.3
dependabot/bundler/nokogiri-1.14.3
April 12, 2023 05:56 1m 0s
build(deps): bump nokogiri from 1.13.10 to 1.14.3 Build #982: Pull request #180 opened by dependabot bot
April 12, 2023 05:56 5m 55s dependabot/bundler/nokogiri-1.14.3
dependabot/bundler/nokogiri-1.14.3
April 12, 2023 05:56 5m 55s
build(deps): bump nokogiri from 1.13.10 to 1.14.3 CI #285: Pull request #180 opened by dependabot bot
April 12, 2023 05:56 59s dependabot/bundler/nokogiri-1.14.3
dependabot/bundler/nokogiri-1.14.3
April 12, 2023 05:56 59s
pages build and deployment pages-build-deployment #504: by seL4-ci
April 12, 2023 03:17 57s
April 12, 2023 03:17 57s
Build Build #981: Scheduled
April 12, 2023 03:13 4m 52s master
master
April 12, 2023 03:13 4m 52s
pages build and deployment pages-build-deployment #503: by seL4-ci
April 11, 2023 08:58 1m 2s
April 11, 2023 08:58 1m 2s
Update supported hardware page (#178) Build #980: Commit 49031b5 pushed by lsf37
April 11, 2023 08:51 6m 57s master
master
April 11, 2023 08:51 6m 57s
Update supported hardware page (#178) CI #284: Commit 49031b5 pushed by lsf37
April 11, 2023 08:51 52s master
master
April 11, 2023 08:51 52s
Minor updates to platform support page PR #187: Pull request #178 synchronize by lsf37
April 11, 2023 08:40 46s Ivan-Velickovic:hardware_cleanup
Ivan-Velickovic:hardware_cleanup
April 11, 2023 08:40 46s
ProTip! You can narrow down the results and go further in time using created:<2023-04-11 or the other filters available.