We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4a78ec1 commit 3867367Copy full SHA for 3867367
Jenkinsfile
@@ -40,7 +40,7 @@ pipeline {
40
sh 'mkdir tmp'
41
dir('tmp') {
42
timestamps {
43
- sh '../scripts/firedrake-install $COMPLEX --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager || (cat firedrake-install.log && /bin/false)'
+ sh '../scripts/firedrake-install $COMPLEX --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager --package-branch tsfc ksagiyam/tsfc_refactor || (cat firedrake-install.log && /bin/false)'
44
}
45
46
0 commit comments