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

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