Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
784 workflow runs
784 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Ubuntu #2512: Commit 65042fe pushed by ankushdesai
December 3, 2024 20:45 7m 8s dev_p3.0/pverifier
dev_p3.0/pverifier
December 3, 2024 20:45 7m 8s
Made a distinction between messages and events CI on Ubuntu #2511: Commit 667cd13 pushed by ankushdesai
December 3, 2024 20:40 6m 55s deprecated/JavaRuntime
deprecated/JavaRuntime
December 3, 2024 20:40 6m 55s
Refactor locals CI on Ubuntu #2510: Commit e38ac0b pushed by ankushdesai
December 3, 2024 20:40 49s deprecated/psym/trace-containment
deprecated/psym/trace-containment
December 3, 2024 20:40 49s
Simplified apache paxos CI on Ubuntu #2509: Commit 53f5c21 pushed by ankushdesai
December 3, 2024 20:39 7m 13s deprecated/psym_fp
deprecated/psym_fp
December 3, 2024 20:39 7m 13s
Refactor locals CI on Ubuntu #2508: Commit e38ac0b pushed by ankushdesai
December 3, 2024 20:39 52s old_deprecated/psym/trace-containment
old_deprecated/psym/trace-containment
December 3, 2024 20:39 52s
Made a distinction between messages and events CI on Ubuntu #2507: Commit 667cd13 pushed by ankushdesai
December 3, 2024 20:38 6m 55s old_deprecated/JavaRuntime
old_deprecated/JavaRuntime
December 3, 2024 20:38 6m 55s
move install instructions to docs and update link in 2pc verification… CI on Ubuntu #2506: Commit 446859b pushed by ankushdesai
December 3, 2024 20:33 6m 53s dev/p3.0_pverifier
dev/p3.0_pverifier
December 3, 2024 20:33 6m 53s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Ubuntu #2505: Commit 65042fe pushed by ankushdesai
December 3, 2024 20:30 6m 57s major/P3.0
major/P3.0
December 3, 2024 20:30 6m 57s
Removed added timeline in summary.txt for pintcdk CI on Ubuntu #2504: Commit 1f0aa16 pushed by ChristineZh0u
December 2, 2024 19:39 6m 47s experimental/feedback_vector_clock
experimental/feedback_vector_clock
December 2, 2024 19:39 6m 47s
PVerifier Backend CI on Ubuntu #2503: Pull request #803 opened by FedericoAureliano
November 28, 2024 19:33 6m 43s experimental/pverifier
experimental/pverifier
November 28, 2024 19:33 6m 43s
move install instructions to docs and update link in 2pc verification… CI on Ubuntu #2502: Commit 446859b pushed by FedericoAureliano
November 28, 2024 19:21 6m 47s experimental/pverifier
experimental/pverifier
November 28, 2024 19:21 6m 47s
add error message when trying to use pverifier syntax for other backends CI on Ubuntu #2501: Commit c26fc9b pushed by FedericoAureliano
November 28, 2024 19:05 6m 48s experimental/pverifier
experimental/pverifier
November 28, 2024 19:05 6m 48s
init keyword -> init-condition keyword CI on Ubuntu #2500: Commit c12d6a7 pushed by FedericoAureliano
November 28, 2024 18:18 6m 47s experimental/pverifier
experimental/pverifier
November 28, 2024 18:18 6m 47s
pverifier backend and reorganize verification tutorials CI on Ubuntu #2499: Commit 80eed8b pushed by FedericoAureliano
November 28, 2024 01:52 6m 18s experimental/pverifier
experimental/pverifier
November 28, 2024 01:52 6m 18s
add 2pc verification tutorial CI on Ubuntu #2498: Commit be3227b pushed by FedericoAureliano
November 28, 2024 00:57 1m 5s experimental/pverifier
experimental/pverifier
November 28, 2024 00:57 1m 5s
add 2pc verification tutorial CI on Ubuntu #2497: Commit 194938f pushed by FedericoAureliano
November 23, 2024 00:23 6m 58s experimental/pverifier
experimental/pverifier
November 23, 2024 00:23 6m 58s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Ubuntu #2496: Commit 65042fe pushed by ankushdesai
November 20, 2024 19:36 6m 58s master
master
November 20, 2024 19:36 6m 58s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Ubuntu #2495: Pull request #802 synchronize by aoli-al
November 20, 2024 18:20 7m 9s revert-pct
revert-pct
November 20, 2024 18:20 7m 9s
Clean up changes. CI on Ubuntu #2494: Commit 2640ade pushed by aoli-al
November 20, 2024 18:20 7m 10s revert-pct
revert-pct
November 20, 2024 18:20 7m 10s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Ubuntu #2493: Pull request #802 synchronize by aoli-al
November 20, 2024 15:34 6m 57s revert-pct
revert-pct
November 20, 2024 15:34 6m 57s
Fix warnings. CI on Ubuntu #2492: Commit 42c4bc8 pushed by aoli-al
November 20, 2024 15:34 6m 56s revert-pct
revert-pct
November 20, 2024 15:34 6m 56s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Ubuntu #2491: Pull request #802 opened by aoli-al
November 20, 2024 15:28 7m 7s revert-pct
revert-pct
November 20, 2024 15:28 7m 7s
Set max unfair scheduling steps for all feedback guided algorithms. CI on Ubuntu #2490: Commit f23f79c pushed by aoli-al
November 20, 2024 15:25 6m 53s revert-pct
revert-pct
November 20, 2024 15:25 6m 53s
Removed unwanted console logging CI on Ubuntu #2489: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:28 6m 45s p-2.3.2
p-2.3.2
November 20, 2024 07:28 6m 45s
Removed unwanted console logging CI on Ubuntu #2488: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:01 9m 1s master
master
November 20, 2024 07:01 9m 1s