Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
846 workflow runs
846 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[PSym] Enable symbolic state caching by default CI on Ubuntu #1654: Commit 042115a pushed by aman-goel
July 31, 2023 21:08 11m 43s dev/aman
dev/aman
July 31, 2023 21:08 11m 43s
[PSym] New fixpoint tracking CI on Ubuntu #1653: Commit f5154d0 pushed by aman-goel
July 31, 2023 20:41 11m 35s dev/aman
dev/aman
July 31, 2023 20:41 11m 35s
[PSym] correct null in tuple value summary merging CI on Ubuntu #1652: Commit 58ccd5c pushed by aman-goel
July 31, 2023 18:39 11m 10s dev/aman
dev/aman
July 31, 2023 18:39 11m 10s
[PCover] make map type hashing order independent CI on Ubuntu #1651: Commit 6239f38 pushed by aman-goel
July 31, 2023 18:23 9m 53s dev/aman
dev/aman
July 31, 2023 18:23 9m 53s
[PCover] Adds first version of symmetry tracking with machine-depende… CI on Ubuntu #1650: Commit e6bd39d pushed by aman-goel
July 28, 2023 23:45 14m 13s dev/aman
dev/aman
July 28, 2023 23:45 14m 13s
[PSym] correct map get CI on Ubuntu #1649: Commit a6ccfa5 pushed by aman-goel
July 28, 2023 21:01 12m 2s dev/aman
dev/aman
July 28, 2023 21:01 12m 2s
Stately Code Generator (#632) CI on Ubuntu #1648: Commit 27ae228 pushed by ankushdesai
July 28, 2023 16:56 10m 50s master
master
July 28, 2023 16:56 10m 50s
[PSym] minor CI on Ubuntu #1647: Commit 50027d0 pushed by aman-goel
July 28, 2023 01:56 10m 11s dev/aman
dev/aman
July 28, 2023 01:56 10m 11s
[PSym] resolve rare failure due to nested any types with null values … CI on Ubuntu #1646: Commit 2621139 pushed by aman-goel
July 28, 2023 01:35 14m 22s dev/aman
dev/aman
July 28, 2023 01:35 14m 22s
[PSym] adds additional assertions CI on Ubuntu #1645: Commit c6fdfbb pushed by aman-goel
July 27, 2023 15:33 9m 51s dev/aman
dev/aman
July 27, 2023 15:33 9m 51s
[PSym] exclude an unsupported unit test CI on Ubuntu #1644: Commit 14d92b1 pushed by aman-goel
July 27, 2023 00:23 11m 28s dev/aman
dev/aman
July 27, 2023 00:23 11m 28s
Stately Code Generator CI on Ubuntu #1643: Pull request #632 synchronize by suesther
July 26, 2023 22:00 10m 10s suesther:master
suesther:master
July 26, 2023 22:00 10m 10s
[PSym] codegen: correct null value guards CI on Ubuntu #1642: Commit e05acb0 pushed by aman-goel
July 26, 2023 21:32 10m 20s dev/aman
dev/aman
July 26, 2023 21:32 10m 20s
[PSym] codegen: minor CI on Ubuntu #1641: Commit 1b1048d pushed by aman-goel
July 26, 2023 21:30 10m 5s dev/aman
dev/aman
July 26, 2023 21:30 10m 5s
[PSym] Correct symbolic comparison in rare case CI on Ubuntu #1640: Commit fc116aa pushed by aman-goel
July 26, 2023 18:48 9m 59s dev/aman
dev/aman
July 26, 2023 18:48 9m 59s
Stately Code Generator CI on Ubuntu #1639: Pull request #632 synchronize by aman-goel
July 26, 2023 02:00 10m 15s suesther:master
suesther:master
July 26, 2023 02:00 10m 15s
[PSym] Updates (#631) CI on Ubuntu #1638: Commit c63f75d pushed by aman-goel
July 26, 2023 02:00 9m 45s master
master
July 26, 2023 02:00 9m 45s
Stately Code Generator CI on Ubuntu #1637: Pull request #632 synchronize by suesther
July 25, 2023 22:58 9m 19s suesther:master
suesther:master
July 25, 2023 22:58 9m 19s
Stately Code Generator CI on Ubuntu #1636: Pull request #632 synchronize by suesther
July 25, 2023 18:21 9m 33s suesther:master
suesther:master
July 25, 2023 18:21 9m 33s
Stately Code Generator CI on Ubuntu #1635: Pull request #632 synchronize by aman-goel
July 25, 2023 17:24 9m 28s suesther:master
suesther:master
July 25, 2023 17:24 9m 28s
Stately Code Generator CI on Ubuntu #1634: Pull request #632 opened by suesther
July 25, 2023 17:14 11m 56s suesther:master
suesther:master
July 25, 2023 17:14 11m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-07-25 or the other filters available.