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

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
Add redirections for Nix links. CI #46: Commit 9f3953d pushed by Zimmi48
October 15, 2023 17:21 5m 16s master
master
October 15, 2023 17:21 5m 16s
Fix bug redirection by parsing properly path and search. CI #45: Commit ddae0b9 pushed by Zimmi48
October 12, 2023 19:18 5m 30s master
master
October 12, 2023 19:18 5m 30s
Proper regexp escaping. CI #44: Commit 6fdb10b pushed by Zimmi48
October 12, 2023 18:59 6m 5s master
master
October 12, 2023 18:59 6m 5s
Add redirection for migrated bugs. CI #43: Commit 7f8788e pushed by Zimmi48
October 12, 2023 15:41 5m 11s master
master
October 12, 2023 15:41 5m 11s
Add special redirection for V8.0 refman. CI #42: Commit 5e5c307 pushed by Zimmi48
October 12, 2023 15:17 5m 20s master
master
October 12, 2023 15:17 5m 20s
Add missing images to completely fix #228. CI #41: Commit 810b2b7 pushed by Zimmi48
October 12, 2023 13:55 5m 0s master
master
October 12, 2023 13:55 5m 0s
Add the rest of missing css files. CI #40: Commit 1ef9bec pushed by Zimmi48
October 12, 2023 10:55 5m 15s master
master
October 12, 2023 10:55 5m 15s
Fix Makefile after the introduction of a new directory of styles to c… CI #39: Commit 95f5011 pushed by Zimmi48
October 12, 2023 09:30 5m 2s master
master
October 12, 2023 09:30 5m 2s
Add Coq styles where the Coq stdlib doc expects them. CI #38: Commit fd30876 pushed by Zimmi48
October 12, 2023 09:18 5m 46s master
master
October 12, 2023 09:18 5m 46s
Add handling for the /distrib/current/ sub-paths. CI #37: Commit 9b9733f pushed by Zimmi48
October 12, 2023 07:55 5m 24s master
master
October 12, 2023 07:55 5m 24s
Add subpath redirects (#232) CI #36: Commit 92e96df pushed by Zimmi48
October 12, 2023 07:54 5m 49s master
master
October 12, 2023 07:54 5m 49s
Add handling for the /distrib/current/ sub-paths. CI #35: Commit 9ec0e10 pushed by Zimmi48
October 12, 2023 07:53 5m 16s htk-coq-website-fix/master
htk-coq-website-fix/master
October 12, 2023 07:53 5m 16s
Add subpath redirects CI #34: Pull request #232 synchronize by huynhtrankhanh
October 11, 2023 16:28 4m 43s htk-coq-website-fix:master
htk-coq-website-fix:master
October 11, 2023 16:28 4m 43s
Add subpath redirects CI #33: Pull request #232 opened by huynhtrankhanh
October 11, 2023 15:43 5m 15s htk-coq-website-fix:master
htk-coq-website-fix:master
October 11, 2023 15:43 5m 15s
Merge pull request #222 from coq/release-8.18.0 CI #32: Commit 9bdf77e pushed by Zimmi48
October 11, 2023 13:25 5m 3s master
master
October 11, 2023 13:25 5m 3s
Merge pull request #229 from coq/license CI #31: Commit 1c10775 pushed by Zimmi48
October 11, 2023 10:55 5m 15s master
master
October 11, 2023 10:55 5m 15s
Add CC-0 licensing to the Coq website. CI #30: Pull request #229 opened by Zimmi48
October 10, 2023 15:20 5m 11s license
license
October 10, 2023 15:20 5m 11s