Skip to content

Actions: Zimmi48/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix auto minimizer to download all dependencies Deploy #183: Commit c60ce58 pushed by Zimmi48
January 22, 2025 11:27 5m 11s master
master
January 22, 2025 11:27 5m 11s
Missing newline at the end of a log message. Deploy #182: Commit fba784b pushed by Zimmi48
January 22, 2025 10:56 5m 36s master
master
January 22, 2025 10:56 5m 36s
Manually install Heroku CLI. Deploy #181: Commit 1872523 pushed by Zimmi48
January 15, 2025 14:21 5m 24s master
master
January 15, 2025 14:21 5m 24s
Update versions of actions used in deploy workflow. Deploy #180: Commit a7e3dfc pushed by Zimmi48
January 15, 2025 14:12 5m 7s master
master
January 15, 2025 14:12 5m 7s
Fix fine-grained handling of errors in backport management. Deploy #179: Commit 4627265 pushed by Zimmi48
January 15, 2025 13:59 5m 20s master
master
January 15, 2025 13:59 5m 20s
Adapt to coq/coq#19530. Deploy #178: Commit 0dfe5a3 pushed by Zimmi48
November 14, 2024 15:29 5m 39s master
master
November 14, 2024 15:29 5m 39s
Release the version constraint on ssl. Deploy #177: Commit bee4e86 pushed by Zimmi48
October 28, 2024 13:25 5m 36s master
master
October 28, 2024 13:25 5m 36s
Release the version constraint on ssl. Deploy #176: Commit ca1fa58 pushed by Zimmi48
October 28, 2024 13:22 1m 44s master
master
October 28, 2024 13:22 1m 44s
Bump OCaml version used in Docker image. Deploy #175: Commit e1154c1 pushed by Zimmi48
October 28, 2024 13:17 1m 43s master
master
October 28, 2024 13:17 1m 43s
Update GitHub and GitLab GraphQL schemas. Deploy #174: Commit e832e19 pushed by Zimmi48
October 22, 2024 12:57 1m 9s master
master
October 22, 2024 12:57 1m 9s
Migrate coq/opam to use Inria GitLab instead of GitLab.com. Deploy #173: Commit 9c20d5f pushed by Zimmi48
October 16, 2024 13:28 7m 28s master
master
October 16, 2024 13:28 7m 28s
Workaround another opam timeout. Deploy #172: Commit e41dff5 pushed by Zimmi48
October 16, 2024 13:06 7m 30s master
master
October 16, 2024 13:06 7m 30s
Migrate coq/opam to use Inria GitLab instead of GitLab.com. Deploy #171: Commit 54b689d pushed by Zimmi48
October 16, 2024 12:54 2m 10s master
master
October 16, 2024 12:54 2m 10s
Migrate coq/opam to use Inria GitLab instead of GitLab.com. Deploy #170: Commit f0e057b pushed by Zimmi48
October 16, 2024 12:51 2m 7s master
master
October 16, 2024 12:51 2m 7s
Simplify Docker image build. Deploy #169: Commit 7ce706b pushed by Zimmi48
September 16, 2024 14:44 6m 56s master
master
September 16, 2024 14:44 6m 56s
Update GitHub and GitLab GraphQL schemas. Deploy #168: Commit 850d39c pushed by Zimmi48
September 13, 2024 13:36 7m 51s master
master
September 13, 2024 13:36 7m 51s
Adapt handling of rejected PRs to GitHub projects v2. Deploy #167: Commit 78d0175 pushed by Zimmi48
July 5, 2024 14:45 6m 35s master
master
July 5, 2024 14:45 6m 35s
Adapt handling of rejected PRs to GitHub projects v2. Deploy #166: Commit d697e09 pushed by Zimmi48
July 5, 2024 13:50 6m 35s master
master
July 5, 2024 13:50 6m 35s
Adapt handling of rejected PRs to GitHub projects v2. Deploy #165: Commit ecb3de1 pushed by Zimmi48
July 4, 2024 21:14 5m 56s master
master
July 4, 2024 21:14 5m 56s
Always extract the installation id and use it when we know it's avail… Deploy #164: Commit 57654c5 pushed by Zimmi48
July 4, 2024 14:53 6m 2s master
master
July 4, 2024 14:53 6m 2s
Simplify process to generate a new install key and store install ids. Deploy #163: Commit 882719d pushed by Zimmi48
July 4, 2024 13:18 6m 42s master
master
July 4, 2024 13:18 6m 42s
Temporary testing commit. Deploy #162: Commit 18628b3 pushed by Zimmi48
July 2, 2024 16:28 6m 31s master
master
July 2, 2024 16:28 6m 31s
Test Deploy #161: Commit db25477 pushed by Zimmi48
July 2, 2024 16:07 6m 56s master
master
July 2, 2024 16:07 6m 56s
Temporary testing commit. Deploy #160: Commit 1657724 pushed by Zimmi48
July 2, 2024 14:59 6m 36s master
master
July 2, 2024 14:59 6m 36s
Temporary testing commit. Deploy #159: Commit e3b5bbb pushed by Zimmi48
July 2, 2024 14:28 6m 31s master
master
July 2, 2024 14:28 6m 31s