Skip to content

Actions: p-org/P

PExplicit on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dev/ashish (#753)
PExplicit on Ubuntu #134: Commit 419f335 pushed by aman-goel
August 27, 2024 17:48 2h 17m 12s dev/pex_parallel_ashish
August 27, 2024 17:48 2h 17m 12s
[PEx] Update timelines, corrects CI
PExplicit on Ubuntu #133: Commit 5d5954c pushed by aman-goel
August 12, 2024 20:44 25m 33s dev/pexplicit_checker
August 12, 2024 20:44 25m 33s
[PEx] Update timelines, corrects CI
PExplicit on Ubuntu #132: Commit 5d5954c pushed by aman-goel
August 12, 2024 20:06 26m 38s dev/aman
August 12, 2024 20:06 26m 38s
[PEx] Correct timelines tracking and RL-based choice selection
PExplicit on Ubuntu #131: Commit 83a90b2 pushed by aman-goel
August 8, 2024 20:37 28m 25s dev/aman
August 8, 2024 20:37 28m 25s
[PEx] Add first version of RL-based choice selection
PExplicit on Ubuntu #130: Commit 0174966 pushed by aman-goel
August 7, 2024 00:10 27m 34s dev/aman
August 7, 2024 00:10 27m 34s
[PEx] Minor correction
PExplicit on Ubuntu #129: Commit ad40c1c pushed by aman-goel
August 6, 2024 18:57 27m 56s dev/aman
August 6, 2024 18:57 27m 56s
Dev/ashish (#753)
PExplicit on Ubuntu #128: Commit 419f335 pushed by aman-goel
August 5, 2024 22:30 2h 18m 24s dev/pex_parallel
August 5, 2024 22:30 2h 18m 24s
Dev/ashish
PExplicit on Ubuntu #127: Pull request #753 synchronize by xashisk
August 1, 2024 22:01 2h 16m 35s xashisk:dev/ashish
August 1, 2024 22:01 2h 16m 35s
Dev/ashish
PExplicit on Ubuntu #126: Pull request #753 synchronize by xashisk
July 29, 2024 21:58 2h 15m 14s xashisk:dev/ashish
July 29, 2024 21:58 2h 15m 14s
Dev/ashish
PExplicit on Ubuntu #125: Pull request #753 synchronize by xashisk
July 26, 2024 18:22 30m 46s xashisk:dev/ashish
July 26, 2024 18:22 30m 46s
Dev/ashish
PExplicit on Ubuntu #124: Pull request #753 synchronize by xashisk
July 25, 2024 21:04 2h 15m 28s xashisk:dev/ashish
July 25, 2024 21:04 2h 15m 28s
[PEx] Improve cleanup of disk tasks on exit
PExplicit on Ubuntu #123: Commit 261d289 pushed by aman-goel
July 25, 2024 18:50 27m 38s dev/pexplicit_checker
July 25, 2024 18:50 27m 38s
Dev/ashish
PExplicit on Ubuntu #122: Pull request #753 synchronize by xashisk
July 24, 2024 20:35 29m 40s xashisk:dev/ashish
July 24, 2024 20:35 29m 40s
Dev/ashish
PExplicit on Ubuntu #121: Pull request #753 synchronize by xashisk
July 23, 2024 18:15 30m 15s xashisk:dev/ashish
July 23, 2024 18:15 30m 15s
Dev/ashish
PExplicit on Ubuntu #120: Pull request #753 opened by xashisk
July 23, 2024 17:36 29m 47s xashisk:dev/ashish
July 23, 2024 17:36 29m 47s
[PEx] Several upgrades post preliminary experimentation
PExplicit on Ubuntu #119: Pull request #752 synchronize by aman-goel
July 20, 2024 10:23 26m 47s dev/aman
July 20, 2024 10:23 26m 47s
[PEx] Improve cleanup of disk tasks on exit
PExplicit on Ubuntu #118: Commit 1fa073e pushed by aman-goel
July 20, 2024 10:23 26m 49s dev/aman
July 20, 2024 10:23 26m 49s
[PEx] Several upgrades post preliminary experimentation
PExplicit on Ubuntu #117: Pull request #752 synchronize by aman-goel
July 19, 2024 22:48 27m 4s dev/aman
July 19, 2024 22:48 27m 4s
[PEx] Minor cleanup
PExplicit on Ubuntu #116: Commit 1167ab0 pushed by aman-goel
July 19, 2024 22:48 27m 4s dev/aman
July 19, 2024 22:48 27m 4s
[PEx] Several upgrades post preliminary experimentation
PExplicit on Ubuntu #115: Pull request #752 opened by aman-goel
July 19, 2024 22:47 26m 43s dev/aman
July 19, 2024 22:47 26m 43s
[PEx] Fix serialization issues found by P regression tests
PExplicit on Ubuntu #114: Commit 8557942 pushed by aman-goel
July 19, 2024 22:19 27m 26s dev/aman
July 19, 2024 22:19 27m 26s
[PEx] Minor
PExplicit on Ubuntu #113: Commit 4740e2c pushed by aman-goel
July 19, 2024 21:39 28m 12s dev/aman
July 19, 2024 21:39 28m 12s
[PEx] Adds option --replay <.schedule file> to replay a buggy trace
PExplicit on Ubuntu #112: Commit 9d02686 pushed by aman-goel
July 19, 2024 21:37 27m 24s dev/aman
July 19, 2024 21:37 27m 24s
[PEx] Adds writing buggy trace in file
PExplicit on Ubuntu #111: Commit dbe1887 pushed by aman-goel
July 19, 2024 20:28 27m 43s dev/aman
July 19, 2024 20:28 27m 43s
[PEx] Minor: create .schedule only if bug is found
PExplicit on Ubuntu #110: Commit 78b7dff pushed by aman-goel
July 19, 2024 20:14 26m 54s dev/aman
July 19, 2024 20:14 26m 54s