Skip to content

Actions: coq/coq.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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