Skip to content

Actions: seL4/website

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
352 workflow runs
352 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update outreach committee PR #1847: Pull request #579 opened by bbrcknl
9m 51s update-outreach-committee
update-outreach-committee
9m 51s
summit: deadline extension PR #1846: Pull request #578 opened by june-andronick
1m 2s deadline-extension
deadline-extension
1m 2s
Proofcraft sponsorship announcement PR #1845: Pull request #577 opened by bbrcknl
1m 5s proofcraft-sponsorship
proofcraft-sponsorship
1m 5s
Riverside sponsorship PR #1844: Pull request #576 synchronize by bbrcknl
1m 4s riverside-sponsorship
riverside-sponsorship
1m 4s
Riverside sponsorship PR #1843: Pull request #576 synchronize by bbrcknl
1m 3s riverside-sponsorship
riverside-sponsorship
1m 3s
Riverside sponsorship PR #1842: Pull request #576 opened by bbrcknl
59s riverside-sponsorship
riverside-sponsorship
59s
Build(deps): bump addressable from 2.8.7 to 2.9.0 PR #1841: Pull request #575 opened by dependabot Bot
1m 3s dependabot/bundler/addressable-2.9.0
dependabot/bundler/addressable-2.9.0
1m 3s
News item for seL4 15.0.0 release++ PR #1840: Pull request #574 synchronize by lsf37
1m 10s release-15
release-15
1m 10s
News item for seL4 15.0.0 release++ PR #1839: Pull request #574 opened by lsf37
1m 12s release-15
release-15
1m 12s
Add manual for seL4 15.0.0 PR #1838: Pull request #573 opened by lsf37
1m 11s manual-15
manual-15
1m 11s
Build(deps): bump yaml from 2.8.1 to 2.8.3 PR #1837: Pull request #572 opened by dependabot Bot
1m 4s dependabot/npm_and_yarn/yaml-2.8.3
dependabot/npm_and_yarn/yaml-2.8.3
1m 4s
Build(deps): bump picomatch PR #1836: Pull request #571 opened by dependabot Bot
49s dependabot/npm_and_yarn/multi-bf05dc1ecf
dependabot/npm_and_yarn/multi-bf05dc1ecf
49s
update cfp PR #1835: Pull request #570 synchronize by bbrcknl
1m 28s update-cfp
update-cfp
1m 28s
update cfp PR #1834: Pull request #570 opened by bbrcknl
55s update-cfp
update-cfp
55s
Update summit index page with location logos PR #1833: Pull request #564 synchronize by bbrcknl
52s update-all-summits-page
update-all-summits-page
52s
Update summit index page with location logos PR #1832: Pull request #564 synchronize by bbrcknl
51s update-all-summits-page
update-all-summits-page
51s
Update summit index page with location logos PR #1831: Pull request #564 synchronize by bbrcknl
1m 0s update-all-summits-page
update-all-summits-page
1m 0s
Build(deps): bump json from 2.15.2 to 2.15.2.1 PR #1830: Pull request #569 opened by dependabot Bot
56s dependabot/bundler/json-2.15.2.1
dependabot/bundler/json-2.15.2.1
56s
Fix one more title occurrence PR #1829: Pull request #568 opened by june-andronick
1m 3s fix-affiliation-contd
fix-affiliation-contd
1m 3s
fix Martin's title PR #1828: Pull request #567 synchronize by Indanz
1m 2s fix-affiliation
fix-affiliation
1m 2s
fix Martin's title PR #1827: Pull request #567 opened by june-andronick
55s fix-affiliation
fix-affiliation
55s
Makefile: reduce link checker noise PR #1826: Pull request #566 synchronize by lsf37
1m 3s link-checking
link-checking
1m 3s
Makefile: reduce link checker noise PR #1825: Pull request #566 opened by lsf37
1m 47s link-checking
link-checking
1m 47s
Announcement - keynotes and invited talks PR #1824: Pull request #565 synchronize by bbrcknl
1m 2s announce-keynotes
announce-keynotes
1m 2s
Announcement - keynotes and invited talks PR #1823: Pull request #565 synchronize by bbrcknl
58s announce-keynotes
announce-keynotes
58s