Skip to content
Merged
Show file tree
Hide file tree
Changes from 18 commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
bc3561e
Make typed expression generation consistent with Lean (#1625)
shaobo-he-aws May 19, 2025
ccca390
Replace `criterion::black_box` with `std::hint::black_box` (#1630)
shaobo-he-aws May 20, 2025
2d0ce0d
Bump the rust-dependencies group with 6 updates (#1628)
dependabot[bot] May 20, 2025
e3c8318
Reverted downgrade of grcov (#1631)
katherine-hough May 20, 2025
0b78323
Create policy set splitting functionality (#1629)
Swolebrain May 20, 2025
b96c20c
Take `id` as ref for EST `try_into_est` (#1632)
john-h-kastner-aws May 21, 2025
2da5225
Avoid cloning `self` in `sub_entity_literals` (#1633)
john-h-kastner-aws May 21, 2025
1c0d860
Bump the rust-dependencies group with 5 updates (#1640)
dependabot[bot] May 27, 2025
fb0463f
Bump the rust-dependencies group with 7 updates (#1645)
dependabot[bot] Jun 2, 2025
ce74a03
Parse trailing commas in Cedar policy files (#1606)
junlarsen Jun 3, 2025
ec0e872
Optimize and inline `flatten_tuple_2` (#1649)
adpaco-aws Jun 4, 2025
b15b9e9
Bump the rust-dependencies group with 14 updates (#1653)
dependabot[bot] Jun 9, 2025
d7ef3ff
Address type mismatch false positive by implementing context validati…
mishjude Jun 9, 2025
0b4764a
Changed coverage report action to use a directory instead of a zip to…
katherine-hough Jun 12, 2025
68e7f47
Free disk space in github workflow (#1657)
katherine-hough Jun 12, 2025
b0f8a4a
Bump the rust-dependencies group with 27 updates (#1659)
dependabot[bot] Jun 16, 2025
ac8a02d
Downgrade `prost` and `prost-build` versions (#1660)
adpaco-aws Jun 17, 2025
4491646
add more impl `From`s (#1670)
cdisselkoen Jun 25, 2025
170ecf3
fix bad cherrypick
cdisselkoen Jun 26, 2025
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
11 changes: 8 additions & 3 deletions .github/actions/create_coverage_reports/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,22 +19,27 @@ inputs:
runs:
using: "composite"
steps:
- name: Check disk space
shell: bash
run: df -h
- name: Install LLVM tools
shell: bash
run: rustup component add llvm-tools-preview
- name: Install grcov
shell: bash
run: cargo install grcov --version 0.8.20
run: cargo install grcov
- name: Collect coverage profiles
shell: bash
run: zip -0 raw_cov.zip $(find . -name "*.profraw") -q
run: |
mkdir -p ./target/raw_coverage
find . -path ./target/raw_coverage -prune -o -name "*.profraw" -type f -exec mv "{}" ./target/raw_coverage \;
# Note: source-based branch coverage is not supported for Rust
# (see http://github.com/rust-lang/rust/issues/79649)
- name: Build coverage report
shell: bash
run: |
mkdir -p ./target/coverage
grcov raw_cov.zip \
grcov ./target/raw_coverage \
--source-dir . \
--binary-path ./target/debug/ \
-t html,cobertura \
Expand Down
12 changes: 12 additions & 0 deletions .github/workflows/build_and_test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,18 @@ jobs:
RUSTFLAGS: '-D warnings -F unsafe-code'

steps:
- name: Check initialize disk space
shell: bash
run: df -h
# Based on https://github.com/easimon/maximize-build-space
- name: Free disk space
shell: bash
run: |
sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc /opt/hostedtoolcache/CodeQL
sudo docker image prune --all --force
- name: Check final disk space
shell: bash
run: df -h
- name: Set environment variables for coverage collection
if: ${{ inputs.collect_coverage }} && ${{ matrix.toolchain }} == 'stable'
shell: bash
Expand Down
Loading
Loading