-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Add old churchroad content * Lots of deleting and moving * Update workflow * Cut down Dockerfile * Fix command * Run workflow on GitHub runners * Move lakeroad-egglog files to top level * Fix test script; dump README * Rename project * Fix breakages after egglog updates
- Loading branch information
1 parent
b1d7f87
commit 0138888
Showing
190 changed files
with
387 additions
and
85,276 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
name: Run checks | ||
name: Build Docker image, format check, and run tests | ||
|
||
on: | ||
push: | ||
|
@@ -34,11 +34,11 @@ jobs: | |
# | ||
# TODO(@gussmith23) It would be nice if this wasn't necessary. We could use | ||
# this: https://docs.github.com/en/actions/hosting-your-own-runners/running-scripts-before-or-after-a-job | ||
cleaner: | ||
runs-on: self-hosted | ||
steps: | ||
- name: Clean up previous runs | ||
run: rm -rf "${{ github.workspace }}" | ||
# cleaner: | ||
# runs-on: self-hosted | ||
# steps: | ||
# - name: Clean up previous runs | ||
# run: rm -rf "${{ github.workspace }}" | ||
|
||
build-and-push-image: | ||
runs-on: ubuntu-latest | ||
|
@@ -47,15 +47,8 @@ jobs: | |
packages: write | ||
|
||
steps: | ||
# Set up SSH agent for cloning lakeroad-private. | ||
- uses: webfactory/[email protected] | ||
with: | ||
ssh-private-key: ${{ secrets.LAKEROAD_PRIVATE_SSH_KEY }} | ||
|
||
- name: Checkout repository | ||
uses: actions/checkout@v3 | ||
with: | ||
submodules: true | ||
|
||
- name: Log in to the Container registry | ||
uses: docker/login-action@v2 | ||
|
@@ -84,15 +77,12 @@ jobs: | |
cache-from: type=gha | ||
no-cache: ${{ github.event.inputs.no-cache == 'true' }} | ||
|
||
# This can be run on ubuntu-latest (i.e., on GitHub's provided runners), but | ||
# it will be much slower. Specifically, our end-to-end tests using Verilator | ||
# take advantage of the many threads on our machines, whereas the GitHub | ||
# machines only have two threads. | ||
# | ||
# Perhaps we should run this on both? | ||
run-tests: | ||
runs-on: self-hosted | ||
needs: [build-and-push-image, cleaner] | ||
runs-on: ubuntu-latest | ||
needs: [build-and-push-image, | ||
# Needed if we switch back to self-hosted. | ||
# cleaner, | ||
] | ||
steps: | ||
- name: Log in to the Container registry | ||
uses: docker/login-action@v2 | ||
|
@@ -121,10 +111,5 @@ jobs: | |
- name: Pull image | ||
run: docker pull ${{ env.IMAGE_TAG }} | ||
|
||
- name: Racket format check | ||
run: | | ||
docker run ${{ env.IMAGE_TAG }} \ | ||
bash -c 'raco fmt -i racket/*.rkt && git diff && [ -z "$(git status --porcelain)" ]' | ||
- name: Rust format check | ||
run: docker run ${{ env.IMAGE_TAG }} cargo fmt --manifest-path ./rust/Cargo.toml -- --check | ||
run: docker run ${{ env.IMAGE_TAG }} cargo fmt --manifest-path ./Cargo.toml -- --check |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -9,3 +9,6 @@ | |
**/.lit_test_times.txt | ||
**/Output/ | ||
**/__pycache__ | ||
|
||
target | ||
Cargo.lock |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,3 @@ | ||
[submodule "lakeroad-private"] | ||
path = lakeroad-private | ||
url = [email protected]:uwsampl/lakeroad-private | ||
[submodule "lakeroad-egglog/yosys"] | ||
path = lakeroad-egglog/yosys | ||
path = yosys | ||
url = [email protected]:uwsampl/yosys |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
[package] | ||
name = "lakeroad-egglog" | ||
name = "churchroad" | ||
version = "0.1.0" | ||
edition = "2021" | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.