From 5f6f4c12779e7580230a91f1b9428d558ff1e4f5 Mon Sep 17 00:00:00 2001 From: Joren Dumoulin Date: Tue, 19 Dec 2023 14:52:47 +0100 Subject: [PATCH] bump xdsl --- .github/workflows/build-docker.yml | 1 + requirements.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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