Skip to content

Actions: vorpal-research/kex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow run results
38 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test suite minimization JDK 11 CI #75: Pull request #98 opened by Mike-Wazovsky
December 1, 2023 12:07 31m 24s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
December 1, 2023 12:07 31m 24s
Test suite minimization JDK 8 CI #75: Pull request #98 opened by Mike-Wazovsky
December 1, 2023 12:07 38m 54s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
December 1, 2023 12:07 38m 54s
Merge pull request #97 from vorpal-research/small-fixes JDK 11 CI #74: Commit 464a27f pushed by AbdullinAM
November 20, 2023 11:20 37m 8s master
master
November 20, 2023 11:20 37m 8s
Merge pull request #97 from vorpal-research/small-fixes JDK 8 CI #74: Commit 464a27f pushed by AbdullinAM
November 20, 2023 11:20 28m 52s master
master
November 20, 2023 11:20 28m 52s
Small fixes JDK 8 CI #73: Pull request #97 opened by AbdullinAM
November 20, 2023 11:20 1m 20s small-fixes
small-fixes
November 20, 2023 11:20 1m 20s
Small fixes JDK 11 CI #73: Pull request #97 opened by AbdullinAM
November 20, 2023 11:20 1m 14s small-fixes
small-fixes
November 20, 2023 11:20 1m 14s
Merge pull request #96 from vorpal-research/concrete-value-collection… JDK 8 CI #72: Commit b158e75 pushed by AbdullinAM
November 13, 2023 11:49 32m 35s master
master
November 13, 2023 11:49 32m 35s
Merge pull request #96 from vorpal-research/concrete-value-collection… JDK 11 CI #72: Commit b158e75 pushed by AbdullinAM
November 13, 2023 11:49 38m 29s master
master
November 13, 2023 11:49 38m 29s
Concrete value collection api JDK 8 CI #71: Pull request #96 opened by AbdullinAM
November 13, 2023 11:42 30m 0s concrete-value-collection-api
concrete-value-collection-api
November 13, 2023 11:42 30m 0s
Concrete value collection api JDK 11 CI #71: Pull request #96 opened by AbdullinAM
November 13, 2023 11:42 31m 12s concrete-value-collection-api
concrete-value-collection-api
November 13, 2023 11:42 31m 12s
fix kex-boolector and kex-z3 builds JDK 8 CI #70: Commit 192b168 pushed by AbdullinAM
November 10, 2023 13:54 32m 57s master
master
November 10, 2023 13:54 32m 57s
fix kex-boolector and kex-z3 builds JDK 11 CI #70: Commit 192b168 pushed by AbdullinAM
November 10, 2023 13:54 28m 10s master
master
November 10, 2023 13:54 28m 10s
Merge pull request #95 from vorpal-research/release-preparation JDK 11 CI #69: Commit 07a9d88 pushed by AbdullinAM
November 10, 2023 13:46 2m 34s master
master
November 10, 2023 13:46 2m 34s
Merge pull request #95 from vorpal-research/release-preparation JDK 8 CI #69: Commit 07a9d88 pushed by AbdullinAM
November 10, 2023 13:46 2m 18s master
master
November 10, 2023 13:46 2m 18s
Release preparation JDK 11 CI #68: Pull request #95 opened by AbdullinAM
November 10, 2023 13:35 1m 26s release-preparation
release-preparation
November 10, 2023 13:35 1m 26s
Release preparation JDK 8 CI #68: Pull request #95 opened by AbdullinAM
November 10, 2023 13:35 1m 31s release-preparation
release-preparation
November 10, 2023 13:35 1m 31s
roll back ksmt version JDK 11 CI #67: Commit 0175ef9 pushed by AbdullinAM
November 10, 2023 12:01 36m 11s master
master
November 10, 2023 12:01 36m 11s
roll back ksmt version JDK 8 CI #67: Commit 0175ef9 pushed by AbdullinAM
November 10, 2023 12:01 43m 34s master
master
November 10, 2023 12:01 43m 34s
more or less final version of AbstractDomainSolver JDK 11 CI #66: Commit ed71aaa pushed by AbdullinAM
November 9, 2023 12:45 1h 13m 2s master
master
November 9, 2023 12:45 1h 13m 2s
more or less final version of AbstractDomainSolver JDK 8 CI #66: Commit ed71aaa pushed by AbdullinAM
November 9, 2023 12:45 1h 28m 30s master
master
November 9, 2023 12:45 1h 28m 30s
fix z3 and boolector JDK 8 CI #65: Commit 3b4db26 pushed by AbdullinAM
November 1, 2023 16:25 34m 4s master
master
November 1, 2023 16:25 34m 4s
fix z3 and boolector JDK 11 CI #65: Commit 3b4db26 pushed by AbdullinAM
November 1, 2023 16:25 33m 35s master
master
November 1, 2023 16:25 33m 35s
fixes JDK 11 CI #64: Commit 2f96412 pushed by AbdullinAM
November 1, 2023 16:16 4m 10s master
master
November 1, 2023 16:16 4m 10s
fixes JDK 8 CI #64: Commit 2f96412 pushed by AbdullinAM
November 1, 2023 16:16 4m 6s master
master
November 1, 2023 16:16 4m 6s
Merge pull request #94 from vorpal-research/class-loader-instrumenter JDK 11 CI #63: Commit e09313d pushed by AbdullinAM
October 13, 2023 09:38 32m 34s master
master
October 13, 2023 09:38 32m 34s