Skip to content

Actions: coq/coq.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CC-0 licensing to the Coq website. CI #29: Commit 1fe0938 pushed by Zimmi48
October 10, 2023 15:19 4m 58s license
license
October 10, 2023 15:19 4m 58s
Add redirections for coq.inria.fr/{stdlib,library}. CI #28: Commit fca2498 pushed by Zimmi48
October 9, 2023 19:15 5m 12s master
master
October 9, 2023 19:15 5m 12s
Fix #18140: broken link to bug tracker on homepage. CI #27: Commit 410acb8 pushed by Zimmi48
October 9, 2023 19:09 5m 8s master
master
October 9, 2023 19:09 5m 8s
Merge pull request #227 from coq/update-ui-list CI #26: Commit dda5305 pushed by gares
October 6, 2023 06:01 5m 56s master
master
October 6, 2023 06:01 5m 56s
Most needed changes to Coq's UI page. CI #25: Pull request #227 opened by Zimmi48
October 4, 2023 11:16 4m 29s update-ui-list
update-ui-list
October 4, 2023 11:16 4m 29s
Remove excessive and negative information about jsCoq. CI #24: Commit e29f18b pushed by Zimmi48
October 4, 2023 11:08 4m 22s update-ui-list
update-ui-list
October 4, 2023 11:08 4m 22s
Merge pull request #226 from coq/update-vscode-ext-description CI #23: Commit 98a00d1 pushed by Zimmi48
October 4, 2023 10:41 5m 28s master
master
October 4, 2023 10:41 5m 28s
Update description of VSCode extensions CI #22: Pull request #226 synchronize by gares
October 4, 2023 09:15 5m 8s update-vscode-ext-description
update-vscode-ext-description
October 4, 2023 09:15 5m 8s
Update pages/user-interfaces.html CI #21: Commit 701da1c pushed by gares
October 4, 2023 09:15 5m 0s update-vscode-ext-description
update-vscode-ext-description
October 4, 2023 09:15 5m 0s
Update description of VSCode extensions CI #20: Pull request #226 opened by gares
October 3, 2023 15:41 4m 56s update-vscode-ext-description
update-vscode-ext-description
October 3, 2023 15:41 4m 56s
Update description of VSCode extensions CI #19: Commit 6cda58d pushed by gares
October 3, 2023 15:40 4m 32s update-vscode-ext-description
update-vscode-ext-description
October 3, 2023 15:40 4m 32s
CI CI #18: Manually run by maximedenes
October 2, 2023 17:24 4m 48s master
master
October 2, 2023 17:24 4m 48s
Merge pull request #225 from maximedenes/fix-distrib-redirects CI #17: Commit 1db4898 pushed by maximedenes
October 2, 2023 11:31 4m 46s master
master
October 2, 2023 11:31 4m 46s
Fix some /distrib redirections CI #16: Pull request #225 opened by maximedenes
October 2, 2023 11:12 4m 33s maximedenes:fix-distrib-redirects
maximedenes:fix-distrib-redirects
October 2, 2023 11:12 4m 33s
Merge pull request #224 from maximedenes/add-distrib-redirects CI #15: Commit 103c30b pushed by maximedenes
October 2, 2023 07:50 10m 54s master
master
October 2, 2023 07:50 10m 54s
Stop relying on distrib reverse proxy CI #14: Pull request #224 synchronize by maximedenes
October 2, 2023 07:44 4m 35s maximedenes:add-distrib-redirects
maximedenes:add-distrib-redirects
October 2, 2023 07:44 4m 35s
Stop relying on distrib reverse proxy CI #13: Pull request #224 opened by maximedenes
October 2, 2023 07:32 10m 14s maximedenes:add-distrib-redirects
maximedenes:add-distrib-redirects
October 2, 2023 07:32 10m 14s