Skip to content

Actions: fblanqui/color

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 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
remove some warnings (#63) CI #18: Commit 7ed50c4 pushed by fblanqui
4m 43s master
master
4m 43s
remove some warnings CI #17: Pull request #63 synchronize by fblanqui
7m 27s warn
warn
7m 27s
wip CI #16: Commit dfecbe1 pushed by fblanqui
7m 35s warn
warn
7m 35s
wip CI #15: Commit b2aa151 pushed by fblanqui
7m 25s warn
warn
7m 25s
remove some warnings CI #14: Pull request #63 synchronize by fblanqui
7m 28s warn
warn
7m 28s
remove some warnings CI #13: Pull request #63 opened by fblanqui
9m 48s warn
warn
9m 48s
remove some warnings CI #12: Commit db67a17 pushed by fblanqui
9m 51s warn
warn
9m 51s
Bump actions/checkout from 6 to 7 (#62) CI #11: Commit 09edf43 pushed by fblanqui
12m 20s master
master
12m 20s
Bump actions/checkout from 6 to 7 CI #10: Pull request #62 opened by dependabot Bot
12m 35s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
12m 35s
Bump actions/checkout from 6 to 7 CI #9: Commit 6b6cfcf pushed by dependabot Bot
11m 55s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
11m 55s
github_actions in /. - Update #1444027471 Dependabot Updates #91: by dependabot Bot
34s master
master
34s
github_actions in /. - Update #1394694987 Dependabot Updates #90: by dependabot Bot
25s master
master
25s
github_actions in /. - Update #1344757567 Dependabot Updates #89: by dependabot Bot
33s master
master
33s
Remove duplicate Proof command (#61) CI #8: Commit 9e82957 pushed by fblanqui
12m 13s master
master
12m 13s
Remove duplicate Proof command CI #7: Pull request #61 opened by SkySkimmer
13m 6s SkySkimmer:warn-missing-proof
SkySkimmer:warn-missing-proof
13m 6s
github_actions in /. - Update #1303723780 Dependabot Updates #88: by dependabot Bot
41s master
master
41s
github_actions in /. - Update #1263320592 Dependabot Updates #87: by dependabot Bot
23s master
master
23s
github_actions in /. - Update #1229188616 Dependabot Updates #86: by dependabot Bot
28s master
master
28s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 (#60) CI #6: Commit 943f0c2 pushed by fblanqui
12m 8s master
master
12m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 CI #5: Pull request #60 opened by proux01
12m 28s proux01:rocq21478
proux01:rocq21478
12m 28s
github_actions in /. - Update #1196588083 Dependabot Updates #85: by dependabot Bot
31s master
master
31s
Bump actions/checkout from 5 to 6 (#59) CI #4: Commit 42d00eb pushed by fblanqui
13m 26s master
master
13m 26s
Bump actions/checkout from 5 to 6 CI #3: Pull request #59 opened by dependabot Bot
12m 48s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
12m 48s
Bump actions/checkout from 5 to 6 CI #2: Commit 58ca94b pushed by dependabot Bot
15m 38s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
15m 38s
github_actions in /. - Update #1170362878 Dependabot Updates #84: by dependabot Bot
36s master
master
36s