Skip to content

Actions: facebook/winterfell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
559 workflow runs
559 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
GKR backend for LogUp-GKR CI #1218: Pull request #296 synchronize by Al-Kindi-0
August 28, 2024 12:03 1m 50s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 28, 2024 12:03 1m 50s
GKR backend for LogUp-GKR CI #1217: Pull request #296 synchronize by Al-Kindi-0
August 27, 2024 19:59 1m 54s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 27, 2024 19:59 1m 54s
GKR backend for LogUp-GKR CI #1216: Pull request #296 synchronize by Al-Kindi-0
August 27, 2024 18:47 2m 12s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 27, 2024 18:47 2m 12s
Add support for s-column as part of the support for LogUp-GKR CI #1215: Pull request #297 synchronize by Al-Kindi-0
August 27, 2024 18:32 1m 55s Al-Kindi-0:al-gkt-add-s-col
Al-Kindi-0:al-gkt-add-s-col
August 27, 2024 18:32 1m 55s
Add support for periodic columns in LogUp-GKR CI #1214: Pull request #304 synchronize by Al-Kindi-0
August 27, 2024 17:57 1m 53s Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
August 27, 2024 17:57 1m 53s
GKR backend for LogUp-GKR CI #1213: Pull request #296 synchronize by Al-Kindi-0
August 27, 2024 11:44 1m 54s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 27, 2024 11:44 1m 54s
GKR backend for LogUp-GKR CI #1212: Pull request #296 synchronize by Al-Kindi-0
August 26, 2024 14:44 6m 11s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 26, 2024 14:44 6m 11s
GKR backend for LogUp-GKR CI #1211: Pull request #296 synchronize by Al-Kindi-0
August 26, 2024 14:18 1m 56s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 26, 2024 14:18 1m 56s
Add support for periodic columns in LogUp-GKR CI #1210: Pull request #304 opened by Al-Kindi-0
August 23, 2024 16:48 2m 1s Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
Al-Kindi-0:al-gkr-backend-for-logup-gkr-support-periodic
August 23, 2024 16:48 2m 1s
GKR backend for LogUp-GKR CI #1209: Pull request #296 synchronize by Al-Kindi-0
August 23, 2024 10:56 2m 0s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 23, 2024 10:56 2m 0s
GKR backend for LogUp-GKR CI #1208: Pull request #296 synchronize by Al-Kindi-0
August 22, 2024 10:38 2m 0s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 22, 2024 10:38 2m 0s
GKR backend for LogUp-GKR CI #1207: Pull request #296 synchronize by Al-Kindi-0
August 21, 2024 11:28 2m 2s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 21, 2024 11:28 2m 2s
GKR backend for LogUp-GKR CI #1206: Pull request #296 synchronize by Al-Kindi-0
August 21, 2024 11:16 2m 4s Al-Kindi-0:al-gkr-backend-for-logup-gkr
Al-Kindi-0:al-gkr-backend-for-logup-gkr
August 21, 2024 11:16 2m 4s
Tracking PR for the LogUp-GKR integration CI #1205: Pull request #302 opened by irakliyk
August 21, 2024 06:18 2m 4s logup-gkr
logup-gkr
August 21, 2024 06:18 2m 4s