Wez Furlong beb70061c8 ci: rename some workflows, disable full docker build ...

We're not doing anything with the output, so let's just save
the compute for something else.

2023-03-04 11:07:18 -07:00

..

continuous-docker.yml

ci: rename some workflows, disable full docker build

2023-03-04 11:07:18 -07:00

fmt.yml

ci: rename some workflows, disable full docker build

2023-03-04 11:07:18 -07:00

pages.yml

ci: rename some workflows, disable full docker build

2023-03-04 11:07:18 -07:00

rust.yml

ci: urgh, remove anchors

2023-02-25 12:09:15 -07:00

verify-pages.yml

ci: rename some workflows, disable full docker build

2023-03-04 11:07:18 -07:00