Skip to content

Actions: servo/stylo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,141 workflow runs
1,141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync upstream with mozilla-central Sync upstream with mozilla-central #607: Scheduled
In progress main
main
In progress
Cherry-pick some upstream patches CI #887: Pull request #257 synchronize by emilio
3m 41s iter-mut
iter-mut
3m 41s
Cherry-pick some upstream patches CI #886: Pull request #257 synchronize by emilio
2m 45s iter-mut
iter-mut
2m 45s
Cherry-pick some upstream patches CI #885: Pull request #257 opened by emilio
31m 35s iter-mut
iter-mut
31m 35s
Sync upstream with mozilla-central Sync upstream with mozilla-central #606: Scheduled
3m 34s main
main
3m 34s
Sync upstream with mozilla-central Sync upstream with mozilla-central #605: Scheduled
4m 12s main
main
4m 12s
Sync upstream with mozilla-central Sync upstream with mozilla-central #604: Scheduled
3m 43s main
main
3m 43s
Sync upstream with mozilla-central Sync upstream with mozilla-central #603: Scheduled
6m 10s main
main
6m 10s
Sync upstream with mozilla-central Sync upstream with mozilla-central #602: Scheduled
4m 4s main
main
4m 4s
Include generated css-properties.html as a rustdoc page (#256) CI #884: Commit 44ec10e pushed by github-merge-queue bot
2m 16s main
main
2m 16s
Include generated css-properties.html as a rustdoc page (#256) 🪞 Mirror `main` #177: Commit 44ec10e pushed by github-merge-queue bot
17s main
main
17s
CI CI #883: Merge group checks requested
1m 58s
1m 58s
Sync upstream with mozilla-central Sync upstream with mozilla-central #601: Scheduled
3m 57s main
main
3m 57s
Sync upstream with mozilla-central Sync upstream with mozilla-central #600: Scheduled
3m 39s main
main
3m 39s
Optimise style comparison when computing damage (#227) 🪞 Mirror `main` #176: Commit 2dda313 pushed by github-merge-queue bot
4m 10s main
main
4m 10s
Optimise style comparison when computing damage (#227) CI #882: Commit 2dda313 pushed by github-merge-queue bot
17m 27s main
main
17m 27s
CI CI #881: Merge group checks requested
6m 18s
6m 18s
Include generated css-properties.html as a rustdoc page CI #880: Pull request #256 opened by nicoburns
8m 31s nicoburns:css-property-doc-page
nicoburns:css-property-doc-page
8m 31s
Mark border-color and border-radius as repaint CI #879: Pull request #253 synchronize by nicoburns
12m 6s nicoburns:border-damage
nicoburns:border-damage
12m 6s
Mark text decoration properties as overflow/repaint damage (#252) CI #878: Commit 305841d pushed by github-merge-queue bot
55m 37s main
main
55m 37s
Mark text decoration properties as overflow/repaint damage (#252) 🪞 Mirror `main` #175: Commit 305841d pushed by github-merge-queue bot
1m 40s main
main
1m 40s
Optimise style comparison when computing damage CI #877: Pull request #227 synchronize by nicoburns
13m 44s nicoburns:ptr-all-styles-equal
nicoburns:ptr-all-styles-equal
13m 44s
Mark border-color and border-radius as repaint CI #876: Pull request #253 synchronize by nicoburns
4m 47s nicoburns:border-damage
nicoburns:border-damage
4m 47s
CI CI #875: Merge group checks requested
6m 20s
6m 20s
Mark some text decoration properties as overflow/repaint damage CI #874: Pull request #252 synchronize by nicoburns
2m 24s nicoburns:text-decoration-damage
nicoburns:text-decoration-damage
2m 24s