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

refactoring after merge JDK 8 CI #91: Commit 8b1ea08 pushed by AbdullinAM
January 9, 2024 11:09 24m 49s master
master
January 9, 2024 11:09 24m 49s
Merge pull request #103 from vorpal-research/coverage-guided-selector JDK 11 CI #90: Commit 9d55c3a pushed by AbdullinAM
January 9, 2024 09:15 24m 50s master
master
January 9, 2024 09:15 24m 50s
Merge pull request #103 from vorpal-research/coverage-guided-selector JDK 8 CI #90: Commit 9d55c3a pushed by AbdullinAM
January 9, 2024 09:15 25m 6s master
master
January 9, 2024 09:15 25m 6s
Coverage guided selector JDK 11 CI #89: Pull request #103 synchronize by AbdullinAM
January 9, 2024 08:29 27m 58s coverage-guided-selector
coverage-guided-selector
January 9, 2024 08:29 27m 58s
Coverage guided selector JDK 8 CI #89: Pull request #103 synchronize by AbdullinAM
January 9, 2024 08:29 26m 22s coverage-guided-selector
coverage-guided-selector
January 9, 2024 08:29 26m 22s
Update kex.ini JDK 11 CI #88: Commit 06f954c pushed by AbdullinAM
January 5, 2024 16:26 34m 16s master
master
January 5, 2024 16:26 34m 16s
Update kex.ini JDK 8 CI #88: Commit 06f954c pushed by AbdullinAM
January 5, 2024 16:26 30m 37s master
master
January 5, 2024 16:26 30m 37s
Merge pull request #98 from Mike-Wazovsky/test-suite-minimization JDK 11 CI #87: Commit 1e16733 pushed by AbdullinAM
January 5, 2024 16:25 1m 33s master
master
January 5, 2024 16:25 1m 33s
Merge pull request #98 from Mike-Wazovsky/test-suite-minimization JDK 8 CI #87: Commit 1e16733 pushed by AbdullinAM
January 5, 2024 16:25 1m 40s master
master
January 5, 2024 16:25 1m 40s
m JDK 8 CI #86: Commit 7a7619f pushed by AbdullinAM
January 4, 2024 18:20 32m 46s master
master
January 4, 2024 18:20 32m 46s
m JDK 11 CI #86: Commit 7a7619f pushed by AbdullinAM
January 4, 2024 18:20 32m 35s master
master
January 4, 2024 18:20 32m 35s
Test suite minimization JDK 8 CI #85: Pull request #98 synchronize by Mike-Wazovsky
January 2, 2024 16:03 33m 17s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
January 2, 2024 16:03 33m 17s
Test suite minimization JDK 11 CI #85: Pull request #98 synchronize by Mike-Wazovsky
January 2, 2024 16:03 29m 59s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
January 2, 2024 16:03 29m 59s
better test include filter in KfgClassLoader JDK 11 CI #84: Commit 9e86d80 pushed by AbdullinAM
December 20, 2023 12:12 30m 38s master
master
December 20, 2023 12:12 30m 38s
better test include filter in KfgClassLoader JDK 8 CI #84: Commit 9e86d80 pushed by AbdullinAM
December 20, 2023 12:12 31m 57s master
master
December 20, 2023 12:12 31m 57s
Merge pull request #102 from niyaznigmatullin/array_domain_assign_null JDK 8 CI #83: Commit e793392 pushed by AbdullinAM
December 11, 2023 10:36 29m 14s master
master
December 11, 2023 10:36 29m 14s
Merge pull request #102 from niyaznigmatullin/array_domain_assign_null JDK 11 CI #83: Commit e793392 pushed by AbdullinAM
December 11, 2023 10:36 31m 58s master
master
December 11, 2023 10:36 31m 58s
Fix ArrayDomain.assign(NullityDomain) JDK 8 CI #82: Pull request #102 opened by niyaznigmatullin
December 8, 2023 14:31 32m 1s niyaznigmatullin:array_domain_assign_null
niyaznigmatullin:array_domain_assign_null
December 8, 2023 14:31 32m 1s
Fix ArrayDomain.assign(NullityDomain) JDK 11 CI #82: Pull request #102 opened by niyaznigmatullin
December 8, 2023 14:31 29m 16s niyaznigmatullin:array_domain_assign_null
niyaznigmatullin:array_domain_assign_null
December 8, 2023 14:31 29m 16s
Merge pull request #101 from niyaznigmatullin/store_printing JDK 8 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 27m 31s master
master
December 7, 2023 16:40 27m 31s
Merge pull request #101 from niyaznigmatullin/store_printing JDK 11 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 31m 45s master
master
December 7, 2023 16:40 31m 45s
Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 8 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 34m 3s master
master
December 7, 2023 16:38 34m 3s
Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 11 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 31m 55s master
master
December 7, 2023 16:38 31m 55s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 8 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 35m 38s master
master
December 7, 2023 16:37 35m 38s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 11 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 30m 28s master
master
December 7, 2023 16:37 30m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.