search

w3c / server-timing

Server Timing
http://w3c.github.io/server-timing/
Other
75 stars 20 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.

Preview | Diff