Skip to content

Actions: hivert/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-8.19 #12: Commit c9892c6 pushed by hivert
April 15, 2025 21:48 2h 26m 56s master
master
April 15, 2025 21:48 2h 26m 56s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-master #13: Commit c9892c6 pushed by hivert
April 15, 2025 21:48 1h 29m 54s master
master
April 15, 2025 21:48 1h 29m 54s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-8.20 #6: Commit c9892c6 pushed by hivert
April 15, 2025 21:48 1h 45m 10s master
master
April 15, 2025 21:48 1h 45m 10s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-9.0 #1: Commit c9892c6 pushed by hivert
April 15, 2025 21:48 1h 29m 21s master
master
April 15, 2025 21:48 1h 29m 21s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-8.20 #5: Commit fe6be9c pushed by hivert
January 6, 2025 09:03 42m 8s master
master
January 6, 2025 09:03 42m 8s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-8.19 #11: Commit fe6be9c pushed by hivert
January 6, 2025 09:03 48m 26s master
master
January 6, 2025 09:03 48m 26s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-master #12: Commit fe6be9c pushed by hivert
January 6, 2025 09:03 1h 47m 22s master
master
January 6, 2025 09:03 1h 47m 22s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-8.18 #10: Commit dd80823 pushed by hivert
December 11, 2024 10:18 25m 31s master
master
December 11, 2024 10:18 25m 31s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-8.20 #4: Commit dd80823 pushed by hivert
December 11, 2024 10:18 22m 55s master
master
December 11, 2024 10:18 22m 55s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-master #11: Commit dd80823 pushed by hivert
December 11, 2024 10:18 1m 45s master
master
December 11, 2024 10:18 1m 45s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-8.19 #10: Commit dd80823 pushed by hivert
December 11, 2024 10:18 15m 13s master
master
December 11, 2024 10:18 15m 13s
Initial Import of spectral theorem and bilinear forms Nix CI for bundle coq-8.19 #9: Commit 4291495 pushed by hivert
November 14, 2024 07:55 17m 59s master
master
November 14, 2024 07:55 17m 59s
Initial Import of spectral theorem and bilinear forms Nix CI for bundle coq-master #10: Commit 4291495 pushed by hivert
November 14, 2024 07:55 40m 19s master
master
November 14, 2024 07:55 40m 19s
Initial Import of spectral theorem and bilinear forms Nix CI for bundle coq-8.20 #3: Commit 4291495 pushed by hivert
November 14, 2024 07:55 18m 59s master
master
November 14, 2024 07:55 18m 59s
Initial Import of spectral theorem and bilinear forms Nix CI for bundle coq-8.18 #9: Commit 4291495 pushed by hivert
November 14, 2024 07:55 27m 49s master
master
November 14, 2024 07:55 27m 49s
Merge pull request #1281 from math-comp/ssralg-doc Nix CI for bundle coq-8.19 #8: Commit c16d2b0 pushed by hivert
October 1, 2024 16:42 25m 1s master
master
October 1, 2024 16:42 25m 1s
Merge pull request #1281 from math-comp/ssralg-doc Nix CI for bundle coq-8.20 #2: Commit c16d2b0 pushed by hivert
October 1, 2024 16:42 18m 22s master
master
October 1, 2024 16:42 18m 22s
Merge pull request #1281 from math-comp/ssralg-doc Nix CI for bundle coq-master #9: Commit c16d2b0 pushed by hivert
October 1, 2024 16:42 1h 55m 55s master
master
October 1, 2024 16:42 1h 55m 55s
Merge pull request #1281 from math-comp/ssralg-doc Nix CI for bundle coq-8.18 #8: Commit c16d2b0 pushed by hivert
October 1, 2024 16:42 18m 16s master
master
October 1, 2024 16:42 18m 16s
Merge pull request #1274 from math-comp/cleanup-1125 Nix CI for bundle coq-8.20 #1: Commit 1a73455 pushed by hivert
September 22, 2024 19:05 25m 50s master
master
September 22, 2024 19:05 25m 50s
Merge pull request #1274 from math-comp/cleanup-1125 Nix CI for bundle coq-8.18 #7: Commit 1a73455 pushed by hivert
September 22, 2024 19:05 23m 18s master
master
September 22, 2024 19:05 23m 18s
Merge pull request #1274 from math-comp/cleanup-1125 Nix CI for bundle coq-8.19 #7: Commit 1a73455 pushed by hivert
September 22, 2024 19:05 29m 0s master
master
September 22, 2024 19:05 29m 0s
Merge pull request #1274 from math-comp/cleanup-1125 Nix CI for bundle coq-master #8: Commit 1a73455 pushed by hivert
September 22, 2024 19:05 1h 16m 43s master
master
September 22, 2024 19:05 1h 16m 43s