8000 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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add coq 8.20 (#54) Docker CI #76: Commit d35c2ed pushed by fblanqui
September 17, 2024 10:26 5m 29s master
master
September 17, 2024 10:26 5m 29s
ci: add coq 8.20 Docker CI #75: Pull request #54 opened by fblanqui
September 17, 2024 10:07 5m 36s coq8.20
coq8.20
September 17, 2024 10:07 5m 36s
ci: add coq 8.20 Docker CI #74: Commit 1aed2a7 pushed by fblanqui
September 17, 2024 10:06 5m 36s coq8.20
coq8.20
September 17, 2024 10:06 5m 36s
Adapt to https://github.com/coq/coq/pull/19530 (#53) Docker CI #73: Commit 7455c8a pushed by fblanqui
September 17, 2024 09:54 5m 26s master
master
September 17, 2024 09:54 5m 26s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #72: Pull request #53 opened by proux01
September 17, 2024 09:46 5m 51s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:46 5m 51s
github_actions in /. - Update #885564052 Dependabot Updates #11: by dependabot bot
September 16, 2024 18:26 38s master
master
September 16, 2024 18:26 38s
github_actions in /. - Update #881454179 Dependabot Updates #10: by dependabot bot
September 9, 2024 19:01 42s master
master
September 9, 2024 19:01 < 10000 /path> 42s
github_actions in /. - Update #878109465 Dependabot Updates #9: by dependabot bot
September 2, 2024 18:10 35s master
master
September 2, 2024 18:10 35s
github_actions in /. - Update #874385592 Dependabot Updates #8: by dependabot bot
August 26, 2024 18:11 37s master
master
August 26, 2024 18:11 37s
github_actions in /. - Update #871327704 Dependabot Updates #7: by dependabot bot
August 19, 2024 19:03 38s master
master
August 19, 2024 19:03 38s
github_actions in /. - Update #868405526 Dependabot Updates #6: by dependabot bot
August 12, 2024 18:32 36s master
master
August 12, 2024 18:32 36s
github_actions in /. - Update #865374049 Dependabot Updates #5: by dependabot bot
August 5, 2024 18:11 33s master
master
August 5, 2024 18:11 33s
github_actions in /. - Update #861974634 Dependabot Updates #4: by dependabot bot
July 29, 2024 18:21 32s master
master
July 29, 2024 18:21 32s
github_actions in /. - Update #859048594 Dependabot Updates #3: by dependabot bot
July 22, 2024 18:51 40s master
master
July 22, 2024 18:51 40s
Bump actions/checkout from 2 to 4 (#52) Docker CI #71: Commit df743bf pushed by fblanqui
July 16, 2024 11:12 5m 14s master
master
July 16, 2024 11:12 5m 14s
Bump actions/checkout from 2 to 4 Docker CI #70: Pull request #52 opened by dependabot bot
July 16, 2024 10:34 8m 29s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 16, 2024 10:34 8m 29s
Bump actions/checkout from 2 to 4 Docker CI #69: Commit 4f8f9e6 pushed by dependabot bot
July 16, 2024 10:34 5m 7s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 16, 2024 10:34 5m 7s
github_actions in /. - Update #856474016 Dependabot Updates #2: by dependabot bot
July 16, 2024 10:34 33s master
master
July 16, 2024 10:34 33s
github_actions in /. - Update #856474015 Dependabot Updates #1: by dependabot bot
July 16, 2024 10:34 35s master
master
July 16, 2024 10:34 35s
add dependabot.yml Docker CI #68: Commit c31fb84 pushed by fblanqui
July 16, 2024 10:34 5m 12s master
master
July 16, 2024 10:34 5m 12s
opam file lint: fix license name Docker CI #67: Commit b063daf pushed by fblanqui
April 16, 2024 21:46 5m 21s 1.8.5
1.8.5
April 16, 2024 21:46 5m 21s
opam file lint: fix license name Docker CI #66: Commit b063daf pushed by fblanqui
April 16, 2024 21:11 5m 17s master
master
April 16, 2024 21:11 5m 17s
update README Docker CI #65: Commit d257f1d pushed by fblanqui
April 16, 2024 21:03 7m 56s master
master
April 16, 2024 21:03 7m 56s
update README Docker CI #64: Commit 1d79312 pushed by fblanqui
April 16, 2024 21:01 5m 30s master
master
April 16, 2024 21:01 5m 30s
ci: add coq 8.19 (#51) Docker CI #63: Commit a102377 pushed by fblanqui
April 16, 2024 20:50 5m 26s master
master
April 16, 2024 20:50 5m 26s
0