Skip to content

Commit 8d3f10b

Browse files
Merge pull request #1 from egraphs-good/add-rational
Initialize repo and add `Rational`
2 parents cf9ed6b + f01e9b2 commit 8d3f10b

21 files changed

+4924
-0
lines changed

.github/CODEOWNERS

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
* @egraphs-good/egglog-reviewers

.github/workflows/build.yml

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
name: Build
2+
3+
on: [push, pull_request, workflow_dispatch]
4+
5+
jobs:
6+
test:
7+
runs-on: ubuntu-latest
8+
steps:
9+
- run: echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
10+
- uses: actions/checkout@v3
11+
- uses: taiki-e/install-action@v2
12+
with:
13+
tool: nextest
14+
- uses: Swatinem/rust-cache@v2
15+
- run: make test
16+
nits:
17+
runs-on: ubuntu-latest
18+
steps:
19+
- run: echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
20+
- uses: actions/checkout@v3
21+
- uses: Swatinem/rust-cache@v2
22+
- run: make nits

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
/target

0 commit comments

Comments
 (0)