Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
273 workflow run results
273 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make PEvents and PTypes serializable in java (#726) CI on Ubuntu #2065: Commit 43a9803 pushed by ankushdesai
May 3, 2024 20:41 7m 34s master
master
May 3, 2024 20:41 7m 34s
Make PEvents and PTypes serializable in java CI on Ubuntu #2064: Pull request #726 opened by mchadalavada
May 3, 2024 18:04 9m 29s mchadalavada:master
mchadalavada:master
May 3, 2024 18:04 9m 29s
Limit number of choices in choose expression to at most 10000 (#725) CI on Ubuntu #2063: Commit 5f96108 pushed by mchadalavada
May 3, 2024 17:56 7m 27s 2.1
2.1
May 3, 2024 17:56 7m 27s
Limit number of choices in choose expression to at most 10000 (#725) CI on Ubuntu #2062: Commit 5f96108 pushed by ankushdesai
May 2, 2024 20:30 7m 48s master
master
May 2, 2024 20:30 7m 48s
Limit number of choices in choose expression to at most 10000 CI on Ubuntu #2061: Pull request #725 opened by aman-goel
May 2, 2024 20:01 7m 49s dev/choose
dev/choose
May 2, 2024 20:01 7m 49s
[PSym] Throw error if number of choices are greater than 10000 CI on Ubuntu #2060: Commit 4fa1b5d pushed by aman-goel
May 2, 2024 19:56 7m 49s dev/choose
dev/choose
May 2, 2024 19:56 7m 49s
Adds regression tests for choose exceeding 10000 choices CI on Ubuntu #2059: Commit 895d1f1 pushed by aman-goel
May 2, 2024 19:20 7m 54s dev/choose
dev/choose
May 2, 2024 19:20 7m 54s
Limit number of choices in a choose(.) to atmost 10,000 CI on Ubuntu #2058: Commit 9b7d2aa pushed by aman-goel
May 2, 2024 18:59 8m 5s dev/choose
dev/choose
May 2, 2024 18:59 8m 5s
[PExplicit IR] Minor correction CI on Ubuntu #2057: Commit fc1282f pushed by aman-goel
May 1, 2024 20:04 7m 33s dev/aman
dev/aman
May 1, 2024 20:04 7m 33s
[PExplicit] Refactoring and cleanup CI on Ubuntu #2056: Commit a71d77e pushed by aman-goel
April 30, 2024 21:19 7m 25s dev/pexplicit_checker
dev/pexplicit_checker
April 30, 2024 21:19 7m 25s
[PExplicit] Improve state caching, add non-chronological backtracking CI on Ubuntu #2055: Pull request #724 opened by aman-goel
April 26, 2024 19:58 7m 32s dev/aman
dev/aman
April 26, 2024 19:58 7m 32s
[PExplicit] Refactoring and cleanup CI on Ubuntu #2054: Commit a34e636 pushed by aman-goel
April 26, 2024 17:12 7m 37s dev/aman
dev/aman
April 26, 2024 17:12 7m 37s
[PExplicit] Minor refactoring CI on Ubuntu #2053: Commit 563f2fa pushed by aman-goel
April 26, 2024 17:10 7m 31s dev/aman
dev/aman
April 26, 2024 17:10 7m 31s
[Pexplicit] Minor CI on Ubuntu #2052: Commit 42077f8 pushed by aman-goel
April 26, 2024 16:37 7m 49s dev/aman
dev/aman
April 26, 2024 16:37 7m 49s
[Pexplicit] Minor CI on Ubuntu #2051: Commit 4b0867f pushed by aman-goel
April 26, 2024 16:28 7m 26s dev/aman
dev/aman
April 26, 2024 16:28 7m 26s
[PExplicit] Uniquify instanceId for PMachine as well as PMonitor CI on Ubuntu #2050: Commit 8785dde pushed by aman-goel
April 26, 2024 02:45 8m 2s dev/pexplicit_checker
dev/pexplicit_checker
April 26, 2024 02:45 8m 2s
[Pexplicit] Minor CI on Ubuntu #2049: Commit 4b0867f pushed by aman-goel
April 25, 2024 23:59 7m 37s dev/aman2
dev/aman2
April 25, 2024 23:59 7m 37s
[PExplicit] Add non-chronological search CI on Ubuntu #2048: Commit e21ae0f pushed by aman-goel
April 25, 2024 23:39 7m 36s dev/aman2
dev/aman2
April 25, 2024 23:39 7m 36s
PR cleanup (#723) CI on Ubuntu #2047: Commit 3f4781a pushed by ankushdesai
April 25, 2024 18:05 7m 42s experimental/feedback-strategy
experimental/feedback-strategy
April 25, 2024 18:05 7m 42s
PR cleanup CI on Ubuntu #2046: Pull request #723 synchronize by aoli-al
April 25, 2024 17:56 7m 47s aoli-al:master
aoli-al:master
April 25, 2024 17:56 7m 47s
PR cleanup CI on Ubuntu #2045: Pull request #723 opened by aoli-al
April 24, 2024 21:06 7m 39s aoli-al:master
aoli-al:master
April 24, 2024 21:06 7m 39s
[PExplicit] Improve state caching CI on Ubuntu #2044: Commit 242fc6e pushed by aman-goel
April 23, 2024 21:04 7m 51s dev/aman2
dev/aman2
April 23, 2024 21:04 7m 51s
[PExplicit] Support liveness/deadlock checking, state-caching, stateful backtracking CI on Ubuntu #2043: Pull request #722 opened by aman-goel
April 22, 2024 19:07 7m 35s dev/aman
dev/aman
April 22, 2024 19:07 7m 35s
[PExplicit] Sync with master branch CI on Ubuntu #2042: Pull request #721 opened by aman-goel
April 22, 2024 18:52 7m 41s master
master
April 22, 2024 18:52 7m 41s
[PExplicit] Uniquify instanceId for PMachine as well as PMonitor CI on Ubuntu #2041: Commit e290af6 pushed by aman-goel
April 22, 2024 17:43 7m 50s dev/aman
dev/aman
April 22, 2024 17:43 7m 50s