Merge pull request #671 from antmicro/fix-ci-issues

Fix ci issues
This commit is contained in:
Karol Gugala 2024-10-15 17:54:18 +02:00 committed by GitHub
commit 230bf44e99
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 14 additions and 8 deletions

View File

@ -63,6 +63,8 @@ jobs:
Docs:
runs-on: ubuntu-latest
name: '📓 Docs'
permissions:
contents: write
steps:
- name: 🧰 Checkout

View File

@ -1120,11 +1120,13 @@ def main(
net=Path(net).open("r"),
vpr_grid_map=vpr_grid_map,
arch=arch,
db_root=environ.get(
db_root=(
environ.get(
"DATABASE_DIR", subprocess_run("prjxray-config", capture_output=True).stdout.decode("utf-8").strip()
)
if db_root is None
else db_root,
else db_root
),
part=part,
blif=Path(blif).open("r"),
input=sys.stdin if input is None else Path(input).open("r"),

View File

@ -19,14 +19,16 @@
version: 2
build:
os: ubuntu-22.04
tools:
python: "mambaforge-22.9"
sphinx:
configuration: docs/conf.py
formats: []
python:
version: "3.7"
conda:
environment: docs/environment.yml