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

Refactor. CI on Ubuntu #2462: Commit b4837da pushed by aoli-al
October 17, 2024 14:02 6m 49s experimental/feedback
experimental/feedback
October 17, 2024 14:02 6m 49s
Add feedback-guided scheduling algorithms CI on Ubuntu #2461: Pull request #791 synchronize by ankushdesai
October 17, 2024 05:35 6m 41s experimental/feedback
experimental/feedback
October 17, 2024 05:35 6m 41s
Merge branch 'master' into experimental/feedback CI on Ubuntu #2460: Commit 6a4110c pushed by ankushdesai
October 17, 2024 05:35 6m 45s experimental/feedback
experimental/feedback
October 17, 2024 05:35 6m 45s
Fixed a bug in handling of null values in the type checker (#797) CI on Ubuntu #2459: Commit 8f08205 pushed by ankushdesai
October 16, 2024 21:22 6m 42s master
master
October 16, 2024 21:22 6m 42s
Fixed a bug in handling of null values in the type checker CI on Ubuntu #2458: Pull request #797 synchronize by ChristineZh0u
October 16, 2024 18:13 6m 57s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 18:13 6m 57s
Updating tutorial import names CI on Ubuntu #2457: Commit 7144ddf pushed by ChristineZh0u
October 16, 2024 18:13 6m 55s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 18:13 6m 55s
Fixed a bug in handling of null values in the type checker CI on Ubuntu #2456: Pull request #797 synchronize by ChristineZh0u
October 16, 2024 18:01 6m 47s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 18:01 6m 47s
Updating tutorial import names CI on Ubuntu #2455: Commit f829384 pushed by ChristineZh0u
October 16, 2024 18:01 6m 42s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 18:01 6m 42s
Fixed a bug in handling of null values in the type checker CI on Ubuntu #2454: Pull request #797 synchronize by ankushdesai
October 16, 2024 17:43 6m 46s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 17:43 6m 46s
removed the foreign function from two phase commit tutorial example CI on Ubuntu #2453: Commit 906d04d pushed by ankushdesai
October 16, 2024 17:43 6m 48s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 17:43 6m 48s
Fixed a bug in handling of null values in the type checker CI on Ubuntu #2452: Pull request #797 opened by ankushdesai
October 16, 2024 16:40 6m 48s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 16:40 6m 48s
Fixed a bug in handling of null values in the type checker CI on Ubuntu #2451: Commit 6873477 pushed by ankushdesai
October 16, 2024 16:39 6m 51s bugfix/nullValueComparison
bugfix/nullValueComparison
October 16, 2024 16:39 6m 51s
updated publish docs (#796) CI on Ubuntu #2450: Commit 63e2e31 pushed by ankushdesai
October 15, 2024 16:28 7m 9s p-2.3.0
p-2.3.0
October 15, 2024 16:28 7m 9s
Add feedback-guided scheduling algorithms CI on Ubuntu #2449: Pull request #791 synchronize by ankushdesai
October 14, 2024 18:16 7m 7s experimental/feedback
experimental/feedback
October 14, 2024 18:16 7m 7s
Merge branch 'master' into experimental/feedback CI on Ubuntu #2448: Commit 0a371a8 pushed by ankushdesai
October 14, 2024 18:16 7m 19s experimental/feedback
experimental/feedback
October 14, 2024 18:16 7m 19s
updated publish docs (#796) CI on Ubuntu #2447: Commit 63e2e31 pushed by ankushdesai
October 14, 2024 18:15 7m 18s master
master
October 14, 2024 18:15 7m 18s
Add feedback-guided scheduling algorithms CI on Ubuntu #2446: Pull request #791 synchronize by aoli-al
October 12, 2024 06:46 6m 48s experimental/feedback
experimental/feedback
October 12, 2024 06:46 6m 48s
Rename LastSentReceiver to MessageReceiver CI on Ubuntu #2445: Commit 907dcd1 pushed by aoli-al
October 12, 2024 06:46 7m 4s experimental/feedback
experimental/feedback
October 12, 2024 06:46 7m 4s
[Feature] prove * using * command for incremental proof constructio… CI on Ubuntu #2444: Commit dd47b1e pushed by ankushdesai
October 11, 2024 20:08 7m 24s experimental/pverifier
experimental/pverifier
October 11, 2024 20:08 7m 24s
updated publish docs CI on Ubuntu #2443: Pull request #796 opened by aishu-j
October 11, 2024 18:35 7m 12s fix/publishdocs
fix/publishdocs
October 11, 2024 18:35 7m 12s
modify mkdocs package installation CI on Ubuntu #2442: Commit 6d23c2c pushed by aishu-j
October 11, 2024 18:34 7m 11s fix/publishdocs
fix/publishdocs
October 11, 2024 18:34 7m 11s
[Feature] prove * using * command for incremental proof construction CI on Ubuntu #2441: Pull request #783 synchronize by AD1024
October 11, 2024 18:24 7m 27s AD1024:pverifier
AD1024:pverifier
October 11, 2024 18:24 7m 27s
updated publishdocs.yml -mkdocs CI on Ubuntu #2440: Commit 1c587f3 pushed by aishu-j
October 11, 2024 18:13 7m 6s fix/publishdocs
fix/publishdocs
October 11, 2024 18:13 7m 6s
Update publishdocs - install mkdocs (#795) CI on Ubuntu #2439: Commit d5bae52 pushed by ankushdesai
October 11, 2024 16:01 7m 19s master
master
October 11, 2024 16:01 7m 19s
Update publishdocs - install mkdocs CI on Ubuntu #2438: Pull request #795 opened by aishu-j
October 11, 2024 04:06 7m 5s fix/publishdocs
fix/publishdocs
October 11, 2024 04:06 7m 5s