Skip to content

Actions: pysmt/pysmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mypy checks in CI CLA #415: Pull request #813 synchronize by Framba-Luca
8s add_typing_hints
add_typing_hints
8s
Add mypy checks in CI Test and Deploy #290: Pull request #813 synchronize by Framba-Luca
17s add_typing_hints
add_typing_hints
17s
Upgrade OptiMathSAT to 1.7.5 CLA #413: Pull request #815 synchronize by masinag
14s masinag:upgrade-optimathsat
masinag:upgrade-optimathsat
14s
Upgrade OptiMathSAT to 1.7.5 Test and Deploy #288: Pull request #815 synchronize by masinag
2m 11s masinag:upgrade-optimathsat
masinag:upgrade-optimathsat
2m 11s
Upgrade OptiMathSAT to 1.7.5 CLA #412: Pull request #815 opened by masinag
11s masinag:upgrade-optimathsat
masinag:upgrade-optimathsat
11s
Upgrade OptiMathSAT to 1.7.5 Test and Deploy #287: Pull request #815 opened by masinag
7m 1s masinag:upgrade-optimathsat
masinag:upgrade-optimathsat
7m 1s
Add mypy checks in CI CLA #410: Pull request #813 synchronize by JanTomassi
12s add_typing_hints
add_typing_hints
12s
Add mypy checks in CI Test and Deploy #285: Pull request #813 synchronize by JanTomassi
18s add_typing_hints
add_typing_hints
18s
Add mypy checks in CI CLA #409: Pull request #813 synchronize by JanTomassi
9s add_typing_hints
add_typing_hints
9s
Add mypy checks in CI Test and Deploy #284: Pull request #813 synchronize by JanTomassi
21s add_typing_hints
add_typing_hints
21s
Add mypy checks in CI CLA #408: Pull request #813 opened by Framba-Luca
8s add_typing_hints
add_typing_hints
8s
Add mypy checks in CI Test and Deploy #283: Pull request #813 opened by Framba-Luca
19s add_typing_hints
add_typing_hints
19s
Merge pull request #768 from pysmt/fix-767 CLA #407: Commit bb26023 pushed by mikand
16s master
master
16s
Merge pull request #768 from pysmt/fix-767 Test and Deploy #282: Commit bb26023 pushed by mikand
7m 46s master
master
7m 46s
Merge pull request #812 from pysmt/fix_809 CLA #406: Commit 9cf1bd0 pushed by mikand
9s master
master
9s
Merge pull request #812 from pysmt/fix_809 Test and Deploy #281: Commit 9cf1bd0 pushed by mikand
8m 14s master
master
8m 14s
Merge pull request #439 from pysmt/optimization Test and Deploy #280: Commit d1a1a25 pushed by mikand
8m 33s master
master
8m 33s
Merge pull request #439 from pysmt/optimization CLA #405: Commit d1a1a25 pushed by mikand
13s master
master
13s
Parse value annotations with ":" as keywords Test and Deploy #279: Pull request #812 opened by Framba-Luca
7m 11s fix_809
fix_809
7m 11s
Parse value annotations with ":" as keywords CLA #404: Pull request #812 opened by Framba-Luca
10s fix_809
fix_809
10s
Optimization CLA #403: Pull request #439 synchronize by Framba-Luca
11s optimization
optimization
11s
Optimization Test and Deploy #278: Pull request #439 synchronize by Framba-Luca
7m 20s optimization
optimization
7m 20s
Optimization Test and Deploy #277: Pull request #439 synchronize by Framba-Luca
7m 18s optimization
optimization
7m 18s
Optimization CLA #402: Pull request #439 synchronize by Framba-Luca
10s optimization
optimization
10s
Optimization CLA #401: Pull request #439 synchronize by Framba-Luca
41s optimization
optimization
41s