Skip to content

Actions: coq-community/templates

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
16 workflow runs
16 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Docker Action: checkout v4 Yaml Lint #306: Commit 440691f pushed by liyishuai
January 26, 2024 06:43 17s checkout-v4
checkout-v4
January 26, 2024 06:43 17s
feat: separate documentation and publication Yaml Lint #305: Pull request #124 opened by liyishuai
January 17, 2024 22:45 17s index
index
January 17, 2024 22:45 17s
feat: separate documentation and publication Yaml Lint #304: Commit 7e9c0ce pushed by liyishuai
January 17, 2024 22:45 17s index
index
January 17, 2024 22:45 17s
Merge pull request #90 from coq-community/index-documentation Yaml Lint #303: Commit 078c045 pushed by palmskog
January 12, 2024 18:51 24s master
master
January 12, 2024 18:51 24s
feat: Add index_documentation Yaml Lint #302: Pull request #90 synchronize by liyishuai
January 11, 2024 01:55 17s index-documentation
index-documentation
January 11, 2024 01:55 17s
feat: Add index_documentation Yaml Lint #301: Commit 56a9136 pushed by liyishuai
January 11, 2024 01:55 16s index-documentation
index-documentation
January 11, 2024 01:55 16s
fix URL of Nix CI shield Yaml Lint #300: Commit a678571 pushed by palmskog
December 22, 2023 11:03 26s master
master
December 22, 2023 11:03 26s
Merge pull request #123 from coq-community/fix-ci-status Yaml Lint #299: Commit 7dccac1 pushed by palmskog
November 19, 2023 17:53 17s master
master
November 19, 2023 17:53 17s
fix CI status and ORCID images in README.md Yaml Lint #298: Pull request #123 opened by palmskog
November 19, 2023 17:52 15s fix-ci-status
fix-ci-status
November 19, 2023 17:52 15s
fix CI status and ORCID images in README.md Yaml Lint #297: Commit 0a652e7 pushed by palmskog
November 19, 2023 17:52 15s fix-ci-status
fix-ci-status
November 19, 2023 17:52 15s
Merge pull request #122 from coq-community/fix-toolbox-link Yaml Lint #296: Commit 9531846 pushed by Zimmi48
October 15, 2023 18:23 23s master
master
October 15, 2023 18:23 23s
Fix links to Coq Nix Toolbox. Yaml Lint #295: Pull request #122 opened by Zimmi48
October 15, 2023 18:02 26s fix-toolbox-link
fix-toolbox-link
October 15, 2023 18:02 26s
Fix link to Coq Nix Toolbox. Yaml Lint #294: Commit 8eeba20 pushed by Zimmi48
October 15, 2023 17:50 4m 51s fix-toolbox-link
fix-toolbox-link
October 15, 2023 17:50 4m 51s