Skip to content

Actions: coq/coq.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Redirect /refman to current version of refman with explicit version. CI #54: Commit d30d1f9 pushed by Zimmi48
January 31, 2024 13:07 2m 28s master
master
January 31, 2024 13:07 2m 28s
Update current version CI #53: Commit 8030543 pushed by SkySkimmer
January 24, 2024 12:53 5m 16s master
master
January 24, 2024 12:53 5m 16s
Remove "consortium support services" section CI #52: Pull request #237 opened by SkySkimmer
January 23, 2024 08:35 5m 7s nosupport
nosupport
January 23, 2024 08:35 5m 7s
Remove "consortium support services" section CI #51: Commit bcffa69 pushed by SkySkimmer
January 23, 2024 08:35 5m 16s nosupport
nosupport
January 23, 2024 08:35 5m 16s
Merge pull request #236 from brandenburg/anchor-fix CI #50: Commit 294a8c8 pushed by Zimmi48
December 22, 2023 16:45 5m 17s master
master
December 22, 2023 16:45 5m 17s
propagate hash fragment (=href anchor) when redirecting URLs CI #49: Pull request #236 opened by brandenburg
December 21, 2023 21:53 5m 18s brandenburg:anchor-fix
brandenburg:anchor-fix
December 21, 2023 21:53 5m 18s
Add redirection for wiki links. CI #48: Commit b7102d0 pushed by Zimmi48
November 13, 2023 09:50 9m 47s master
master
November 13, 2023 09:50 9m 47s
Clarify wording in experimental / discontinued interfaces category. CI #47: Commit 0f17e4b pushed by Zimmi48
October 30, 2023 16:21 11m 36s master
master
October 30, 2023 16:21 11m 36s