Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-13 10:23:40 +01:00
Code Issues Projects Releases Packages Wiki Activity
30180 commits 155 branches 5 tags 1.7 GiB
Commit graph

4 commits

Author SHA1 Message Date
ddh
52b63def44 added pipelines to all task sources 
changed task sources to accept pipeline ids
 2017-10-25 14:25:58 +01:00
ddh
2ffbe53989 added time to interactive metrics, refactored metrics to use traits 
changed task macro to take pipeline info
 2017-10-24 21:02:56 +01:00
Fernando Jiménez Moreno
1b123400eb Wait for actual paint before setting paint related metrics 2017-08-22 14:36:06 +02:00
Fernando Jiménez Moreno
585d0e52af PWM tests 2017-07-21 15:10:04 +02:00