Skip to content

Actions: p-org/P

Actions

CI on MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macosci.yml
807 workflow runs
807 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add 2pc verification tutorial CI on MacOS #2500: Commit 194938f pushed by FedericoAureliano
November 23, 2024 00:23 5m 37s experimental/pverifier
experimental/pverifier
November 23, 2024 00:23 5m 37s
Revert the dynamic sync point generation algorithm for PCT scheduler.… CI on MacOS #2499: Commit 65042fe pushed by ankushdesai
November 20, 2024 19:36 4m 31s master
master
November 20, 2024 19:36 4m 31s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on MacOS #2498: Pull request #802 synchronize by aoli-al
November 20, 2024 18:20 5m 51s revert-pct
revert-pct
November 20, 2024 18:20 5m 51s
Clean up changes. CI on MacOS #2497: Commit 2640ade pushed by aoli-al
November 20, 2024 18:20 5m 17s revert-pct
revert-pct
November 20, 2024 18:20 5m 17s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on MacOS #2496: Pull request #802 synchronize by aoli-al
November 20, 2024 15:34 5m 10s revert-pct
revert-pct
November 20, 2024 15:34 5m 10s
Fix warnings. CI on MacOS #2495: Commit 42c4bc8 pushed by aoli-al
November 20, 2024 15:34 5m 48s revert-pct
revert-pct
November 20, 2024 15:34 5m 48s
Revert the dynamic sync point generation algorithm for PCT scheduler. CI on MacOS #2494: Pull request #802 opened by aoli-al
November 20, 2024 15:28 5m 9s revert-pct
revert-pct
November 20, 2024 15:28 5m 9s
Set max unfair scheduling steps for all feedback guided algorithms. CI on MacOS #2493: Commit f23f79c pushed by aoli-al
November 20, 2024 15:25 6m 3s revert-pct
revert-pct
November 20, 2024 15:25 6m 3s
Removed unwanted console logging CI on MacOS #2492: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:28 4m 19s p-2.3.2
p-2.3.2
November 20, 2024 07:28 4m 19s
Removed unwanted console logging CI on MacOS #2491: Commit ec71574 pushed by ankushdesai
November 20, 2024 07:01 6m 43s master
master
November 20, 2024 07:01 6m 43s
cleanup example for tutorial CI on MacOS #2490: Commit 33f8e4a pushed by FedericoAureliano
November 4, 2024 20:43 5m 33s experimental/pverifier
experimental/pverifier
November 4, 2024 20:43 5m 33s
fix bug in file names CI on MacOS #2489: Commit aec6e8e pushed by FedericoAureliano
November 2, 2024 01:43 4m 20s experimental/pverifier
experimental/pverifier
November 2, 2024 01:43 4m 20s
add default that captures P's proof obligations CI on MacOS #2488: Commit 74999b4 pushed by FedericoAureliano
November 2, 2024 01:22 5m 2s experimental/pverifier
experimental/pverifier
November 2, 2024 01:22 5m 2s
fix bug in global procedures: always prepend self reference CI on MacOS #2487: Commit f27e546 pushed by FedericoAureliano
November 1, 2024 23:13 4m 27s experimental/pverifier
experimental/pverifier
November 1, 2024 23:13 4m 27s
fix bug in caching by simplifying process checklist CI on MacOS #2486: Commit 60f804f pushed by FedericoAureliano
October 31, 2024 20:59 5m 10s experimental/pverifier
experimental/pverifier
October 31, 2024 20:59 5m 10s
allow duplicate invariant names in different groups using group name … CI on MacOS #2485: Commit 9f0881c pushed by FedericoAureliano
October 30, 2024 04:47 4m 16s experimental/pverifier
experimental/pverifier
October 30, 2024 04:47 4m 16s
add support for foreign functions with contracts and update one tutor… CI on MacOS #2484: Commit 4d41085 pushed by FedericoAureliano
October 30, 2024 03:48 4m 12s experimental/pverifier
experimental/pverifier
October 30, 2024 03:48 4m 12s
Add feedback-guided scheduling algorithms (#791) CI on MacOS #2483: Commit b45194b pushed by ankushdesai
October 21, 2024 19:23 4m 23s p-2.3.1
p-2.3.1
October 21, 2024 19:23 4m 23s
Add feedback-guided scheduling algorithms (#791) CI on MacOS #2482: Commit b45194b pushed by ankushdesai
October 18, 2024 20:18 4m 46s master
master
October 18, 2024 20:18 4m 46s
Add feedback-guided scheduling algorithms CI on MacOS #2481: Pull request #791 synchronize by aoli-al
October 18, 2024 07:28 6m 54s experimental/feedback
experimental/feedback
October 18, 2024 07:28 6m 54s
revert change. CI on MacOS #2480: Commit 3ee77e3 pushed by aoli-al
October 18, 2024 07:28 4m 26s experimental/feedback
experimental/feedback
October 18, 2024 07:28 4m 26s
Add feedback-guided scheduling algorithms CI on MacOS #2479: Pull request #791 synchronize by aoli-al
October 18, 2024 07:23 7m 54s experimental/feedback
experimental/feedback
October 18, 2024 07:23 7m 54s
Revert changes in Probabilistic folder. CI on MacOS #2478: Commit 91cd717 pushed by aoli-al
October 18, 2024 07:23 7m 10s experimental/feedback
experimental/feedback
October 18, 2024 07:23 7m 10s
Add feedback-guided scheduling algorithms CI on MacOS #2477: Pull request #791 synchronize by aoli-al
October 18, 2024 07:20 7m 53s experimental/feedback
experimental/feedback
October 18, 2024 07:20 7m 53s
Revert changes in PCTStrategy. CI on MacOS #2476: Commit 5e306b4 pushed by aoli-al
October 18, 2024 07:20 4m 22s experimental/feedback
experimental/feedback
October 18, 2024 07:20 4m 22s