zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
2,478 Commits 40 Branches 6 Tags 58 MiB
Commit Graph

53 Commits

Author SHA1 Message Date
adria0 daaa638966 fix(mdbook): fix generation 2024-02-22 22:28:36 +01:00
dependabot[bot] b2676f7d99
Bump codecov/codecov-action from 3.1.1 to 3.1.4 
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.1 to 3.1.4.
- [Release notes](https://github.com/codecov/codecov-action/releases)
- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.1...v3.1.4)

---
updated-dependencies:
- dependency-name: codecov/codecov-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-05-16 10:59:10 +00:00
Jack Grigg 165e993e83 CI: Run tests on 32-bit target 2023-03-02 19:56:22 +00:00
Jack Grigg 8dbc554f6c CI: Prepare feature flags in the internal composite action 
This ensures that we only run CI on crate-external feature flags that we
intend to be covered by our MSRV.
 2023-02-10 20:06:29 +00:00
Jack Grigg 55abb2464a CI: Use an internal composite action to reduce MSRV definitions 2023-02-10 18:32:23 +00:00
Jack Grigg 09f9c095d0 Bump MSRV to 1.60 
- `blake2b_simd 1.0.1` raised its MSRV to 1.59.
- `proptest 1.1.0` added a dependency on `unarray` which has an implicit
  MSRV of 1.60.
 2023-02-10 18:09:11 +00:00
Jack Grigg 5e51272551 CI: Publish correct book path 
zcash/halo2#713 added a second renderer to mdBook, and it turns out
that causes mdBook to generate subfolders that it doesn't do with a
single renderer. We now handle the presence of the subfolders when
publishing the book to GitHub Pages.
 2023-01-20 21:18:42 +00:00
Hollow Man 398f80bb03
Use revision of the patched mdbook 
Signed-off-by: Hollow Man <hollowman@opensuse.org>
 2023-01-10 22:02:17 +02:00
Hollow Man 79c5517d21
Fix book deploying CI and add pdf uploading 
Signed-off-by: Hollow Man <hollowman@opensuse.org>
 2023-01-08 21:34:51 +02:00
Jack Grigg 4b804a141a Make SHA-256 gadget a nightly feature 
This was effectively the meaning of the prior `unstable` feature flag.
 2023-01-03 19:12:39 +00:00
Jack Grigg 01323b9eb6 Add harness for `nightly -> beta -> stable` dev workflow 
Part of zcash/halo2#707.
 2023-01-03 19:12:39 +00:00
Jack Grigg 0ba0e40b87 CI: Avoid testing against MSRV with test-dev-graph feature flag 
We only need it for generating images of halo2_gadgets chips, and its
transitive dependencies have bumped MSRV in point releases.
 2022-11-24 01:56:54 +00:00
dependabot[bot] b503deea16
build(deps): bump codecov/codecov-action from 3.1.0 to 3.1.1 
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/codecov/codecov-action/releases)
- [Changelog](https://github.com/codecov/codecov-action/blob/master/CHANGELOG.md)
- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.0...v3.1.1)

---
updated-dependencies:
- dependency-name: codecov/codecov-action
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-20 10:27:15 +00:00
Jack Grigg eda6021692 CI: Add `batch` feature flag to WASM build checks 2022-09-12 18:31:04 +00:00
str4d 72ff677776
Merge pull request #511 from zcash/dependabot/github_actions/actions/checkout-3 
Bump actions/checkout from 2 to 3
 2022-05-05 16:08:26 +01:00
str4d 377de3998c
Merge pull request #554 from zcash/dependabot/github_actions/codecov/codecov-action-3.1.0 
Bump codecov/codecov-action from 2.1.0 to 3.1.0
 2022-05-05 16:07:57 +01:00
dependabot[bot] 1d9ca93948
Bump actions/checkout from 2 to 3 
Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v2...v3)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-29 00:26:50 +00:00
Jack Grigg 6ff065c58c CI: Fix Rust version used for benchmarks 2022-04-29 00:20:58 +00:00
Jack Grigg 7688c371f6 Bump MSRV to 1.56.1 
Closes zcash/halo2#482.
 2022-04-27 12:24:57 +00:00
Jack Grigg 2cf0125c78 CI: Pass the correct `katex-header.html` path to rustdoc 
The header was moved to fix docs.rs deployment, but the CI workflow
wasn't updated to account for this.
 2022-04-24 23:14:45 +00:00
Jack Grigg b866548c5f Revert "CI: Pin nightly version in book workflow" 
This reverts commit 53427d19db.

Closes zcash/halo2#503.
 2022-04-24 22:59:39 +00:00
