search

w3c / user-timing

User Timing
https://w3c.github.io/user-timing/
Other
26 stars 24 forks source link

Switch to GitHub action #81

Closed plehegar closed 3 years ago

plehegar commented 3 years ago

This is using GitHub actions.

See also https://github.com/w3c/spec-prod

Note that Travis CI has been deactivated for this repository so this needs to get merged asap.