Skip to content

Actions: p-org/P

Actions

CI on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntuci.yml
789 workflow runs
789 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modifying timeline CI on Ubuntu #2537: Commit 3e0f1fa pushed by ChristineZh0u
December 19, 2024 20:46 7m 48s dev_p3.0/vector_clock_timeline
dev_p3.0/vector_clock_timeline
December 19, 2024 20:46 7m 48s
Initial commit for EventBag and EventChannel CI on Ubuntu #2536: Commit 6c5134c pushed by ChristineZh0u
December 17, 2024 03:30 6m 53s dev_p3.0/event_bag
dev_p3.0/event_bag
December 17, 2024 03:30 6m 53s
Java code generation fixes CI on Ubuntu #2535: Pull request #809 opened by ChristineZh0u
December 15, 2024 21:54 7m 10s fix/java_event_generating
fix/java_event_generating
December 15, 2024 21:54 7m 10s
Java code generation fixes CI on Ubuntu #2534: Commit 0a41845 pushed by ChristineZh0u
December 14, 2024 20:39 6m 59s fix/java_event_generating
fix/java_event_generating
December 14, 2024 20:39 6m 59s
Java code generation fixes CI on Ubuntu #2533: Commit ca9ea84 pushed by ChristineZh0u
December 13, 2024 01:39 46s fix/java_event_generating
fix/java_event_generating
December 13, 2024 01:39 46s
Fix for Java event generating CI on Ubuntu #2532: Commit fbfcbe8 pushed by ChristineZh0u
December 12, 2024 19:40 7m 6s fix/java_event_generating
fix/java_event_generating
December 12, 2024 19:40 7m 6s
Fix for Java event generating CI on Ubuntu #2531: Commit 5bce609 pushed by ChristineZh0u
December 12, 2024 03:24 7m 11s fix/java_event_generating
fix/java_event_generating
December 12, 2024 03:24 7m 11s
merging with master branch CI on Ubuntu #2530: Commit cd02363 pushed by ChristineZh0u
December 11, 2024 19:31 1m 4s dev_p3.0/vector_clock_timeline
dev_p3.0/vector_clock_timeline
December 11, 2024 19:31 1m 4s
merging with master branch CI on Ubuntu #2529: Commit cd02363 pushed by ChristineZh0u
December 11, 2024 19:29 1m 16s experimental/feedback_vector_clock
experimental/feedback_vector_clock
December 11, 2024 19:29 1m 16s
Start to move PVerifier so that its ready to be merged into P3.0 (#805) CI on Ubuntu #2528: Commit 98c6ddf pushed by ankushdesai
December 10, 2024 10:43 6m 55s dev_p3.0/pverifier
dev_p3.0/pverifier
December 10, 2024 10:43 6m 55s
Fix divide by zero exception. (#808) CI on Ubuntu #2527: Commit 545dec4 pushed by ankushdesai
December 10, 2024 03:20 7m 3s master
master
December 10, 2024 03:20 7m 3s
Fix divide by zero exception. CI on Ubuntu #2526: Pull request #808 opened by aoli-al
December 5, 2024 20:29 6m 48s leo/fix-dividebyzero
leo/fix-dividebyzero
December 5, 2024 20:29 6m 48s
Fix divide by zero exception. CI on Ubuntu #2525: Commit 7c17680 pushed by aoli-al
December 5, 2024 20:29 6m 58s leo/fix-dividebyzero
leo/fix-dividebyzero
December 5, 2024 20:29 6m 58s
Start to move PVerifier so that its ready to be merged into P3.0 CI on Ubuntu #2524: Pull request #805 synchronize by FedericoAureliano
December 5, 2024 20:16 7m 2s experimental/pverifier
experimental/pverifier
December 5, 2024 20:16 7m 2s
add iff symbol CI on Ubuntu #2523: Commit 07f2a06 pushed by FedericoAureliano
December 5, 2024 20:16 6m 54s experimental/pverifier
experimental/pverifier
December 5, 2024 20:16 6m 54s
Start to move PVerifier so that its ready to be merged into P3.0 CI on Ubuntu #2522: Pull request #805 synchronize by FedericoAureliano
December 5, 2024 18:27 7m 6s experimental/pverifier
experimental/pverifier
December 5, 2024 18:27 7m 6s
rename uclid5 backend to pverifier CI on Ubuntu #2521: Commit d01c547 pushed by FedericoAureliano
December 5, 2024 18:27 6m 59s experimental/pverifier
experimental/pverifier
December 5, 2024 18:27 6m 59s
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