diff --git a/.github/workflows/build-docker.yml b/.github/workflows/build-docker.yml index 08c27f73..ee6abf8d 100644 --- a/.github/workflows/build-docker.yml +++ b/.github/workflows/build-docker.yml @@ -3,6 +3,7 @@ on: pull_request: paths: - 'container/Dockerfile' + - 'requirements.txt' push: branches: [main] workflow_dispatch: diff --git a/requirements.txt b/requirements.txt index f909e545..0495df77 100644 --- a/requirements.txt +++ b/requirements.txt @@ -2,5 +2,5 @@ pre-commit filecheck lit numpy -xdsl @ git+https://github.com/xdslproject/xdsl.git@82e4af23bacddefa100ecf662385e34c3b4a1c5f +xdsl @ git+https://github.com/xdslproject/xdsl.git@c8479cc0d7a2c7ac4c9150449445725e20d4672d