Maude SMT Extension
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
Project description
Maude-SE is an SMT extension of Maude. It provides a symbolic SMT search and satisfiability checking for SMT formulas. Currently supported SMT solvers are Z3, Yices2, and CVC5.
Building
We provide a building script. Use the following command to build Maude-SE:
./build.sh maude-se
The above command creates an out directory at the top directory and stores the built product (a python wheel) in it.
Use the following command to install the wheel:
pip install ./out/*.whl
Project details
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
maude_se-0.0.1.dev0.tar.gz
(4.9 MB
view details)
Built Distributions
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file maude_se-0.0.1.dev0.tar.gz.
File metadata
- Download URL: maude_se-0.0.1.dev0.tar.gz
- Upload date:
- Size: 4.9 MB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
64067ae824a3bf8cbaeffc568147dde1ca138e6b3c24da045f98191e1141e33f
|
|
| MD5 |
0f0ed66f0d3e090747c427006cd32a53
|
|
| BLAKE2b-256 |
03427df09d2312072e25b0f4565d2b9a3901fea949438de005b66e0450fe0698
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0.tar.gz:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0.tar.gz -
Subject digest:
64067ae824a3bf8cbaeffc568147dde1ca138e6b3c24da045f98191e1141e33f - Sigstore transparency entry: 206895325
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp313-cp313-manylinux_2_28_x86_64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp313-cp313-manylinux_2_28_x86_64.whl
- Upload date:
- Size: 17.9 MB
- Tags: CPython 3.13, manylinux: glibc 2.28+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7d8ad0eb92d476d89d803cb488596c7d305373c85a8b11af0af2393d67425153
|
|
| MD5 |
0c671e91a737b67b677441ec226cdc87
|
|
| BLAKE2b-256 |
fe0c8f4d61f974dbff0eb5a72e0e280917375226ebc4f425f90969a2c73c249e
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp313-cp313-manylinux_2_28_x86_64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp313-cp313-manylinux_2_28_x86_64.whl -
Subject digest:
7d8ad0eb92d476d89d803cb488596c7d305373c85a8b11af0af2393d67425153 - Sigstore transparency entry: 206895329
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp313-cp313-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp313-cp313-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.13, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
d73fdffa099ebabdce461f7e5dd1c25fd8db3b09687b6b074a143937888a5b26
|
|
| MD5 |
85b11d939dc277de78d8298b619b0868
|
|
| BLAKE2b-256 |
e30924b765fa9c4d4c8749cc2ab27af521cfcadba560d748f427f6de0619f6a9
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp313-cp313-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp313-cp313-macosx_14_0_arm64.whl -
Subject digest:
d73fdffa099ebabdce461f7e5dd1c25fd8db3b09687b6b074a143937888a5b26 - Sigstore transparency entry: 206895328
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp312-cp312-manylinux_2_28_x86_64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp312-cp312-manylinux_2_28_x86_64.whl
- Upload date:
- Size: 17.9 MB
- Tags: CPython 3.12, manylinux: glibc 2.28+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
36cdd142a883c243bc7242e39425fd4755fa2099384992166d3a05339f7febba
|
|
| MD5 |
f8e78cc429a862b2581de2bc4b5de280
|
|
| BLAKE2b-256 |
c8622325c0cb4fa27112b097289de3c66c6763876b1e5d413c73541113b206ac
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp312-cp312-manylinux_2_28_x86_64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp312-cp312-manylinux_2_28_x86_64.whl -
Subject digest:
36cdd142a883c243bc7242e39425fd4755fa2099384992166d3a05339f7febba - Sigstore transparency entry: 206895332
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp312-cp312-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp312-cp312-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.12, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a6558c7d2d49d5570271cfd45c1d42ba2200ca9a8e054ac139e057d7e782dc86
|
|
| MD5 |
567b36f862a4fdf8ff1b75fa9e79c604
|
|
| BLAKE2b-256 |
05c55913e04ce8fc6690d0a362ba5fad8eca39dbe70466e586cb8000a7144b4c
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp312-cp312-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp312-cp312-macosx_14_0_arm64.whl -
Subject digest:
a6558c7d2d49d5570271cfd45c1d42ba2200ca9a8e054ac139e057d7e782dc86 - Sigstore transparency entry: 206895326
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp311-cp311-manylinux_2_28_x86_64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp311-cp311-manylinux_2_28_x86_64.whl
- Upload date:
- Size: 17.9 MB
- Tags: CPython 3.11, manylinux: glibc 2.28+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1da0f576e52d1a6ea72b14719defe4d4c51246741169471e0b36a382aa4cceb1
|
|
| MD5 |
817555589936106ace21ac879dfd0069
|
|
| BLAKE2b-256 |
f3f848590ab7f3e06930e7442b0c5e68eda557f05a7552d6a8ad407555aff937
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp311-cp311-manylinux_2_28_x86_64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp311-cp311-manylinux_2_28_x86_64.whl -
Subject digest:
1da0f576e52d1a6ea72b14719defe4d4c51246741169471e0b36a382aa4cceb1 - Sigstore transparency entry: 206895338
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp311-cp311-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp311-cp311-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.11, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8ad5a1cb7feb9cb55eec3ef2259f587183ec4c12b9793683f95e17c122e07c9a
|
|
| MD5 |
956fc8cbd01aaf93d190805c8106a26b
|
|
| BLAKE2b-256 |
0453ed79719d13069e8df8a546ede6a2dcf70ff801ad00872e0ef580af5b1f77
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp311-cp311-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp311-cp311-macosx_14_0_arm64.whl -
Subject digest:
8ad5a1cb7feb9cb55eec3ef2259f587183ec4c12b9793683f95e17c122e07c9a - Sigstore transparency entry: 206895341
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp310-cp310-manylinux_2_28_x86_64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp310-cp310-manylinux_2_28_x86_64.whl
- Upload date:
- Size: 17.9 MB
- Tags: CPython 3.10, manylinux: glibc 2.28+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
d5a5bb201a362acd077facd22dca9dee4196ce3081cc978207558255be6d34a6
|
|
| MD5 |
6766964438cb2d3c685f5c4ae1f57cc2
|
|
| BLAKE2b-256 |
8b6f2e8ab709b96020aea635bba7d953677ad355c51d2647026808f4ac7834ff
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp310-cp310-manylinux_2_28_x86_64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp310-cp310-manylinux_2_28_x86_64.whl -
Subject digest:
d5a5bb201a362acd077facd22dca9dee4196ce3081cc978207558255be6d34a6 - Sigstore transparency entry: 206895333
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp310-cp310-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp310-cp310-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.10, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
76a57287048b5d1a80e0bde6605a643695ea47cd6fc0a7217b8759696574bdbe
|
|
| MD5 |
322cfacad8eaab941644f94fea32c4cc
|
|
| BLAKE2b-256 |
c175c5d2c4402bdc7afe94e8a1f6823301cc661cf335cff4e4261d96df3cbd64
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp310-cp310-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp310-cp310-macosx_14_0_arm64.whl -
Subject digest:
76a57287048b5d1a80e0bde6605a643695ea47cd6fc0a7217b8759696574bdbe - Sigstore transparency entry: 206895343
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp39-cp39-manylinux_2_28_x86_64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp39-cp39-manylinux_2_28_x86_64.whl
- Upload date:
- Size: 17.9 MB
- Tags: CPython 3.9, manylinux: glibc 2.28+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8082f12f51d348f9b4c681a26525d7e41467e44a71b60a984d6c2a2b21279145
|
|
| MD5 |
ccb265043c8f04e12c4aa00d1ac126a9
|
|
| BLAKE2b-256 |
e74f971b9a697c1bb1f76dd9f66e230118dbf032f67faf96608dabcb08c5bb90
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp39-cp39-manylinux_2_28_x86_64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp39-cp39-manylinux_2_28_x86_64.whl -
Subject digest:
8082f12f51d348f9b4c681a26525d7e41467e44a71b60a984d6c2a2b21279145 - Sigstore transparency entry: 206895340
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp39-cp39-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp39-cp39-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.9, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
10b26ba60b2e9f1c3e868588415ebb034bcbfa5b3636ddc8efa8bed5a6e4fd22
|
|
| MD5 |
c7754323b72528e0ccb551d0617ce36b
|
|
| BLAKE2b-256 |
71a4b0b465e31d8d8874c7733468164ec9416e87906218dfd36c55b8909099f9
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp39-cp39-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp39-cp39-macosx_14_0_arm64.whl -
Subject digest:
10b26ba60b2e9f1c3e868588415ebb034bcbfa5b3636ddc8efa8bed5a6e4fd22 - Sigstore transparency entry: 206895334
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
File details
Details for the file maude_se-0.0.1.dev0-cp38-cp38-macosx_14_0_arm64.whl.
File metadata
- Download URL: maude_se-0.0.1.dev0-cp38-cp38-macosx_14_0_arm64.whl
- Upload date:
- Size: 3.0 MB
- Tags: CPython 3.8, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
89821bab36b5dc0886494da391d9eed3335a46f252349ebcf722bd2804de4a7d
|
|
| MD5 |
54aa06d1ca269b8db2703857a4d6c68a
|
|
| BLAKE2b-256 |
414d3819c1495f224285242991f734f8abd817cd3d16cf7acbb19549b417b2c0
|
Provenance
The following attestation bundles were made for maude_se-0.0.1.dev0-cp38-cp38-macosx_14_0_arm64.whl:
Publisher:
release.yml on postechsv/maude-se
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
maude_se-0.0.1.dev0-cp38-cp38-macosx_14_0_arm64.whl -
Subject digest:
89821bab36b5dc0886494da391d9eed3335a46f252349ebcf722bd2804de4a7d - Sigstore transparency entry: 206895336
- Sigstore integration time:
-
Permalink:
postechsv/maude-se@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Branch / Tag:
refs/tags/v0.0.1.dev0 - Owner: https://github.com/postechsv
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@ab39d45a56a76e0f9d2cb20f4426cb22854750e7 -
Trigger Event:
push
-
Statement type:
