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

Optimization Test and Deploy #276: Pull request #439 synchronize by Framba-Luca
2m 21s optimization
optimization
2m 21s
Optimization Test and Deploy #275: Pull request #439 synchronize by Framba-Luca
7m 4s optimization
optimization
7m 4s
Optimization CLA #400: Pull request #439 synchronize by Framba-Luca
10s optimization
optimization
10s
Optimization CLA #399: Pull request #439 synchronize by Framba-Luca
11s optimization
optimization
11s
Optimization Test and Deploy #274: Pull request #439 synchronize by Framba-Luca
7m 47s optimization
optimization
7m 47s
Optimization Test and Deploy #273: Pull request #439 synchronize by Framba-Luca
6m 12s optimization
optimization
6m 12s
Optimization CLA #398: Pull request #439 synchronize by Framba-Luca
9s optimization
optimization
9s
Merge pull request #806 from pysmt/fix_802 Test and Deploy #272: Commit bbfe2c5 pushed by mikand
7m 44s master
master
7m 44s
Merge pull request #806 from pysmt/fix_802 CLA #397: Commit bbfe2c5 pushed by mikand
22s master
master
22s
Merge pull request #808 from pysmt/z3_version_4_15 CLA #396: Commit ac64b84 pushed by mikand
9s master
master
9s
Merge pull request #808 from pysmt/z3_version_4_15 Test and Deploy #271: Commit ac64b84 pushed by mikand
7m 4s master
master
7m 4s
Optimization Test and Deploy #270: Pull request #439 synchronize by Framba-Luca
2m 43s optimization
optimization
2m 43s
Optimization CLA #395: Pull request #439 synchronize by Framba-Luca
9s optimization
optimization
9s
Optimization CLA #394: Pull request #439 synchronize by Framba-Luca
36s optimization
optimization
36s
Optimization Test and Deploy #269: Pull request #439 synchronize by Framba-Luca
3m 54s optimization
optimization
3m 54s
Bump Z3 version from 4.13 to 4.15 CLA #393: Pull request #808 synchronize by Framba-Luca
10s z3_version_4_15
z3_version_4_15
10s
Bump Z3 version from 4.13 to 4.15 Test and Deploy #268: Pull request #808 synchronize by Framba-Luca
6m 56s z3_version_4_15
z3_version_4_15
6m 56s
Optimization Test and Deploy #267: Pull request #439 synchronize by Framba-Luca
7m 1s optimization
optimization
7m 1s
Optimization CLA #392: Pull request #439 synchronize by Framba-Luca
9s optimization
optimization
9s
Optimization Test and Deploy #265: Pull request #439 synchronize by Framba-Luca
5m 4s optimization
optimization
5m 4s
Optimization CLA #390: Pull request #439 synchronize by Framba-Luca
11s optimization
optimization
11s
Bump Z3 version from 4.13 to 4.15 CLA #389: Pull request #808 opened by Framba-Luca
8s z3_version_4_15
z3_version_4_15
8s
Bump Z3 version from 4.13 to 4.15 Test and Deploy #264: Pull request #808 opened by Framba-Luca
2m 29s z3_version_4_15
z3_version_4_15
2m 29s
Optimization Test and Deploy #263: Pull request #439 synchronize by Framba-Luca
6m 17s optimization
optimization
6m 17s
Optimization CLA #388: Pull request #439 synchronize by Framba-Luca
13s optimization
optimization
13s