Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
817 workflow runs
817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small merge error CI on Ubuntu #2520: Commit 60d3fb4 pushed by ankushdesai
December 4, 2024 06:12 7m 0s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 06:12 7m 0s
Merge branch 'p-org-paramtest' into dev_p3.0/param_testcases CI on Ubuntu #2519: Commit 924eced pushed by ankushdesai
December 4, 2024 05:41 4m 36s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 05:41 4m 36s
Renamed the folders and targets; (#806) CI on Ubuntu #2518: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:15 7m 3s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 03:15 7m 3s
Renamed the folders and targets; (#806) CI on Ubuntu #2517: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:14 6m 56s dev_p3.0/scenarios_coverage
dev_p3.0/scenarios_coverage
December 4, 2024 03:14 6m 56s
Renamed the folders and targets; (#806) CI on Ubuntu #2516: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:02 7m 1s major/P3.0
major/P3.0
December 4, 2024 03:02 7m 1s
Renamed the folders and targets; CI on Ubuntu #2515: Pull request #806 opened by ankushdesai
December 4, 2024 03:02 6m 56s dev_p3.0/cleanup_targets
dev_p3.0/cleanup_targets
December 4, 2024 03:02 6m 56s
Renamed the folders and targets; CI on Ubuntu #2514: Commit 1fce8a9 pushed by ankushdesai
December 4, 2024 02:52 7m 10s dev_p3.0/cleanup_targets
dev_p3.0/cleanup_targets
December 4, 2024 02:52 7m 10s
Start to move PVerifier so that its ready to be merged into P3.0 CI on Ubuntu #2513: Pull request #805 opened by ankushdesai
December 3, 2024 20:48 6m 55s experimental/pverifier
experimental/pverifier
December 3, 2024 20:48 6m 55s
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