Skip to content

Actions: Gendalf71/FLT-Coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix June Release Coq CI (Docker 8.18.0, tmp outputs) #70: Commit 4bfa946 pushed by Gendalf71
1m 36s main
main
1m 36s
Added Final June Release Coq CI (Docker 8.18.0, tmp outputs) #69: Commit fa20635 pushed by Gendalf71
1m 17s main
main
1m 17s
Add supplementary differential analysis for v16.4 Coq CI (Docker 8.18.0, tmp outputs) #68: Commit 2605257 pushed by Gendalf71
1m 26s main
main
1m 26s
Add exploratory note outside the v16.4 proof chain Coq CI (Docker 8.18.0, tmp outputs) #67: Commit 1db48b8 pushed by Gendalf71
2m 30s main
main
2m 30s
Resume from AI of Google Coq CI (Docker 8.18.0, tmp outputs) #66: Commit dadf8e8 pushed by Gendalf71
1m 31s main
main
1m 31s
Resume No.2 from Google Coq CI (Docker 8.18.0, tmp outputs) #65: Commit bb35c38 pushed by Gendalf71
1m 26s main
main
1m 26s
Resume from Google Coq CI (Docker 8.18.0, tmp outputs) #64: Commit d66de90 pushed by Gendalf71
1m 29s main
main
1m 29s
fix name AI bug Coq CI (Docker 8.18.0, tmp outputs) #63: Commit 22e71d8 pushed by Gendalf71
1m 13s main
main
1m 13s
README.md 16.4 Coq CI (Docker 8.18.0, tmp outputs) #62: Commit 90a1cd2 pushed by Gendalf71
1m 22s main
main
1m 22s
FLT Release 16.4 Coq CI (Docker 8.18.0, tmp outputs) #61: Commit ab65723 pushed by Gendalf71
1m 31s main
main
1m 31s
New README for v15.3 Coq CI (Docker 8.18.0, tmp outputs) #60: Commit d907f3a pushed by Gendalf71
1m 14s main
main
1m 14s
Flt Full v15.3 Coq CI (Docker 8.18.0, tmp outputs) #59: Commit 64ef54d pushed by Gendalf71
1m 25s main
main
1m 25s
FLT Release 15.3 Coq CI (Docker 8.18.0, tmp outputs) #58: Commit 747054f pushed by Gendalf71
1m 26s main
main
1m 26s
New Model Release v14 Coq CI (Docker 8.18.0, tmp outputs) #57: Commit e3ce4a4 pushed by Gendalf71
1m 39s main
main
1m 39s
FLT Global v13 Coq CI (Docker 8.18.0, tmp outputs) #56: Commit 63a575d pushed by Gendalf71
1m 21s main
main
1m 21s
The New Release 6 Coq CI (Docker 8.18.0, tmp outputs) #55: Commit bf00931 pushed by Gendalf71
1m 26s main
main
1m 26s
Full Release v5 Coq CI (Docker 8.18.0, tmp outputs) #54: Commit 9d21bd0 pushed by Gendalf71
1m 26s main
main
1m 26s
Global v4 fix Coq CI (Docker 8.18.0, tmp outputs) #53: Commit b4e46b5 pushed by Gendalf71
1m 30s main
main
1m 30s
New Global Release v4 Coq CI (Docker 8.18.0, tmp outputs) #52: Commit 63f4297 pushed by Gendalf71
3m 2s main
main
3m 2s
New Global Release v3 Coq CI (Docker 8.18.0, tmp outputs) #51: Commit ed675ca pushed by Gendalf71
1m 26s main
main
1m 26s
Final Global Norm Coq CI (Docker 8.18.0, tmp outputs) #50: Commit c769b70 pushed by Gendalf71
1m 23s 0.3.6
0.3.6
1m 23s
Final Global Norm Coq CI (Docker 8.18.0, tmp outputs) #49: Commit c769b70 pushed by Gendalf71
1m 27s main
main
1m 27s
Remark Release Coq CI (Docker 8.18.0, tmp outputs) #48: Commit 694f96d pushed by Gendalf71
1m 25s 0.3.5
0.3.5
1m 25s
Remark Release Coq CI (Docker 8.18.0, tmp outputs) #47: Commit 694f96d pushed by Gendalf71
1m 31s main
main
1m 31s
fixed README Coq CI (Docker 8.18.0, tmp outputs) #46: Commit 821c21e pushed by Gendalf71
1m 33s 0.3.4
0.3.4
1m 33s