Update IfcVoidingFeature.md #799
+7
−0
Open
Travis CI / Travis CI - Pull Request
succeeded
Mar 13, 2024 in 38m 54s
Build Passed
Details
This is a pull request build.
It is running a build against the merge commit, after merging #799 Update IfcVoidingFeature.md.
Any changes that have been made to the master branch before the build ran are also included.
Jobs and Stages
This build only has a single job.
You can use jobs to test against multiple versions of your runtime or dependencies, or to speed up your build.
Build Configuration
| Build Option | Setting |
|---|---|
| Language | Ruby |
| Operating System | Linux (Focal) |
Build Configuration
{
"language": "ruby",
"os": [
"linux"
],
"dist": "focal",
"env": [
"global={:REPO=>\"IFC4.3.x-output\"}={:USER_NAME=>\"bSI-Bot\"}={:SHACLVERSION=>\"1.3.2\"}=USER_AUTH=[secure]=USER_EMAIL=[secure]"
],
"install": [
"pyenv global 3.8",
"sudo apt-get update -y && sudo apt-get install -y wget curl unzip openjdk-11-jdk-headless",
"python3 -m pip install tabulate \"pyparsing<3\" lark-parser PyGithub Markdown markdown-it-py==1.1.0 deepdiff rdflib lxml Beautifulsoup4 networkx xmlschema numpy nltk reversestem",
"wget -O /tmp/ifopsh.zip https://s3.amazonaws.com/ifcopenshell-builds/ifcopenshell-python-38-v0.7.0-476ab50-linux64.zip",
"mkdir -p `python3 -c 'import site; print(site.getusersitepackages())'`",
"unzip -d `python3 -c 'import site; print(site.getusersitepackages())'` /tmp/ifopsh.zip",
"(cd / && curl --silent --show-error --retry 5 https://repo1.maven.org/maven2/org/topbraid/shacl/${SHACLVERSION}/shacl-${SHACLVERSION}-bin.zip -o - | sudo jar x)",
"sudo chmod +x /shacl-${SHACLVERSION}/bin/*",
"export PATH=\"/shacl-${SHACLVERSION}/bin:${PATH}\""
],
"script": [
"python3 code/main.py",
"travis_wait python3 code/validate_schema_shacl.py"
],
"after_success": [
"if [ \"$TRAVIS_BRANCH\" == \"master\" ]; then\n MESSAGE=$(git log --oneline -1)\n git clone https://$USER_NAME:$USER_AUTH@github.com/buildingSMART/$REPO\n cd $REPO\n \"[ $TRAVIS_PULL_REQUEST != false ] && git switch -c pr$TRAVIS_PULL_REQUEST\"\n \"[ -d psd/ ] && rm -rf psd\"\n mv ../output/* .\n git config user.email \"${USER_EMAIL}\"\n git config user.name \"${USER_NAME}\"\n git add .\n git commit -m \"${MESSAGE}\"\n git push\nfi"
]
}