Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'lib/ungrammar/.github/workflows/ci.yaml')
-rw-r--r--lib/ungrammar/.github/workflows/ci.yaml36
1 files changed, 0 insertions, 36 deletions
diff --git a/lib/ungrammar/.github/workflows/ci.yaml b/lib/ungrammar/.github/workflows/ci.yaml
deleted file mode 100644
index 88f133867e..0000000000
--- a/lib/ungrammar/.github/workflows/ci.yaml
+++ /dev/null
@@ -1,36 +0,0 @@
-name: CI
-on:
- pull_request:
- push:
- branches:
- - master
- - staging
- - trying
-
-env:
- CARGO_INCREMENTAL: 0
- CARGO_NET_RETRY: 10
- CI: 1
- RUST_BACKTRACE: short
- RUSTFLAGS: -D warnings
- RUSTUP_MAX_RETRIES: 10
-
-jobs:
- rust:
- name: Rust
- runs-on: ubuntu-latest
-
- steps:
- - name: Checkout repository
- uses: actions/checkout@v2
-
- - name: Install Rust toolchain
- uses: actions-rs/toolchain@v1
- with:
- toolchain: stable
- profile: minimal
- override: true
-
- - run: rustc ./.github/ci.rs && ./ci
- env:
- CRATES_IO_TOKEN: ${{ secrets.CRATES_IO_TOKEN }}