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

cleanup example for tutorial CI on Ubuntu #2487: Commit 33f8e4a pushed by FedericoAureliano
November 4, 2024 20:43 7m 4s experimental/pverifier
experimental/pverifier
November 4, 2024 20:43 7m 4s
fix bug in file names CI on Ubuntu #2486: Commit aec6e8e pushed by FedericoAureliano
November 2, 2024 01:43 6m 56s experimental/pverifier
experimental/pverifier
November 2, 2024 01:43 6m 56s
add default that captures P's proof obligations CI on Ubuntu #2485: Commit 74999b4 pushed by FedericoAureliano
November 2, 2024 01:22 7m 1s experimental/pverifier
experimental/pverifier
November 2, 2024 01:22 7m 1s
fix bug in global procedures: always prepend self reference CI on Ubuntu #2484: Commit f27e546 pushed by FedericoAureliano
November 1, 2024 23:13 6m 52s experimental/pverifier
experimental/pverifier
November 1, 2024 23:13 6m 52s
fix bug in caching by simplifying process checklist CI on Ubuntu #2483: Commit 60f804f pushed by FedericoAureliano
October 31, 2024 20:59 6m 56s experimental/pverifier
experimental/pverifier
October 31, 2024 20:59 6m 56s
allow duplicate invariant names in different groups using group name … CI on Ubuntu #2482: Commit 9f0881c pushed by FedericoAureliano
October 30, 2024 04:47 6m 54s experimental/pverifier
experimental/pverifier
October 30, 2024 04:47 6m 54s
add support for foreign functions with contracts and update one tutor… CI on Ubuntu #2481: Commit 4d41085 pushed by FedericoAureliano
October 30, 2024 03:48 6m 58s experimental/pverifier
experimental/pverifier
October 30, 2024 03:48 6m 58s
Add feedback-guided scheduling algorithms (#791) CI on Ubuntu #2480: Commit b45194b pushed by ankushdesai
October 21, 2024 19:23 7m 11s p-2.3.1
p-2.3.1
October 21, 2024 19:23 7m 11s
Add feedback-guided scheduling algorithms (#791) CI on Ubuntu #2479: Commit b45194b pushed by ankushdesai
October 18, 2024 20:18 6m 59s master
master
October 18, 2024 20:18 6m 59s
Add feedback-guided scheduling algorithms CI on Ubuntu #2478: Pull request #791 synchronize by aoli-al
October 18, 2024 07:28 6m 58s experimental/feedback
experimental/feedback
October 18, 2024 07:28 6m 58s
revert change. CI on Ubuntu #2477: Commit 3ee77e3 pushed by aoli-al
October 18, 2024 07:28 6m 56s experimental/feedback
experimental/feedback
October 18, 2024 07:28 6m 56s
Add feedback-guided scheduling algorithms CI on Ubuntu #2476: Pull request #791 synchronize by aoli-al
October 18, 2024 07:23 6m 59s experimental/feedback
experimental/feedback
October 18, 2024 07:23 6m 59s
Revert changes in Probabilistic folder. CI on Ubuntu #2475: Commit 91cd717 pushed by aoli-al
October 18, 2024 07:23 6m 50s experimental/feedback
experimental/feedback
October 18, 2024 07:23 6m 50s
Add feedback-guided scheduling algorithms CI on Ubuntu #2474: Pull request #791 synchronize by aoli-al
October 18, 2024 07:20 7m 1s experimental/feedback
experimental/feedback
October 18, 2024 07:20 7m 1s
Revert changes in PCTStrategy. CI on Ubuntu #2473: Commit 5e306b4 pushed by aoli-al
October 18, 2024 07:20 6m 49s experimental/feedback
experimental/feedback
October 18, 2024 07:20 6m 49s
Add feedback-guided scheduling algorithms CI on Ubuntu #2472: Pull request #791 synchronize by ankushdesai
October 18, 2024 05:00 6m 58s experimental/feedback
experimental/feedback
October 18, 2024 05:00 6m 58s
Added VectorTime and BehavioralObserver class for feedback strategy (… CI on Ubuntu #2471: Commit 2eda040 pushed by ankushdesai
October 18, 2024 05:00 6m 50s experimental/feedback
experimental/feedback
October 18, 2024 05:00 6m 50s
Added VectorTime and BehavioralObserver class for feedback strategy CI on Ubuntu #2470: Pull request #799 opened by ChristineZh0u
October 18, 2024 04:09 7m 2s experimental/feedback_vector_clock
experimental/feedback_vector_clock
October 18, 2024 04:09 7m 2s
Added VectorTime and BehavioralObserver class for feedback strategy CI on Ubuntu #2469: Commit cfa62a1 pushed by ChristineZh0u
October 18, 2024 04:02 7m 3s experimental/feedback_vector_clock
experimental/feedback_vector_clock
October 18, 2024 04:02 7m 3s
Add feedback-guided scheduling algorithms CI on Ubuntu #2468: Pull request #791 synchronize by ankushdesai
October 17, 2024 21:45 6m 54s experimental/feedback
experimental/feedback
October 17, 2024 21:45 6m 54s
Merge branch 'master' into experimental/feedback CI on Ubuntu #2467: Commit 6bd65eb pushed by ankushdesai
October 17, 2024 21:45 6m 38s experimental/feedback
experimental/feedback
October 17, 2024 21:45 6m 38s
revert publishdocs.yml changes (#798) CI on Ubuntu #2466: Commit b7c44e2 pushed by ankushdesai
October 17, 2024 21:27 6m 41s master
master
October 17, 2024 21:27 6m 41s
revert publishdocs.yml changes CI on Ubuntu #2465: Pull request #798 opened by aishu-j
October 17, 2024 20:50 6m 32s fix/publishdocs
fix/publishdocs
October 17, 2024 20:50 6m 32s
revert publishdocs.yml changes CI on Ubuntu #2464: Commit d74edff pushed by aishu-j
October 17, 2024 20:49 6m 39s fix/publishdocs
fix/publishdocs
October 17, 2024 20:49 6m 39s
Add feedback-guided scheduling algorithms CI on Ubuntu #2463: Pull request #791 synchronize by aoli-al
October 17, 2024 14:03 7m 18s experimental/feedback
experimental/feedback
October 17, 2024 14:03 7m 18s