Skip to content

Actions: coq/coq.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add link to 2024 edition of UniMath school. CI #71: Commit 064d5f9 pushed by Zimmi48
October 18, 2024 12:42 5m 27s master
master
October 18, 2024 12:42 5m 27s
Merge pull request #243 from proux01/rm820 CI #70: Commit 95234ad pushed by proux01
September 10, 2024 08:54 2m 13s master
master
September 10, 2024 08:54 2m 13s
Update coq-team.html CI #69: Pull request #243 opened by proux01
September 10, 2024 08:51 2m 4s proux01:rm820
proux01:rm820
September 10, 2024 08:51 2m 4s
Update current version CI #68: Commit ba42668 pushed by proux01
September 4, 2024 11:36 5m 19s master
master
September 4, 2024 11:36 5m 19s
Merge pull request #242 from coq/gares-patch-1 CI #67: Commit cea6ff5 pushed by gares
July 25, 2024 13:16 5m 23s master
master
July 25, 2024 13:16 5m 23s
Update coq-team.html CI #66: Pull request #242 opened by gares
July 25, 2024 13:02 5m 16s gares-patch-1
gares-patch-1
July 25, 2024 13:02 5m 16s
Update coq-team.html CI #65: Commit 1eb33f5 pushed by gares
July 25, 2024 13:02 5m 16s gares-patch-1
gares-patch-1
July 25, 2024 13:02 5m 16s
Merge pull request #241 from gasche/mention-the-rocq-rename CI #64: Commit 2a795a1 pushed by tabareau
July 5, 2024 15:20 5m 19s master
master
July 5, 2024 15:20 5m 19s
mention the Rocq rename CI #63: Pull request #241 synchronize by gasche
July 5, 2024 13:07 7m 23s gasche:mention-the-rocq-rename
gasche:mention-the-rocq-rename
July 5, 2024 13:07 7m 23s
mention the Rocq rename CI #62: Pull request #241 synchronize by gasche
July 5, 2024 09:38 2m 7s gasche:mention-the-rocq-rename
gasche:mention-the-rocq-rename
July 5, 2024 09:38 2m 7s
mention the Rocq rename CI #61: Pull request #241 synchronize by gasche
July 5, 2024 07:48 1m 52s gasche:mention-the-rocq-rename
gasche:mention-the-rocq-rename
July 5, 2024 07:48 1m 52s
mention the Rocq rename CI #60: Pull request #241 opened by gasche
July 4, 2024 21:10 4m 55s gasche:mention-the-rocq-rename
gasche:mention-the-rocq-rename
July 4, 2024 21:10 4m 55s
Update current version CI #59: Commit 55bff5d pushed by SkySkimmer
June 10, 2024 11:35 5m 27s master
master
June 10, 2024 11:35 5m 27s
Merge pull request #237 from coq/nosupport CI #58: Commit 75f2770 pushed by mattam82
March 7, 2024 08:52 2m 40s master
master
March 7, 2024 08:52 2m 40s
Merge pull request #240 from coq/update-teams CI #57: Commit 3fafb1c pushed by mattam82
March 7, 2024 07:30 5m 30s master
master
March 7, 2024 07:30 5m 30s
Update the core and coordinators teams CI #56: Pull request #240 opened by mattam82
February 28, 2024 10:18 5m 18s update-teams
update-teams
February 28, 2024 10:18 5m 18s
Update the core and coordinators teams CI #55: Commit 1215e6c pushed by mattam82
February 28, 2024 10:14 5m 26s update-teams
update-teams
February 28, 2024 10:14 5m 26s
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