Skip to content

Commit

Permalink
Merge branch 'publish_sphinx_to_gh_pages' of https://github.com/acham…
Browse files Browse the repository at this point in the history
…ayou/CCF into publish_sphinx_to_gh_pages
  • Loading branch information
achamayou committed Jul 22, 2024
2 parents 4270658 + 77a0f2b commit face663
Show file tree
Hide file tree
Showing 8 changed files with 7 additions and 46 deletions.
37 changes: 0 additions & 37 deletions .azure-pipelines-model-checking.yml

This file was deleted.

5 changes: 2 additions & 3 deletions .azure-pipelines-templates/install_others.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,8 @@ steps:
set -ex
python3.8 -m venv env
source ./env/bin/activate
pip install -r requirements.txt
pip install wheel
python setup.py bdist_wheel
pip install wheel build
python -m build --wheel
WHL=`ls dist/*.whl`
cp $WHL $(Build.ArtifactStagingDirectory)
WHL=`basename $WHL`
Expand Down
1 change: 0 additions & 1 deletion .github/workflows/pypi.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,5 @@ jobs:
cd python
python3 -m venv env
source ./env/bin/activate
pip install -r requirements.txt
pip install twine
twine upload -u __token__ -p ${{ secrets.PYPI_TOKEN }} *.whl
5 changes: 2 additions & 3 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -201,9 +201,8 @@ jobs:
cd python
python3.8 -m venv env
source ./env/bin/activate
pip install -r requirements.txt
pip install wheel
python setup.py bdist_wheel
pip install wheel build
python -m build --wheel
WHL=`ls dist/*.whl`
echo "name=$WHL" >> $GITHUB_OUTPUT
shell: bash
Expand Down
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -45,3 +45,4 @@ tests/perf-system/analyzer/*.png
**/*.ipynb*
scripts/azure_deployment/.env
.env
python/src/ccf/version.py
1 change: 0 additions & 1 deletion .model_checking_canary

This file was deleted.

1 change: 1 addition & 0 deletions tests/infra/crypto.py
Original file line number Diff line number Diff line change
Expand Up @@ -70,6 +70,7 @@ def generate_aes_key(key_bits: int) -> bytes:


def generate_rsa_keypair(key_size: int) -> Tuple[str, str]:
assert key_size >= 2048
priv = rsa.generate_private_key(
public_exponent=RECOMMENDED_RSA_PUBLIC_EXPONENT,
key_size=key_size,
Expand Down
2 changes: 1 addition & 1 deletion tests/npm_tests.py
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ def generate_and_verify_jwk(client):
assert body["pem"] == pub_pem

# RSA
key_sizes = [1024, 2048, 4096]
key_sizes = [2048, 4096]
for key_size in key_sizes:
priv_pem, pub_pem = infra.crypto.generate_rsa_keypair(key_size)

Expand Down

0 comments on commit face663

Please sign in to comment.