Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
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) CI on Ubuntu #1799: Commit e3d49f5 pushed by ankushdesai
October 13, 2023 23:00 10m 33s feedbackstrategy-beta
feedbackstrategy-beta
October 13, 2023 23:00 10m 33s
Bring Feedback Strategy to P Checker CI on Ubuntu #1798: Pull request #666 opened by ankushdesai
October 13, 2023 22:08 11m 50s aoli-al:master
aoli-al:master
October 13, 2023 22:08 11m 50s
[PCover] Update symmetry search, add concrete values (#665) CI on Ubuntu #1797: Commit be54c1f pushed by ankushdesai
October 13, 2023 22:06 10m 4s master
master
October 13, 2023 22:06 10m 4s
[C#] Correct error in coverage reporting (#662) CI on Ubuntu #1796: Commit f0b286f pushed by ankushdesai
October 13, 2023 22:04 12m 7s feedbackstrategy-beta
feedbackstrategy-beta
October 13, 2023 22:04 12m 7s
[PCover] Update symmetry search, add concrete values CI on Ubuntu #1795: Pull request #665 synchronize by aman-goel
October 12, 2023 17:20 10m 26s dev/psym
dev/psym
October 12, 2023 17:20 10m 26s
[PSym] Correct result reporting CI on Ubuntu #1794: Commit b822b12 pushed by aman-goel
October 12, 2023 17:20 14m 21s dev/psym
dev/psym
October 12, 2023 17:20 14m 21s
[PCover] Update symmetry search, add concrete values CI on Ubuntu #1793: Pull request #665 opened by aman-goel
October 11, 2023 23:04 10m 13s dev/psym
dev/psym
October 11, 2023 23:04 10m 13s
[PSym] Bump version CI on Ubuntu #1792: Commit 067fb56 pushed by aman-goel
October 11, 2023 21:54 11m 56s dev/psym
dev/psym
October 11, 2023 21:54 11m 56s
[PCover] Rename executions to schedules CI on Ubuntu #1791: Commit 3237df4 pushed by aman-goel
October 11, 2023 21:24 11m 36s dev/psym
dev/psym
October 11, 2023 21:24 11m 36s
[PCover] Update symmetry tagging interface CI on Ubuntu #1790: Commit 9a23298 pushed by aman-goel
October 11, 2023 21:08 11m 48s dev/psym
dev/psym
October 11, 2023 21:08 11m 48s
[PSym] Minor CI on Ubuntu #1789: Commit 49f65d1 pushed by aman-goel
October 7, 2023 00:48 10m 5s dev/psym
dev/psym
October 7, 2023 00:48 10m 5s
[PCover] Minor correction CI on Ubuntu #1788: Commit 95ee194 pushed by aman-goel
October 7, 2023 00:41 10m 11s dev/psym
dev/psym
October 7, 2023 00:41 10m 11s
[PSym] Minor correction CI on Ubuntu #1787: Commit 7f27a8c pushed by aman-goel
October 6, 2023 00:45 28m 46s dev/psym
dev/psym
October 6, 2023 00:45 28m 46s
[PSym] Refactor CI on Ubuntu #1786: Commit 08ce723 pushed by aman-goel
October 6, 2023 00:34 15m 30s dev/psym
dev/psym
October 6, 2023 00:34 15m 30s
[PCover] Refactor and cleanup CI on Ubuntu #1785: Commit 21a52f0 pushed by aman-goel
October 6, 2023 00:33 14m 10s dev/psym
dev/psym
October 6, 2023 00:33 14m 10s
Merge branch 'master' into dev/psym CI on Ubuntu #1784: Commit 224e39d pushed by aman-goel
October 6, 2023 00:30 12m 11s dev/psym
dev/psym
October 6, 2023 00:30 12m 11s
[PCover] Many changes: update symmetry, adds concrete values, update … CI on Ubuntu #1783: Commit a56fdaf pushed by aman-goel
October 6, 2023 00:29 14m 20s dev/psym
dev/psym
October 6, 2023 00:29 14m 20s
Merging from master: resolving conflicts CI on Ubuntu #1782: Commit 46138f5 pushed by aman-goel
October 5, 2023 22:37 10m 10s dev/psym
dev/psym
October 5, 2023 22:37 10m 10s
[C#] Correct error in coverage reporting (#662) CI on Ubuntu #1781: Commit f0b286f pushed by ankushdesai
October 5, 2023 01:01 10m 0s p-2.0.23
p-2.0.23
October 5, 2023 01:01 10m 0s
[C#] Correct error in coverage reporting (#662) CI on Ubuntu #1780: Commit f0b286f pushed by ankushdesai
October 4, 2023 23:55 10m 30s master
master
October 4, 2023 23:55 10m 30s
[C#] Correct error in coverage reporting CI on Ubuntu #1779: Pull request #662 synchronize by aman-goel
October 4, 2023 23:40 10m 4s dev/aman
dev/aman
October 4, 2023 23:40 10m 4s
[C#] Minor CI on Ubuntu #1778: Commit d752c52 pushed by aman-goel
October 4, 2023 23:40 9m 58s dev/aman
dev/aman
October 4, 2023 23:40 9m 58s
[C#] Sanitize names in coverage report CI on Ubuntu #1776: Commit aef7289 pushed by aman-goel
October 4, 2023 23:08 10m 4s dev/aman
dev/aman
October 4, 2023 23:08 10m 4s
[C#] Correct error in coverage reporting CI on Ubuntu #1777: Pull request #662 synchronize by aman-goel
October 4, 2023 23:08 10m 13s dev/aman
dev/aman
October 4, 2023 23:08 10m 13s
[C#] Correct error in coverage reporting CI on Ubuntu #1775: Pull request #662 opened by aman-goel
October 4, 2023 22:17 11m 25s dev/aman
dev/aman
October 4, 2023 22:17 11m 25s