Add metrics

1 files changed, 38 insertions, 0 deletions

diff --git a/.github/workflows/metrics.yaml b/.github/workflows/metrics.yaml
new file mode 100644
index 000000000..e51c62bb4
--- /dev/null
+++ b/.github/workflows/metrics.yaml
@@ -0,0 +1,38 @@
+name: rustdoc
+on:
+  push:
+   branches:
+   - master
+
+env:
+  CARGO_INCREMENTAL: 0
+  CARGO_NET_RETRY: 10
+  RUSTFLAGS: -D warnings
+  RUSTUP_MAX_RETRIES: 10
+
+jobs:
+  rustdoc:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v2
+
+    - name: Checkout metrics repository
+      uses: actions/checkout@v2
+      with:
+        repository: "rust-analyzer/metrics"
+        path: "target/metrics"
+
+    - name: Install Rust toolchain
+      uses: actions-rs/toolchain@v1
+      with:
+        toolchain: stable
+        profile: minimal
+        override: true
+        components: rust-src
+
+    - name: Collect metrics
+      run: cargo xtask metrics
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}