Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: initial succinct vendor target #1

Closed
wants to merge 18 commits into from
Closed

feat: initial succinct vendor target #1

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
e91b7fc
feat: initial succinct vendor target
jtguibas Jan 23, 2024
70024fa
fix: move cmath into sys
jtguibas Jan 23, 2024
95c76b6
fix: move os_str into sys
jtguibas Jan 23, 2024
e60f27f
fix: os_str module path
jtguibas Jan 23, 2024
73eb6fa
feat: add release workflow
jtguibas Jan 24, 2024
8316007
fix: add ref to succinct branch on rust repo
jtguibas Jan 24, 2024
d2e5c22
fix: add pull token
jtguibas Jan 24, 2024
a01500a
feat: use github access token to clone rust
jtguibas Jan 24, 2024
7ae3e44
runs-on clause
jtguibas Jan 24, 2024
c054973
feat: don't checkout source to root
jtguibas Jan 24, 2024
0506b04
feat: don't run cargo prove in workspace
jtguibas Jan 24, 2024
b3d2102
fix: install cmd
jtguibas Jan 24, 2024
9bd3547
install cli, not core
jtguibas Jan 24, 2024
42fcd07
fix: archive cmd
jtguibas Jan 24, 2024
8c6e239
turn off gha
jtguibas Jan 24, 2024
974c6b5
install ninja and cmake
jtguibas Jan 24, 2024
4be3058
test release workflow
jtguibas Jan 24, 2024
e2b045f
fix github access token
jtguibas Jan 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
install cli, not core
  • Loading branch information
@jtguibas
jtguibas committed Jan 24, 2024
commit 9bd35471ed2678462134f9d320327721273e2a18
2 changes: 1 addition & 1 deletion .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ jobs:

- name: Install cargo prove
run: cargo install --locked --path .
working-directory: vm/core
working-directory: vm/cli

- name: Build toolchain
run: GITHUB_ACCESS_TOKEN=${{ secrets.PRIVATE_PULL_TOKEN }} cargo prove build-toolchain
Expand Down
Loading