8000 CI · Workflow runs · fblanqui/color · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: fblanqui/color

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to rocq + remove many warnings (#57) CI #100: Commit 910eb18 pushed by fblanqui
June 6, 2025 17:46 12m 58s master
master
June 6, 2025 17:46 12m 58s
adapt to rocq + remove many warnings CI #99: Pull request #57 synchronize by fblanqui
June 6, 2025 17:03 16m 43s rocq
rocq
June 6, 2025 17:03 16m 43s
wip CI #98: Commit 43649dc pushed by fblanqui
June 6, 2025 17:03 12m 46s rocq
rocq
June 6, 2025 17:03 12m 46s
adapt to rocq + remove many warnings CI #97: Pull request #57 synchronize by fblanqui
June 6, 2025 16:55 12m 25s rocq
rocq
June 6, 2025 16:55 12m 25s
wip CI #96: Commit 150065d pushed by fblanqui
June 6, 2025 16:55 12m 23s rocq
rocq
June 6, 2025 16:55 12m 23s
adapt to rocq + remove many warnings CI #95: Pull request #57 synchronize by fblanqui
June 6, 2025 16:51 1m 46s rocq
rocq
June 6, 2025 16:51 1m 46s
wip CI #94: Commit 48ba079 pushed by fblanqui
June 6, 2025 16:51 1m 38s rocq
rocq
June 6, 2025 16:51 1m 38s
adapt to rocq + remove many warnings CI #93: Pull request #57 synchronize by fblanqui
June 6, 2025 16:46 1m 42s rocq
rocq
June 6, 2025 16:46 1m 42s
wip CI #92: Commit a54f2ec pushed by fblanqui
June 6, 2025 16:46 1m 35s rocq
rocq
June 6, 2025 16:46 1m 35s
adapt to rocq + remove many warnings CI #91: Pull request #57 synchronize by fblanqui
June 6, 2025 16:41 1m 35s rocq
rocq
June 6, 2025 16:41 1m 35s
wip CI #90: Commit 2f5c01c pushed by fblanqui
June 6, 2025 16:41 10000 1m 39s rocq
rocq
June 6, 2025 16:41 1m 39s
adapt to rocq + remove many warnings CI #89: Pull request #57 synchronize by fblanqui
June 6, 2025 16:38 1m 38s rocq
rocq
June 6, 2025 16:38 1m 38s
update ci CI #88: Commit 655dcba pushed by fblanqui
June 6, 2025 16:38 1m 36s rocq
rocq
June 6, 2025 16:38 1m 36s
adapt to rocq + remove many warnings CI #87: Pull request #57 opened by fblanqui
June 6, 2025 16:22 12m 16s rocq
rocq
June 6, 2025 16:22 12m 16s
adapt to rocq + remove many warnings CI #86: Commit e7efd23 pushed by fblanqui
June 6, 2025 16:22 12m 32s rocq
rocq
June 6, 2025 16:22 12m 32s
update ci script (#56) CI #85: Commit 4843a48 pushed by fblanqui
February 18, 2025 10:09 5m 10s master
master
February 18, 2025 10:09 5m 10s
update ci script CI #84: Pull request #56 synchronize by fblanqui
February 18, 2025 09:43 8m 22s ci
ci
February 18, 2025 09:43 8m 22s
wip CI #83: Commit 3b29d34 pushed by fblanqui
February 18, 2025 09:43 8m 10s ci
ci
February 18, 2025 09:43 8m 10s
update ci script CI #82: Pull request #56 synchronize by fblanqui
February 18, 2025 09:41 5m 20s ci
ci
February 18, 2025 09:41 5m 20s
wip CI #81: Commit 5ab9189 pushed by fblanqui
February 18, 2025 09:41 5m 51s ci
ci
February 18, 2025 09:41 A522 5m 51s
update ci script CI #80: Pull request #56 opened by fblanqui
February 18, 2025 09:36 5m 22s ci
ci
February 18, 2025 09:36 5m 22s
update ci script CI #79: Commit bf94a08 pushed by fblanqui
February 18, 2025 09:36 5m 19s ci
ci
February 18, 2025 09:36 5m 19s
Require Sumbool to use it in free_unif.v (#55) CI #78: Commit c867546 pushed by fblanqui
November 3, 2024 16:33 5m 40s master
master
November 3, 2024 16:33 5m 40s
Require Sumbool to use it in free_unif.v (for coq/coq#19801) CI #77: Pull request #55 opened by andres-erbsen
November 3, 2024 16:13 5m 41s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:13 5m 41s
ci: add coq 8.20 (#54) CI #76: Commit d35c2ed pushed by fblanqui
September 17, 2024 10:26 5m 29s master
master
September 17, 2024 10:26 5m 29s
0