Skip to content

Actions: chipsalliance/verible

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #278: by github-pages bot
December 21, 2023 12:14 42s gh-pages
December 21, 2023 12:14 42s
Merge pull request #2016 from IEncinas10/bugprone-suspicious-semicolon
ci #4146: Commit 4e8133d pushed by hzeller
December 21, 2023 11:54 1h 29m 21s master
December 21, 2023 11:54 1h 29m 21s
pages build and deployment
pages-build-deployment #277: by github-pages bot
December 21, 2023 11:51 47s gh-pages
December 21, 2023 11:51 47s
Merge pull request #2061 from gmlarumbe/master
ci #4145: Commit b2f7d66 pushed by hzeller
December 21, 2023 11:22 33m 29s master
December 21, 2023 11:22 33m 29s
pages build and deployment
pages-build-deployment #276: by github-pages bot
December 20, 2023 17:04 47s gh-pages
December 20, 2023 17:04 47s
Update Emacs config section of language server README.md
ci #4139: Pull request #2061 synchronize by gmlarumbe
December 20, 2023 16:58 15m 23s gmlarumbe:master
December 20, 2023 16:58 15m 23s
Update Emacs config section of language server README.md
ci #4138: Pull request #2061 opened by gmlarumbe
December 20, 2023 16:48 16m 9s gmlarumbe:master
December 20, 2023 16:48 16m 9s
Merge pull request #2060 from hzeller/20231220-update-github-actions
ci #4137: Commit e76f7fc pushed by hzeller
December 20, 2023 16:48 16m 10s master
December 20, 2023 16:48 16m 10s
Update github actions.
ci #4136: Pull request #2060 synchronize by hzeller
December 20, 2023 16:36 15m 57s 20231220-update-github-actions
December 20, 2023 16:36 15m 57s
Update github actions.
ci #4135: Pull request #2060 synchronize by hzeller
December 20, 2023 16:29 5m 28s 20231220-update-github-actions
December 20, 2023 16:29 5m 28s
pages build and deployment
pages-build-deployment #275: by github-pages bot
December 20, 2023 15:32 51s gh-pages
December 20, 2023 15:32 51s
Update github actions.
ci #4134: Pull request #2060 opened by hzeller
December 20, 2023 15:21 16m 7s 20231220-update-github-actions
December 20, 2023 15:21 16m 7s
Merge pull request #2059 from hzeller/20231220-pack-up-static
ci #4133: Commit 7fdc287 pushed by hzeller
December 20, 2023 15:16 16m 19s master
December 20, 2023 15:16 16m 19s
Actually pack up static results for release.
ci #4132: Pull request #2059 synchronize by hzeller
December 20, 2023 14:56 16m 20s 20231220-pack-up-static
December 20, 2023 14:56 16m 20s
Actually pack up static results for release.
ci #4131: Pull request #2059 synchronize by hzeller
December 20, 2023 14:52 17m 0s 20231220-pack-up-static
December 20, 2023 14:52 17m 0s
Actually pack up static results for release.
ci #4130: Pull request #2059 synchronize by hzeller
December 20, 2023 13:55 20m 10s 20231220-pack-up-static
December 20, 2023 13:55 20m 10s
Actually pack up static results for release.
ci #4129: Pull request #2059 opened by hzeller
December 20, 2023 13:54 Startup failure 20231220-pack-up-static
December 20, 2023 13:54 Startup failure
pages build and deployment
pages-build-deployment #274: by github-pages bot
December 20, 2023 11:40 45s gh-pages
December 20, 2023 11:40 45s
Merge pull request #2058 from hzeller/20231219-remove-releases
ci #4128: Commit 5d5835e pushed by hzeller
December 20, 2023 11:21 19m 38s master
December 20, 2023 11:21 19m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-12-20 or the other filters available.