Skip to content

Actions: p-org/P

PCover on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
35 workflow run results
35 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bring Feedback Strategy to P Checker (#666)
PCover on Ubuntu #212: Commit e3d49f5 pushed by ankushdesai
October 13, 2023 23:00 30m 58s feedbackstrategy-beta
October 13, 2023 23:00 30m 58s
Bring Feedback Strategy to P Checker
PCover on Ubuntu #211: Pull request #666 opened by ankushdesai
October 13, 2023 22:08 33m 8s aoli-al:master
October 13, 2023 22:08 33m 8s
[PCover] Update symmetry search, add concrete values (#665)
PCover on Ubuntu #210: Commit be54c1f pushed by ankushdesai
October 13, 2023 22:06 31m 6s master
October 13, 2023 22:06 31m 6s
[C#] Correct error in coverage reporting (#662)
PCover on Ubuntu #209: Commit f0b286f pushed by ankushdesai
October 13, 2023 22:04 37m 54s feedbackstrategy-beta
October 13, 2023 22:04 37m 54s
[PCover] Update symmetry search, add concrete values
PCover on Ubuntu #208: Pull request #665 synchronize by aman-goel
October 12, 2023 17:20 32m 16s dev/psym
October 12, 2023 17:20 32m 16s
[PSym] Correct result reporting
PCover on Ubuntu #207: Commit b822b12 pushed by aman-goel
October 12, 2023 17:20 37m 32s dev/psym
October 12, 2023 17:20 37m 32s
[PCover] Update symmetry search, add concrete values
PCover on Ubuntu #206: Pull request #665 opened by aman-goel
October 11, 2023 23:04 32m 38s dev/psym
October 11, 2023 23:04 32m 38s
[PSym] Bump version
PCover on Ubuntu #205: Commit 067fb56 pushed by aman-goel
October 11, 2023 21:54 36m 28s dev/psym
October 11, 2023 21:54 36m 28s
[PCover] Rename executions to schedules
PCover on Ubuntu #204: Commit 3237df4 pushed by aman-goel
October 11, 2023 21:24 35m 38s dev/psym
October 11, 2023 21:24 35m 38s
[PCover] Update symmetry tagging interface
PCover on Ubuntu #203: Commit 9a23298 pushed by aman-goel
October 11, 2023 21:08 32m 31s dev/psym
October 11, 2023 21:08 32m 31s
[PSym] Minor
PCover on Ubuntu #202: Commit 49f65d1 pushed by aman-goel
October 7, 2023 00:48 30m 53s dev/psym
October 7, 2023 00:48 30m 53s
[PCover] Minor correction
PCover on Ubuntu #201: Commit 95ee194 pushed by aman-goel
October 7, 2023 00:41 38m 49s dev/psym
October 7, 2023 00:41 38m 49s
[PSym] Minor correction
PCover on Ubuntu #200: Commit 7f27a8c pushed by aman-goel
October 6, 2023 00:45 46m 51s dev/psym
October 6, 2023 00:45 46m 51s
[PSym] Refactor
PCover on Ubuntu #199: Commit 08ce723 pushed by aman-goel
October 6, 2023 00:34 39m 47s dev/psym
October 6, 2023 00:34 39m 47s
[PCover] Refactor and cleanup
PCover on Ubuntu #198: Commit 21a52f0 pushed by aman-goel
October 6, 2023 00:33 31m 5s dev/psym
October 6, 2023 00:33 31m 5s
Merge branch 'master' into dev/psym
PCover on Ubuntu #197: Commit 224e39d pushed by aman-goel
October 6, 2023 00:30 36m 25s dev/psym
October 6, 2023 00:30 36m 25s
[PCover] Many changes: update symmetry, adds concrete values, update …
PCover on Ubuntu #196: Commit a56fdaf pushed by aman-goel
October 6, 2023 00:29 30m 54s dev/psym
October 6, 2023 00:29 30m 54s
Merging from master: resolving conflicts
PCover on Ubuntu #195: Commit 46138f5 pushed by aman-goel
October 5, 2023 22:37 32m 23s dev/psym
October 5, 2023 22:37 32m 23s
[C#] Correct error in coverage reporting (#662)
PCover on Ubuntu #194: Commit f0b286f pushed by ankushdesai
October 5, 2023 01:01 41m 5s p-2.0.23
October 5, 2023 01:01 41m 5s
[C#] Correct error in coverage reporting (#662)
PCover on Ubuntu #193: Commit f0b286f pushed by ankushdesai
October 4, 2023 23:55 30m 56s master
October 4, 2023 23:55 30m 56s
[C#] Correct error in coverage reporting
PCover on Ubuntu #192: Pull request #662 synchronize by aman-goel
October 4, 2023 23:40 36m 11s dev/aman
October 4, 2023 23:40 36m 11s
[C#] Minor
PCover on Ubuntu #191: Commit d752c52 pushed by aman-goel
October 4, 2023 23:40 32m 29s dev/aman
October 4, 2023 23:40 32m 29s
[C#] Sanitize names in coverage report
PCover on Ubuntu #189: Commit aef7289 pushed by aman-goel
October 4, 2023 23:08 41m 56s dev/aman
October 4, 2023 23:08 41m 56s
[C#] Correct error in coverage reporting
PCover on Ubuntu #190: Pull request #662 synchronize by aman-goel
October 4, 2023 23:08 30m 54s dev/aman
October 4, 2023 23:08 30m 54s
[C#] Correct error in coverage reporting
PCover on Ubuntu #188: Pull request #662 opened by aman-goel
October 4, 2023 22:17 30m 44s dev/aman
October 4, 2023 22:17 30m 44s