Skip to content

Actions: math-comp/hierarchy-builder

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,662 workflow runs
1,662 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #433 from math-comp/gares-patch-1 Nix CI for bundle coq-8.19 #83: Commit 5f37676 pushed by gares
July 3, 2024 21:51 19m 18s master
master
July 3, 2024 21:51 19m 18s
Merge pull request #433 from math-comp/gares-patch-1 Nix CI for bundle coq-8.18 #279: Commit 5f37676 pushed by gares
July 3, 2024 21:51 18m 18s master
master
July 3, 2024 21:51 18m 18s
Merge pull request #433 from math-comp/gares-patch-1 Nix CI for bundle coq-master #278: Commit 5f37676 pushed by gares
July 3, 2024 21:51 17m 32s master
master
July 3, 2024 21:51 17m 32s
Merge pull request #433 from math-comp/gares-patch-1 docker CI #1234: Commit 5f37676 pushed by gares
July 3, 2024 21:51 5m 13s master
master
July 3, 2024 21:51 5m 13s
make copy-pack-holes failsafe docker CI #1233: Pull request #433 opened by gares
July 3, 2024 15:07 5m 47s gares-patch-1
gares-patch-1
July 3, 2024 15:07 5m 47s
make copy-pack-holes failsafe Nix CI for bundle coq-8.18 #278: Pull request #433 opened by gares
July 3, 2024 15:07 47m 31s
July 3, 2024 15:07 47m 31s
make copy-pack-holes failsafe Nix CI for bundle coq-8.19 #82: Pull request #433 opened by gares
July 3, 2024 15:07 46m 42s
July 3, 2024 15:07 46m 42s
make copy-pack-holes failsafe Nix CI for bundle coq-master #277: Pull request #433 opened by gares
July 3, 2024 15:07 43m 9s
July 3, 2024 15:07 43m 9s
Generalized coercions docker CI #1232: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 6m 31s Tragicus:proto-coercion
Tragicus:proto-coercion
June 27, 2024 15:21 6m 31s
Generalized coercions Nix CI for bundle coq-master #276: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 1h 51m 53s
June 27, 2024 15:21 1h 51m 53s
Generalized coercions Nix CI for bundle coq-8.18 #277: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 1h 42m 32s
June 27, 2024 15:21 1h 42m 32s
Generalized coercions Nix CI for bundle coq-8.19 #81: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 1h 53m 29s
June 27, 2024 15:21 1h 53m 29s
Merge pull request #414 from math-comp/saturate-filter docker CI #1231: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 13m 22s master
master
June 27, 2024 14:55 13m 22s
Merge pull request #414 from math-comp/saturate-filter Nix CI for bundle coq-master #275: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 1h 24m 26s master
master
June 27, 2024 14:55 1h 24m 26s
Merge pull request #414 from math-comp/saturate-filter Nix CI for bundle coq-8.19 #80: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 1h 30m 26s master
master
June 27, 2024 14:55 1h 30m 26s
Merge pull request #414 from math-comp/saturate-filter Nix CI for bundle coq-8.18 #276: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 1h 23m 37s master
master
June 27, 2024 14:55 1h 23m 37s
Generalized coercions docker CI #1230: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 5m 14s Tragicus:proto-coercion
Tragicus:proto-coercion
June 27, 2024 10:57 5m 14s
Generalized coercions Nix CI for bundle coq-8.19 #79: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 1h 50m 24s
June 27, 2024 10:57 1h 50m 24s
Generalized coercions Nix CI for bundle coq-master #274: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 1h 47m 16s
June 27, 2024 10:57 1h 47m 16s
Generalized coercions Nix CI for bundle coq-8.18 #275: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 1h 47m 44s
June 27, 2024 10:57 1h 47m 44s
Generalized coercions Nix CI for bundle coq-master #273: Pull request #420 synchronize by Tragicus
June 27, 2024 10:55 1h 50m 57s
June 27, 2024 10:55 1h 50m 57s
Generalized coercions Nix CI for bundle coq-8.19 #78: Pull request #420 synchronize by Tragicus
June 27, 2024 10:55 1h 46m 19s
June 27, 2024 10:55 1h 46m 19s
Generalized coercions Nix CI for bundle coq-8.18 #274: Pull request #420 synchronize by Tragicus
June 27, 2024 10:55 1h 55m 1s
June 27, 2024 10:55 1h 55m 1s
Update nix (#424) docker CI #1229: Commit e4bbc38 pushed by CohenCyril
June 27, 2024 08:36 5m 14s master
master
June 27, 2024 08:36 5m 14s
Update nix (#424) Nix CI for bundle coq-8.18 #273: Commit e4bbc38 pushed by CohenCyril
June 27, 2024 08:36 46m 13s master
master
June 27, 2024 08:36 46m 13s