Jack Grigg d43c8612a3 CI: Use `ubuntu-latest` runner for book workflow 
The `mdbook` binaries are currently built using `ubuntu-latest`, meaning
can end up relying on newer versions of GLIBC. Until this is fixed
upstream (https://github.com/rust-lang/mdBook/issues/1779), we will use
the same runner configuration as them.
 2022-04-24 22:57:02 +00:00
dependabot[bot] f52d477257
Bump codecov/codecov-action from 2.1.0 to 3.1.0 
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 2.1.0 to 3.1.0.
- [Release notes](https://github.com/codecov/codecov-action/releases)
- [Changelog](https://github.com/codecov/codecov-action/blob/master/CHANGELOG.md)
- [Commits](https://github.com/codecov/codecov-action/compare/v2.1.0...v3.1.0)

---
updated-dependencies:
- dependency-name: codecov/codecov-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-22 10:23:09 +00:00
Jack Grigg 82bb4e6141 CI: Test against Windows and macOS in addition to Ubuntu 2022-02-15 23:35:11 +00:00
Jack Grigg e2932427ed CI: Update `codecov/codecov-action` to v2.1.0 2022-02-15 23:34:43 +00:00
Jack Grigg 53427d19db CI: Pin nightly version in book workflow 
We require nightly Rust to build the documentation, but latest nightly
has a bug where `--no-deps` causes an ICE.
 2022-02-04 01:23:32 +00:00
Jack Grigg 0ce0280b26 CI: Fix rustdoc rendering to handle workspace 
`cargo rustdoc` only works for a single package. To render docs for
a workspace while passing config options to `rustdoc`, we need to use
the `RUSTDOCFLAGS` environment variable.

We also add several other flags to handle the switch to `cargo doc`:
- `--no-deps` ensures we only build packages in the workspace.
- `--enable-index-page` (unstable) adds a landing page showing the list
  of rendered crate docs.
 2022-02-04 01:03:52 +00:00
Jack Grigg bb76d8c292 CI: List explicit features to check against WASM 
We can't check the `test-dependencies` feature flag, because `proptest`
fails to compile on WASM.
 2022-01-27 23:44:42 +00:00
Kobi Gurkan 617416b6f0 fix(ci): wasm CI now uses the correct targets 2022-01-08 17:10:01 +02:00
Jack Grigg 55364f0d99 CI: Fix benchmark collection 
The benchmark action's "cargo" tooling assumes the standard bencher
output format, and can't parse criterion's output. Fortunately,
criterion can also provide bencher output for compatibility.

In order to pass criterion flags via `cargo bench`, we need to ensure
that all benchmarks use it (otherwise the flags are rejected by the
built-in benchmark harness as unknown). Since we don't actually have any
benchmarks inside the library itself, we simply disable its benchmark
harness.
 2021-12-08 22:25:40 +00:00
Jack Grigg 001494b4fe CI: Add benchmarks workflow 
The workflow will comment on commits that cause a performance regression
of at least 200% (e.g. proving taking twice as long); we'll tune this as
we figure out how well benchmarking works on standard GitHub builders.
 2021-12-08 20:24:30 +00:00
Jack Grigg 0c1c5be67f CI: Add Dependabot config to keep Actions up-to-date 2021-11-04 16:42:47 +00:00
ebfull 4a9e329ded
Merge pull request #316 from zcash/zk-changes-again 
Final ZK changes
 2021-07-14 16:19:06 -06:00
Jack Grigg 4eb464e49d book: Render latest rustdoc in book subdir 2021-07-09 20:12:40 +01:00
Sean Bowe 8582731073
Build examples during CI bitrot check. 2021-07-08 15:33:03 -06:00
Jack Grigg a388726ce9 CI: Build book with latest mdbook 
`mdbook-katex` is installed from crates.io, and if it doesn't use the
same version of `mdbook` it can cause build issues.
 2021-06-04 22:41:25 +01:00
Jack Grigg 8b94e3ad64 Bump MSRV to 1.51.0 2021-06-02 00:03:06 +01:00
Jack Grigg 1bc824091f CI: Test against same Rust version as rust-toolchain 2021-05-18 20:19:54 +01:00
Jack Grigg f3b0705427 CI: Reduce noise of clippy lints 
We move Clippy lints into separate workflows that only run either
directly on branches, or on trial-merges of PRs, to deduplicate the
lint annotations. We will still see stable lints duplicated in beta,
but that's fine.
 2021-05-04 09:23:31 +12:00
Jack Grigg 7d81971079 CI: Warn with clippy on beta instead of nightly 
We don't want the noise of changes to nightly clippy, but we _do_ want
advance warning of upcoming CI breakage. Running clippy on beta will
give us six weeks notice.
 2021-02-15 15:41:35 +00:00
Jack Grigg fb9eb3b483 CI: Run intra-doc checks on stable 2021-02-15 15:39:16 +00:00
Jack Grigg db930f706a Add an issue template for improving the Halo 2 book 2021-01-29 20:57:50 +00:00
Jack Grigg 30b1c0c1ad Use mdbook 0.4.5 
https://blog.rust-lang.org/2021/01/04/mdbook-security-advisory.html
 2021-01-09 02:37:05 +00:00
Jack Grigg ac75aac455 CI: Set toolchain for book tests 2021-01-06 00:48:29 +00:00
Jack Grigg e16946f56b CI: Build crate and make it available to book tests 2020-12-10 20:44:50 +00:00
Jack Grigg a9146ae472 book: Add KaTeX support 2020-12-10 20:44:50 +00:00
Jack Grigg e21c72a5a6 CI: Run book tests 2020-12-04 16:15:06 +00:00
Jack Grigg cb54205600 Actions workflow to deploy book to GH Pages 2020-12-04 16:14:54 +00:00
Jack Grigg 914d150a6b CI: Build for WASM targets 2020-12-01 21:26:52 +00:00
Jack Grigg 6c85ad14a9 Use latest stable Rust 
We don't need to commit to an MSRV yet, and this avoids the problem
where some of our in-flux dependencies bump their MSRV (or don't have
a defined MSRV and make changes to use more recent features) causing
our CI to break.
 2020-11-25 19:38:03 +00:00