Skip to content

Actions: facebook/winterfell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
565 workflow runs
565 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update constraint degree checks CI #1243: Pull request #305 synchronize by Al-Kindi-0
September 5, 2024 15:18 1m 50s Al-Kindi-0:al-update-degree-checks
Al-Kindi-0:al-update-degree-checks
September 5, 2024 15:18 1m 50s
Update constraint degree checks CI #1242: Pull request #305 synchronize by Al-Kindi-0
September 5, 2024 15:07 1m 58s Al-Kindi-0:al-update-degree-checks
Al-Kindi-0:al-update-degree-checks
September 5, 2024 15:07 1m 58s
Update constraint degree checks CI #1241: Pull request #305 synchronize by Al-Kindi-0
September 5, 2024 15:02 1m 58s Al-Kindi-0:al-update-degree-checks
Al-Kindi-0:al-update-degree-checks
September 5, 2024 15:02 1m 58s
Add support for periodic columns in LogUp-GKR CI #1240: Pull request #307 synchronize by Al-Kindi-0
September 5, 2024 09:39 4m 41s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 5, 2024 09:39 4m 41s
Add support for periodic columns in LogUp-GKR CI #1239: Pull request #307 synchronize by Al-Kindi-0
September 4, 2024 09:56 1m 53s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 4, 2024 09:56 1m 53s
Add support for periodic columns in LogUp-GKR CI #1238: Pull request #307 synchronize by Al-Kindi-0
September 4, 2024 09:34 1m 51s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 4, 2024 09:34 1m 51s
Add support for periodic columns in LogUp-GKR CI #1237: Pull request #307 synchronize by Al-Kindi-0
September 3, 2024 20:04 2m 7s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 3, 2024 20:04 2m 7s
Add support for periodic columns in LogUp-GKR CI #1236: Pull request #307 synchronize by Al-Kindi-0
September 3, 2024 19:54 1m 45s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 3, 2024 19:54 1m 45s
Add support for periodic columns in LogUp-GKR CI #1235: Pull request #307 opened by Al-Kindi-0
September 3, 2024 19:53 2m 18s Al-Kindi-0:al-gkr-periodic
Al-Kindi-0:al-gkr-periodic
September 3, 2024 19:53 2m 18s
Tracking PR for the LogUp-GKR integration CI #1234: Pull request #302 synchronize by irakliyk
September 3, 2024 03:45 2m 7s logup-gkr
logup-gkr
September 3, 2024 03:45 2m 7s
Add support for s-column as part of the support for LogUp-GKR CI #1233: Pull request #297 synchronize by Al-Kindi-0
September 2, 2024 21:31 1m 47s Al-Kindi-0:al-gkt-add-s-col
Al-Kindi-0:al-gkt-add-s-col
September 2, 2024 21:31 1m 47s
Add support for s-column as part of the support for LogUp-GKR CI #1232: Pull request #297 synchronize by Al-Kindi-0
September 2, 2024 13:10 1m 54s Al-Kindi-0:al-gkt-add-s-col
Al-Kindi-0:al-gkt-add-s-col
September 2, 2024 13:10 1m 54s
Add support for s-column as part of the support for LogUp-GKR CI #1231: Pull request #297 synchronize by Al-Kindi-0
September 2, 2024 12:40 1m 52s Al-Kindi-0:al-gkt-add-s-col
Al-Kindi-0:al-gkt-add-s-col
September 2, 2024 12:40 1m 52s
Add support for s-column as part of the support for LogUp-GKR CI #1230: Pull request #297 synchronize by Al-Kindi-0
August 30, 2024 18:04 1m 54s Al-Kindi-0:al-gkt-add-s-col
Al-Kindi-0:al-gkt-add-s-col
August 30, 2024 18:04 1m 54s
Add support for periodic columns in LogUp-GKR CI #1229: Pull request #304 synchronize by Al-Kindi-0
August 30, 2024 17:01 1m 55s Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
August 30, 2024 17:01 1m 55s
Add support for periodic columns in LogUp-GKR CI #1228: Pull request #304 synchronize by Al-Kindi-0
August 30, 2024 16:56 1m 54s Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
August 30, 2024 16:56 1m 54s
Tracking PR for the LogUp-GKR integration CI #1227: Pull request #302 synchronize by irakliyk
August 30, 2024 14:06 1m 54s logup-gkr
logup-gkr
August 30, 2024 14:06 1m 54s
GKR backend for LogUp-GKR CI #1226: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 10:10 1m 47s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 10:10 1m 47s
GKR backend for LogUp-GKR CI #1225: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 10:07 1m 55s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 10:07 1m 55s
GKR backend for LogUp-GKR CI #1224: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 10:00 1m 56s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 10:00 1m 56s
GKR backend for LogUp-GKR CI #1223: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 09:56 2m 9s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 09:56 2m 9s
GKR backend for LogUp-GKR CI #1222: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 09:48 1m 59s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 09:48 1m 59s
GKR backend for LogUp-GKR CI #1221: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 09:44 2m 3s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 09:44 2m 3s
GKR backend for LogUp-GKR CI #1220: Pull request #296 synchronize by Al-Kindi-0
August 29, 2024 09:39 2m 0s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 29, 2024 09:39 2m 0s
Update constraint degree checks CI #1219: Pull request #305 opened by Al-Kindi-0
August 28, 2024 14:19 1m 45s Al-Kindi-0:al-update-degree-checks
Al-Kindi-0:al-update-degree-checks
August 28, 2024 14:19 1m 45s