Skip to content

Commit

Permalink
DROP BEFORE MERGE change fiat package branch
Browse files Browse the repository at this point in the history
  • Loading branch information
indiamai committed Jan 10, 2025
1 parent 746e6d1 commit 7312219
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -84,8 +84,7 @@ jobs:
--install defcon \
--install gadopt \
--install asQ \
--package-branch fiat indiamai/fuse-elements \
--package-branch fuse indiamai/name_change \
--package-branch fiat indiamai/integrate_fuse \
|| (cat firedrake-install.log && /bin/false)
- name: Install test dependencies
run: |
Expand Down

0 comments on commit 7312219

Please sign in to comment.