Skip to content

Actions: p-org/P

Actions

CI on Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windowsci.yml
809 workflow runs
809 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Windows #2541: Pull request #802 synchronize by aoli-al
November 20, 2024 18:20 7m 47s revert-pct
revert-pct
November 20, 2024 18:20 7m 47s
Clean up changes. CI on Windows #2540: Commit 2640ade pushed by aoli-al
November 20, 2024 18:20 7m 38s revert-pct
revert-pct
November 20, 2024 18:20 7m 38s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Windows #2539: Pull request #802 synchronize by aoli-al
November 20, 2024 15:34 7m 18s revert-pct
revert-pct
November 20, 2024 15:34 7m 18s
Fix warnings. CI on Windows #2538: Commit 42c4bc8 pushed by aoli-al
November 20, 2024 15:34 6m 58s revert-pct
revert-pct
November 20, 2024 15:34 6m 58s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on Windows #2537: Pull request #802 opened by aoli-al
November 20, 2024 15:28 6m 53s revert-pct
revert-pct
November 20, 2024 15:28 6m 53s
Set max unfair scheduling steps for all feedback guided algorithms. CI on Windows #2536: Commit f23f79c pushed by aoli-al
November 20, 2024 15:25 6m 56s revert-pct
revert-pct
November 20, 2024 15:25 6m 56s
Removed unwanted console logging CI on Windows #2535: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:28 7m 0s p-2.3.2
p-2.3.2
November 20, 2024 07:28 7m 0s
Removed unwanted console logging CI on Windows #2534: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:01 7m 0s master
master
November 20, 2024 07:01 7m 0s
cleanup example for tutorial CI on Windows #2533: Commit 33f8e4a pushed by FedericoAureliano
November 4, 2024 20:43 7m 48s experimental/pverifier
experimental/pverifier
November 4, 2024 20:43 7m 48s
fix bug in file names CI on Windows #2532: 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 Windows #2531: Commit 74999b4 pushed by FedericoAureliano
November 2, 2024 01:22 7m 0s experimental/pverifier
experimental/pverifier
November 2, 2024 01:22 7m 0s
fix bug in global procedures: always prepend self reference CI on Windows #2530: Commit f27e546 pushed by FedericoAureliano
November 1, 2024 23:13 7m 11s experimental/pverifier
experimental/pverifier
November 1, 2024 23:13 7m 11s
fix bug in caching by simplifying process checklist CI on Windows #2529: Commit 60f804f pushed by FedericoAureliano
October 31, 2024 20:59 6m 47s experimental/pverifier
experimental/pverifier
October 31, 2024 20:59 6m 47s
allow duplicate invariant names in different groups using group name … CI on Windows #2528: Commit 9f0881c pushed by FedericoAureliano
October 30, 2024 04:47 7m 59s experimental/pverifier
experimental/pverifier
October 30, 2024 04:47 7m 59s
add support for foreign functions with contracts and update one tutor… CI on Windows #2527: Commit 4d41085 pushed by FedericoAureliano
October 30, 2024 03:48 7m 4s experimental/pverifier
experimental/pverifier
October 30, 2024 03:48 7m 4s
Add feedback-guided scheduling algorithms (#791) CI on Windows #2526: Commit b45194b pushed by ankushdesai
October 21, 2024 19:23 7m 14s p-2.3.1
p-2.3.1
October 21, 2024 19:23 7m 14s
Add feedback-guided scheduling algorithms (#791) CI on Windows #2525: Commit b45194b pushed by ankushdesai
October 18, 2024 20:18 7m 13s master
master
October 18, 2024 20:18 7m 13s
Add feedback-guided scheduling algorithms CI on Windows #2524: Pull request #791 synchronize by aoli-al
October 18, 2024 07:28 7m 19s experimental/feedback
experimental/feedback
October 18, 2024 07:28 7m 19s
revert change. CI on Windows #2523: Commit 3ee77e3 pushed by aoli-al
October 18, 2024 07:28 7m 34s experimental/feedback
experimental/feedback
October 18, 2024 07:28 7m 34s
Add feedback-guided scheduling algorithms CI on Windows #2522: Pull request #791 synchronize by aoli-al
October 18, 2024 07:23 7m 8s experimental/feedback
experimental/feedback
October 18, 2024 07:23 7m 8s
Revert changes in Probabilistic folder. CI on Windows #2521: Commit 91cd717 pushed by aoli-al
October 18, 2024 07:23 7m 52s experimental/feedback
experimental/feedback
October 18, 2024 07:23 7m 52s
Add feedback-guided scheduling algorithms CI on Windows #2520: Pull request #791 synchronize by aoli-al
October 18, 2024 07:20 7m 3s experimental/feedback
experimental/feedback
October 18, 2024 07:20 7m 3s
Revert changes in PCTStrategy. CI on Windows #2519: Commit 5e306b4 pushed by aoli-al
October 18, 2024 07:20 7m 38s experimental/feedback
experimental/feedback
October 18, 2024 07:20 7m 38s