Skip to content

Actions: p-org/P

Actions

PEx on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[PEx] Minor updates and cleanup (#775) PEx on Ubuntu #37: Commit ad66ede pushed by ankushdesai
September 25, 2024 16:31 25m 2s dev/pexplicit_checker
dev/pexplicit_checker
September 25, 2024 16:31 25m 2s
[PEx] Minor updates and cleanup PEx on Ubuntu #36: Pull request #775 opened by aman-goel
September 13, 2024 18:35 26m 4s dev/aman
dev/aman
September 13, 2024 18:35 26m 4s
[PEx] Update cli default PEx on Ubuntu #35: Commit 1e8aec7 pushed by aman-goel
September 9, 2024 23:44 26m 8s dev/aman
dev/aman
September 9, 2024 23:44 26m 8s
[PEx] Refactoring and formatting changes PEx on Ubuntu #34: Commit e55fe1d pushed by aman-goel
September 9, 2024 23:35 26m 16s dev/aman
dev/aman
September 9, 2024 23:35 26m 16s
[PEx] Several updates to logging, PEx config PEx on Ubuntu #33: Commit 2aa8b5f pushed by aman-goel
September 9, 2024 23:13 26m 8s dev/aman
dev/aman
September 9, 2024 23:13 26m 8s
[Tutorial] Update hints for PEx PEx on Ubuntu #32: Commit 5c8abf0 pushed by aman-goel
September 9, 2024 17:47 26m 13s dev/pexplicit_checker
dev/pexplicit_checker
September 9, 2024 17:47 26m 13s
[PEx] Adds limiting data choices and sharing feedback to user PEx on Ubuntu #31: Pull request #771 opened by aman-goel
September 6, 2024 20:57 25m 52s dev/aman
dev/aman
September 6, 2024 20:57 25m 52s
[Tutorial] Update hints for PEx PEx on Ubuntu #30: Commit 07a070c pushed by aman-goel
September 5, 2024 21:31 26m 22s dev/aman
dev/aman
September 5, 2024 21:31 26m 22s
[PEx] Correct return codes, [Tst] Limit choose choices PEx on Ubuntu #29: Commit 9cfb8ef pushed by aman-goel
September 5, 2024 20:57 26m 6s dev/aman
dev/aman
September 5, 2024 20:57 26m 6s
[PEx] Changes return codes PEx on Ubuntu #28: Commit 4c15796 pushed by aman-goel
September 5, 2024 20:14 26m 23s dev/aman
dev/aman
September 5, 2024 20:14 26m 23s
[PEx] Minor logging changes PEx on Ubuntu #27: Commit 7a0a39c pushed by aman-goel
September 5, 2024 20:05 26m 17s dev/aman
dev/aman
September 5, 2024 20:05 26m 17s
[PEx] minor logging changes, [Tst] Change choose(100) to choose(10) PEx on Ubuntu #26: Commit 73fcf76 pushed by aman-goel
September 5, 2024 20:00 25m 39s dev/aman
dev/aman
September 5, 2024 20:00 25m 39s
[PEx] code cleanup and refactoring PEx on Ubuntu #25: Commit c5ba444 pushed by aman-goel
September 5, 2024 19:38 25m 41s dev/aman
dev/aman
September 5, 2024 19:38 25m 41s
[PEx] bump version, change cli defaults PEx on Ubuntu #24: Commit e97c887 pushed by aman-goel
September 5, 2024 19:27 25m 52s dev/aman
dev/aman
September 5, 2024 19:27 25m 52s
[PEx] Adds tracking and limiting number of choices per choose(.) stat… PEx on Ubuntu #23: Commit 9a38e68 pushed by aman-goel
September 5, 2024 19:16 26m 13s dev/aman
dev/aman
September 5, 2024 19:16 26m 13s
[PEx] Implements multi-threaded PEx version (#768) PEx on Ubuntu #22: Commit ed1b209 pushed by ankushdesai
September 5, 2024 17:43 25m 58s dev/pexplicit_checker
dev/pexplicit_checker
September 5, 2024 17:43 25m 58s
[PEx] Implements multi-threaded PEx version PEx on Ubuntu #21: Pull request #768 synchronize by aman-goel
September 3, 2024 22:04 25m 42s dev/aman
dev/aman
September 3, 2024 22:04 25m 42s
[PEx] parallel: minor corrections PEx on Ubuntu #20: Commit e9e4c19 pushed by aman-goel
September 3, 2024 22:04 25m 30s dev/aman
dev/aman
September 3, 2024 22:04 25m 30s
[PEx] Implements multi-threaded PEx version PEx on Ubuntu #19: Pull request #768 opened by aman-goel
August 30, 2024 22:00 25m 52s dev/aman
dev/aman
August 30, 2024 22:00 25m 52s
[PEx] parallel: update GitHub CI to run with 3 threads PEx on Ubuntu #18: Commit b367d14 pushed by aman-goel
August 29, 2024 22:32 25m 46s dev/aman
dev/aman
August 29, 2024 22:32 25m 46s
[PEx] parallel: minor change PEx on Ubuntu #17: Commit 9a561c7 pushed by aman-goel
August 29, 2024 22:12 28m 37s dev/aman
dev/aman
August 29, 2024 22:12 28m 37s
[PEx] parallel: completes first version PEx on Ubuntu #16: Commit 75cd3cc pushed by aman-goel
August 29, 2024 21:55 30m 6s dev/aman
dev/aman
August 29, 2024 21:55 30m 6s
[PEx] parallel: make search statistics thread safe PEx on Ubuntu #15: Commit 3f9375f pushed by aman-goel
August 27, 2024 21:18 26m 3s dev/aman
dev/aman
August 27, 2024 21:18 26m 3s
[PEx] parallel: update IR so that main machine and monitors are creat… PEx on Ubuntu #14: Commit 85b494d pushed by aman-goel
August 27, 2024 20:32 25m 46s dev/aman
dev/aman
August 27, 2024 20:32 25m 46s
[PEx] parallel: fix IR, move scheduler specific fields from globals PEx on Ubuntu #13: Commit a34c703 pushed by aman-goel
August 27, 2024 20:07 25m 56s dev/aman
dev/aman
August 27, 2024 20:07 25m 56s