Skip to content

Actions: coq-community/coq-ext-lib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues and PRs Close stale issues and PRs #77: Scheduled
April 1, 2024 02:08 14s master
master
April 1, 2024 02:08 14s
Close stale issues and PRs Close stale issues and PRs #76: Scheduled
March 25, 2024 02:02 12s master
master
March 25, 2024 02:02 12s
Close stale issues and PRs Close stale issues and PRs #75: Scheduled
March 18, 2024 02:00 15s master
master
March 18, 2024 02:00 15s
Close stale issues and PRs Close stale issues and PRs #74: Scheduled
March 11, 2024 02:00 2m 25s master
master
March 11, 2024 02:00 2m 25s
Update stale.yml Docker CI #39: Commit f3d86bc pushed by liyishuai
March 6, 2024 07:19 7m 23s master
master
March 6, 2024 07:19 7m 23s
Close stale issues and PRs Close stale issues and PRs #73: Scheduled
March 6, 2024 02:01 14s master
master
March 6, 2024 02:01 14s
Close stale issues and PRs Close stale issues and PRs #72: Scheduled
March 5, 2024 02:01 16s master
master
March 5, 2024 02:01 16s
CI for Coq 8.19 Docker CI #38: Commit 7f2663d pushed by liyishuai
February 26, 2024 08:43 7m 49s master
master
February 26, 2024 08:43 7m 49s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #37: Commit 2b9b50d pushed by liyishuai
February 1, 2024 07:58 8m 9s master
master
February 1, 2024 07:58 8m 9s
CI: checkout v4 Docker CI #36: Commit 5b8f234 pushed by liyishuai
January 31, 2024 18:36 47m 47s master
master
January 31, 2024 18:36 47m 47s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #35: Pull request #142 opened by proux01
January 31, 2024 12:16 48m 41s coq_18590
coq_18590
January 31, 2024 12:16 48m 41s
Add Hint Mode to Functor, Applicative, Monad Docker CI #34: Commit d47e472 pushed by liyishuai
January 26, 2024 06:25 48m 3s master
master
January 26, 2024 06:25 48m 3s
Add Hint Mode to Functor, Applicative, Monad Docker CI #33: Pull request #126 synchronize by liyishuai
January 26, 2024 06:10 47m 29s Lysxia:mode
Lysxia:mode
January 26, 2024 06:10 47m 29s
pages build and deployment with artifacts-next pages-build-deployment #7: by liyishuai
January 17, 2024 23:02 54s gh-pages
gh-pages
January 17, 2024 23:02 54s
Update templates Docker CI #32: Commit 961c802 pushed by liyishuai
January 17, 2024 22:59 58m 39s master
master
January 17, 2024 22:59 58m 39s
Update templates Docker CI #31: Commit 652db53 pushed by liyishuai
January 17, 2024 22:58 58m 18s master
master
January 17, 2024 22:58 58m 18s
Add Hint Mode to Functor, Applicative, Monad Docker CI #30: Pull request #126 synchronize by liyishuai
January 16, 2024 19:06 31m 9s Lysxia:mode
Lysxia:mode
January 16, 2024 19:06 31m 9s
Add Hint Mode to Functor, Applicative, Monad Docker CI #29: Pull request #126 synchronize by liyishuai
January 12, 2024 18:40 44m 0s Lysxia:mode
Lysxia:mode
January 12, 2024 18:40 44m 0s