Skip to content

Actions: p-org/P

Actions

CI on Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windowsci.yml
817 workflow runs
817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small merge error CI on Windows #2566: Commit 60d3fb4 pushed by ankushdesai
December 4, 2024 06:12 7m 10s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 06:12 7m 10s
Merge branch 'p-org-paramtest' into dev_p3.0/param_testcases CI on Windows #2565: Commit 924eced pushed by ankushdesai
December 4, 2024 05:41 5m 9s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 05:41 5m 9s
Renamed the folders and targets; (#806) CI on Windows #2564: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:15 7m 11s dev_p3.0/param_testcases
dev_p3.0/param_testcases
December 4, 2024 03:15 7m 11s
Renamed the folders and targets; (#806) CI on Windows #2563: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:14 7m 10s dev_p3.0/scenarios_coverage
dev_p3.0/scenarios_coverage
December 4, 2024 03:14 7m 10s
Renamed the folders and targets; (#806) CI on Windows #2562: Commit d652bc0 pushed by ankushdesai
December 4, 2024 03:02 6m 50s major/P3.0
major/P3.0
December 4, 2024 03:02 6m 50s
Renamed the folders and targets; CI on Windows #2561: Pull request #806 opened by ankushdesai
December 4, 2024 03:02 6m 52s dev_p3.0/cleanup_targets
dev_p3.0/cleanup_targets
December 4, 2024 03:02 6m 52s
Renamed the folders and targets; CI on Windows #2560: Commit 1fce8a9 pushed by ankushdesai
December 4, 2024 02:52 6m 41s dev_p3.0/cleanup_targets
dev_p3.0/cleanup_targets
December 4, 2024 02:52 6m 41s
Start to move PVerifier so that its ready to be merged into P3.0 CI on Windows #2559: Pull request #805 opened by ankushdesai
December 3, 2024 20:48 7m 0s experimental/pverifier
experimental/pverifier
December 3, 2024 20:48 7m 0s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Windows #2558: Commit 65042fe pushed by ankushdesai
December 3, 2024 20:45 8m 12s dev_p3.0/pverifier
dev_p3.0/pverifier
December 3, 2024 20:45 8m 12s
Made a distinction between messages and events CI on Windows #2557: Commit 667cd13 pushed by ankushdesai
December 3, 2024 20:40 5m 39s deprecated/JavaRuntime
deprecated/JavaRuntime
December 3, 2024 20:40 5m 39s
Refactor locals CI on Windows #2556: Commit e38ac0b pushed by ankushdesai
December 3, 2024 20:40 1m 3s deprecated/psym/trace-containment
deprecated/psym/trace-containment
December 3, 2024 20:40 1m 3s
Simplified apache paxos CI on Windows #2555: Commit 53f5c21 pushed by ankushdesai
December 3, 2024 20:39 6m 12s deprecated/psym_fp
deprecated/psym_fp
December 3, 2024 20:39 6m 12s
Refactor locals CI on Windows #2554: Commit e38ac0b pushed by ankushdesai
December 3, 2024 20:39 2m 12s old_deprecated/psym/trace-containment
old_deprecated/psym/trace-containment
December 3, 2024 20:39 2m 12s
Made a distinction between messages and events CI on Windows #2553: Commit 667cd13 pushed by ankushdesai
December 3, 2024 20:38 6m 32s old_deprecated/JavaRuntime
old_deprecated/JavaRuntime
December 3, 2024 20:38 6m 32s
move install instructions to docs and update link in 2pc verification… CI on Windows #2552: Commit 446859b pushed by ankushdesai
December 3, 2024 20:33 6m 16s dev/p3.0_pverifier
dev/p3.0_pverifier
December 3, 2024 20:33 6m 16s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Windows #2551: Commit 65042fe pushed by ankushdesai
December 3, 2024 20:30 7m 12s major/P3.0
major/P3.0
December 3, 2024 20:30 7m 12s
Removed added timeline in summary.txt for pintcdk CI on Windows #2550: Commit 1f0aa16 pushed by ChristineZh0u
December 2, 2024 19:39 7m 0s experimental/feedback_vector_clock
experimental/feedback_vector_clock
December 2, 2024 19:39 7m 0s
PVerifier Backend CI on Windows #2549: Pull request #803 opened by FedericoAureliano
November 28, 2024 19:33 7m 11s experimental/pverifier
experimental/pverifier
November 28, 2024 19:33 7m 11s
move install instructions to docs and update link in 2pc verification… CI on Windows #2548: Commit 446859b pushed by FedericoAureliano
November 28, 2024 19:21 7m 8s experimental/pverifier
experimental/pverifier
November 28, 2024 19:21 7m 8s
add error message when trying to use pverifier syntax for other backends CI on Windows #2547: Commit c26fc9b pushed by FedericoAureliano
November 28, 2024 19:05 7m 10s experimental/pverifier
experimental/pverifier
November 28, 2024 19:05 7m 10s
init keyword -> init-condition keyword CI on Windows #2546: Commit c12d6a7 pushed by FedericoAureliano
November 28, 2024 18:18 6m 42s experimental/pverifier
experimental/pverifier
November 28, 2024 18:18 6m 42s
pverifier backend and reorganize verification tutorials CI on Windows #2545: Commit 80eed8b pushed by FedericoAureliano
November 28, 2024 01:52 6m 46s experimental/pverifier
experimental/pverifier
November 28, 2024 01:52 6m 46s
add 2pc verification tutorial CI on Windows #2544: Commit be3227b pushed by FedericoAureliano
November 28, 2024 00:57 2m 3s experimental/pverifier
experimental/pverifier
November 28, 2024 00:57 2m 3s
add 2pc verification tutorial CI on Windows #2543: Commit 194938f pushed by FedericoAureliano
November 23, 2024 00:23 6m 38s experimental/pverifier
experimental/pverifier
November 23, 2024 00:23 6m 38s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on Windows #2542: Commit 65042fe pushed by ankushdesai
November 20, 2024 19:36 6m 52s master
master
November 20, 2024 19:36 6m 52s