Skip to content

Actions: coq-community/templates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #133 from coq-community/readme-maintainers Yaml Lint #331: Commit 7e15aba pushed by palmskog
December 13, 2024 08:30 18s master
master
December 13, 2024 08:30 18s
docs: Add maintainers info Yaml Lint #330: Pull request #133 opened by liyishuai
December 13, 2024 04:01 18s readme-maintainers
readme-maintainers
December 13, 2024 04:01 18s
docs: Add maintainers info Yaml Lint #329: Commit 1deeba7 pushed by liyishuai
December 13, 2024 04:01 19s readme-maintainers
readme-maintainers
December 13, 2024 04:01 19s
docs: Add maintainers info Yaml Lint #328: Commit 013092c pushed by liyishuai
December 13, 2024 03:59 21s readme-maintainers
readme-maintainers
December 13, 2024 03:59 21s
Merge pull request #127 from coq-community/octocat Yaml Lint #327: Commit 9a92f1d pushed by Zimmi48
December 11, 2024 09:18 17s master
master
December 11, 2024 09:18 17s
index.md: replace Octocat URL Yaml Lint #326: Pull request #127 synchronize by liyishuai
December 9, 2024 06:05 16s octocat
octocat
December 9, 2024 06:05 16s
index.md: replace Octocat URL Yaml Lint #325: Commit 517d794 pushed by liyishuai
December 9, 2024 06:05 22s octocat
octocat
December 9, 2024 06:05 22s
Merge pull request #125 from coq-community/checkout-v4 Yaml Lint #324: Commit b22936e pushed by Zimmi48
December 4, 2024 10:57 17s master
master
December 4, 2024 10:57 17s
Merge pull request #130 from coq-community/fix-nix-version Yaml Lint #323: Commit e34c0cb pushed by Zimmi48
October 21, 2024 09:34 22s master
master
October 21, 2024 09:34 22s
Merge pull request #132 from coq-community/dune-3.6 Yaml Lint #322: Commit 523e2fc pushed by palmskog
October 9, 2024 07:06 16s master
master
October 9, 2024 07:06 16s
README: Dune 3.6 Yaml Lint #321: Pull request #132 opened by liyishuai
October 9, 2024 03:23 15s dune-3.6
dune-3.6
October 9, 2024 03:23 15s
README: Dune 3.6 Yaml Lint #320: Commit 3ea83bf pushed by liyishuai
October 9, 2024 03:23 18s dune-3.6
dune-3.6
October 9, 2024 03:23 18s
Merge pull request #131 from coq-community/update-dune Yaml Lint #319: Commit 4dc588f pushed by palmskog
September 20, 2024 13:02 21s master
master
September 20, 2024 13:02 21s
Dune 3.6 Yaml Lint #318: Pull request #131 synchronize by liyishuai
September 20, 2024 12:54 17s update-dune
update-dune
September 20, 2024 12:54 17s
Dune 3.6 Yaml Lint #317: Commit aa9cfcb pushed by liyishuai
September 20, 2024 12:54 18s update-dune
update-dune
September 20, 2024 12:54 18s
Dune 3.6 Yaml Lint #316: Pull request #131 reopened by liyishuai
September 20, 2024 12:53 22s update-dune
update-dune
September 20, 2024 12:53 22s
Dune 3.6 Yaml Lint #315: Pull request #131 synchronize by liyishuai
September 20, 2024 11:19 16s update-dune
update-dune
September 20, 2024 11:19 16s
Update coq.opam.mustache Yaml Lint #314: Commit e5e7e54 pushed by liyishuai
September 20, 2024 11:19 16s update-dune
update-dune
September 20, 2024 11:19 16s
Dune 3.6 Yaml Lint #313: Pull request #131 opened by liyishuai
September 20, 2024 11:18 21s update-dune
update-dune
September 20, 2024 11:18 21s
Dune 3.8 Yaml Lint #312: Commit 51fa66d pushed by liyishuai
September 20, 2024 11:18 20s update-dune
update-dune
September 20, 2024 11:18 20s
fix(nix): Add missing quotes for dev_version if custom value Yaml Lint #311: Pull request #130 opened by erikmd
September 2, 2024 17:21 16s fix-nix-version
fix-nix-version
September 2, 2024 17:21 16s
fix(nix): Add missing quotes for dev_version if custom value Yaml Lint #310: Commit 693e0a4 pushed by erikmd
September 2, 2024 17:18 19s fix-nix-version
fix-nix-version
September 2, 2024 17:18 19s
index.md: replace Octocat URL Yaml Lint #309: Pull request #127 opened by liyishuai
May 20, 2024 06:35 25s octocat
octocat
May 20, 2024 06:35 25s
index.md: replace Octocat URL Yaml Lint #308: Commit 141ecdc pushed by liyishuai
May 20, 2024 06:19 19s octocat
octocat
May 20, 2024 06:19 19s
Docker Action: checkout v4 Yaml Lint #307: Pull request #125 opened by liyishuai
January 26, 2024 06:44 22s checkout-v4
checkout-v4
January 26, 2024 06:44 22s