Skip to content

Actions: vorpal-research/kex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use maven cache in github actions
JDK 8 CI #101: Commit e01b65d pushed by AbdullinAM
January 18, 2024 11:22 18m 16s master
January 18, 2024 11:22 18m 16s
use maven cache in github actions
JDK 11 CI #101: Commit e01b65d pushed by AbdullinAM
January 18, 2024 11:22 21m 12s master
January 18, 2024 11:22 21m 12s
use maven cache in github actions
JDK 17 CI #3: Commit e01b65d pushed by AbdullinAM
January 18, 2024 11:22 18m 0s master
January 18, 2024 11:22 18m 0s
fix jvm options for tests
JDK 8 CI #100: Commit ffea43f pushed by AbdullinAM
January 17, 2024 16:31 19m 19s master
January 17, 2024 16:31 19m 19s
fix jvm options for tests
JDK 11 CI #100: Commit ffea43f pushed by AbdullinAM
January 17, 2024 16:31 20m 49s master
January 17, 2024 16:31 20m 49s
fix jvm options for tests
JDK 17 CI #2: Commit ffea43f pushed by AbdullinAM
January 17, 2024 16:31 22m 18s master
January 17, 2024 16:31 22m 18s
CI for jdk 17
JDK 11 CI #99: Commit 080b5b0 pushed by AbdullinAM
January 17, 2024 16:00 19m 36s master
January 17, 2024 16:00 19m 36s
CI for jdk 17
JDK 17 CI #1: Commit 080b5b0 pushed by AbdullinAM
January 17, 2024 16:00 2m 54s master
January 17, 2024 16:00 2m 54s
CI for jdk 17
JDK 8 CI #99: Commit 080b5b0 pushed by AbdullinAM
January 17, 2024 16:00 18m 19s master
January 17, 2024 16:00 18m 19s
Merge pull request #104 from vorpal-research/coverage-computation-rework
JDK 11 CI #98: Commit 279a25e pushed by AbdullinAM
January 17, 2024 14:22 18m 59s master
January 17, 2024 14:22 18m 59s
Merge pull request #104 from vorpal-research/coverage-computation-rework
JDK 8 CI #98: Commit 279a25e pushed by AbdullinAM
January 17, 2024 14:22 18m 46s master
January 17, 2024 14:22 18m 46s
Coverage computation rework
JDK 11 CI #97: Pull request #104 synchronize by AbdullinAM
January 17, 2024 13:58 21m 14s coverage-computation-rework
January 17, 2024 13:58 21m 14s
Coverage computation rework
JDK 8 CI #97: Pull request #104 synchronize by AbdullinAM
January 17, 2024 13:58 21m 47s coverage-computation-rework
January 17, 2024 13:58 21m 47s
Coverage computation rework
JDK 8 CI #96: Pull request #104 opened by AbdullinAM
January 17, 2024 13:53 21m 38s coverage-computation-rework
January 17, 2024 13:53 21m 38s
Coverage computation rework
JDK 11 CI #96: Pull request #104 opened by AbdullinAM
January 17, 2024 13:53 20m 18s coverage-computation-rework
January 17, 2024 13:53 20m 18s
refactoring
JDK 11 CI #95: Commit 53863aa pushed by AbdullinAM
January 17, 2024 13:52 18s master
January 17, 2024 13:52 18s
refactoring
JDK 8 CI #95: Commit 53863aa pushed by AbdullinAM
January 17, 2024 13:52 22s master
January 17, 2024 13:52 22s
Update issue templates
JDK 11 CI #94: Commit d279802 pushed by AbdullinAM
January 15, 2024 14:36 21m 33s master
January 15, 2024 14:36 21m 33s
Update issue templates
JDK 8 CI #94: Commit d279802 pushed by AbdullinAM
January 15, 2024 14:36 19m 31s master
January 15, 2024 14:36 19m 31s
0.0.1
Java CD #1: Release 0.0.1 published by AbdullinAM
January 15, 2024 11:39 5m 29s
January 15, 2024 11:39 5m 29s
small optimizations + add filter to remove number of candidate states
JDK 8 CI #93: Commit df85716 pushed by AbdullinAM
January 11, 2024 16:50 19m 0s master
January 11, 2024 16:50 19m 0s
small optimizations + add filter to remove number of candidate states
JDK 11 CI #93: Commit df85716 pushed by AbdullinAM
January 11, 2024 16:50 21m 43s master
January 11, 2024 16:50 21m 43s
trying to reduce test time budget for symbolic mode
JDK 11 CI #92: Commit 9045459 pushed by AbdullinAM
January 9, 2024 14:47 19m 3s master
January 9, 2024 14:47 19m 3s
trying to reduce test time budget for symbolic mode
JDK 8 CI #92: Commit 9045459 pushed by AbdullinAM
January 9, 2024 14:47 21m 54s master
January 9, 2024 14:47 21m 54s
refactoring after merge
JDK 11 CI #91: Commit 8b1ea08 pushed by AbdullinAM
January 9, 2024 11:09 23m 51s master
January 9, 2024 11:09 23m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.