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

package-index.css: change cursor:grab to cursor:pointer CI #79: Pull request #246 opened by Lysxia
December 21, 2024 10:49 24s Lysxia:patch-1
Lysxia:patch-1
December 21, 2024 10:49 24s
Merge pull request #245 from gmalecha/gmalecha/bedrock-bluerock CI #78: Commit 6b96443 pushed by Zimmi48
December 13, 2024 10:43 2m 24s master
master
December 13, 2024 10:43 2m 24s
Update casing for Coq-community. CI #77: Commit 9fe25c2 pushed by Zimmi48
December 11, 2024 14:26 3m 26s master
master
December 11, 2024 14:26 3m 26s
Remove other link to Zulip archive. CI #76: Commit 6df4afc pushed by Zimmi48
December 11, 2024 14:15 2m 12s master
master
December 11, 2024 14:15 2m 12s
Update regarding Snap. CI #75: Commit 34b59b6 pushed by Zimmi48
December 11, 2024 14:06 2m 33s master
master
December 11, 2024 14:06 2m 33s
Remove link to Zulip archive. CI #74: Commit af94c65 pushed by Zimmi48
December 11, 2024 11:34 2m 26s master
master
December 11, 2024 11:34 2m 26s
Fix estimated release date of Rocq. CI #73: Commit ef459f1 pushed by Zimmi48
December 10, 2024 16:10 5m 51s master
master
December 10, 2024 16:10 5m 51s
Change BedRock Systems to BlueRock Security CI #72: Pull request #245 opened by gmalecha
November 11, 2024 00:54 5m 9s gmalecha:gmalecha/bedrock-bluerock
gmalecha:gmalecha/bedrock-bluerock
November 11, 2024 00:54 5m 9s
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