Merge branch 'main' into ray/i128-conversions

anoma · Sep 22, 2023 · 877cfd9 · 877cfd9
2 parents d2c99e4 + 449a729
commit 877cfd9
Show file tree

Hide file tree

Showing 6 changed files with 2,340 additions and 10 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,11 +1,18 @@
 name: CI checks
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types: [opened, reopened, synchronize, ready_for_review]
 
 jobs:
   test:
     name: Test on ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
+    # This condition ensures that this job will not run on pull requests in draft state
+    if: github.event_name != 'pull_request' || !github.event.pull_request.draft
     strategy:
       matrix:
         os: [ubuntu-latest, windows-latest, macOS-latest]

diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,2 @@
-Cargo.lock
 target
 .DS_Store