Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,945 workflow runs
13,945 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #20053: Add rocq --print-version (same as `coqc --print-ve… GitHub macOS CI #14406: Commit 37cbf58 pushed by coqbot-app bot
January 15, 2025 09:28 21m 25s master
master
January 15, 2025 09:28 21m 25s
Merge PR #20053: Add rocq --print-version (same as `coqc --print-ve… Check conflicts #4206: Commit 37cbf58 pushed by coqbot-app bot
January 15, 2025 09:28 2m 14s master
master
January 15, 2025 09:28 2m 14s
Merge PR #20053: Add rocq --print-version (same as `coqc --print-ve… Windows CI #13733: Commit 37cbf58 pushed by coqbot-app bot
January 15, 2025 09:28 In progress master
master
January 15, 2025 09:28 In progress
Deploy Corelib doc Windows CI #13732: Pull request #20057 opened by proux01
January 15, 2025 09:18 In progress proux01:deploy-corelib-doc
proux01:deploy-corelib-doc
January 15, 2025 09:18 In progress
Deploy Corelib doc GitHub macOS CI #14405: Pull request #20057 opened by proux01
January 15, 2025 09:18 23m 39s proux01:deploy-corelib-doc
proux01:deploy-corelib-doc
January 15, 2025 09:18 23m 39s
Stale PRs Stale PRs #883: Scheduled
January 15, 2025 02:23 13s master
master
January 15, 2025 02:23 13s
Backports 9.0 Windows CI #13731: Pull request #20055 opened by ppedrot
January 14, 2025 21:18 42m 7s ppedrot:backports-9.0
ppedrot:backports-9.0
January 14, 2025 21:18 42m 7s
Backports 9.0 GitHub macOS CI #14404: Pull request #20055 opened by ppedrot
January 14, 2025 21:18 24m 43s ppedrot:backports-9.0
ppedrot:backports-9.0
January 14, 2025 21:18 24m 43s
Pin CI developments for the 9.0 branch. GitHub macOS CI #14403: Commit abfe75c pushed by ppedrot
January 14, 2025 21:16 25m 10s v9.0
v9.0
January 14, 2025 21:16 25m 10s
Pin CI developments for the 9.0 branch. Windows CI #13730: Commit abfe75c pushed by ppedrot
January 14, 2025 21:16 57m 48s v9.0
v9.0
January 14, 2025 21:16 57m 48s
Pin CI developments for the 9.0 branch. Check conflicts #4205: Commit abfe75c pushed by ppedrot
January 14, 2025 21:16 12s v9.0
v9.0
January 14, 2025 21:16 12s
Merge PR #20049: Many small renaming fixes, use the Rocq Prover fulln… GitHub macOS CI #14402: Commit f76afe0 pushed by coqbot-app bot
January 14, 2025 20:44 22m 30s master
master
January 14, 2025 20:44 22m 30s
Merge PR #20049: Many small renaming fixes, use the Rocq Prover fulln… Check conflicts #4204: Commit f76afe0 pushed by coqbot-app bot
January 14, 2025 20:44 2m 15s master
master
January 14, 2025 20:44 2m 15s
Merge PR #20049: Many small renaming fixes, use the Rocq Prover fulln… Windows CI #13729: Commit f76afe0 pushed by coqbot-app bot
January 14, 2025 20:44 1h 10m 27s master
master
January 14, 2025 20:44 1h 10m 27s
Ltac redefinition support standard localities (default SuperGlobal) GitHub macOS CI #14401: Pull request #20054 opened by SkySkimmer
January 14, 2025 16:57 24m 20s SkySkimmer:tac-redef-locality
SkySkimmer:tac-redef-locality
January 14, 2025 16:57 24m 20s
Ltac redefinition support standard localities (default SuperGlobal) Windows CI #13728: Pull request #20054 opened by SkySkimmer
January 14, 2025 16:57 1h 11m 25s SkySkimmer:tac-redef-locality
SkySkimmer:tac-redef-locality
January 14, 2025 16:57 1h 11m 25s
rocq timelog2html: handle json profile files GitHub macOS CI #14400: Pull request #18816 synchronize by SkySkimmer
January 14, 2025 16:05 30m 58s SkySkimmer:coqprofreader
SkySkimmer:coqprofreader
January 14, 2025 16:05 30m 58s
rocq timelog2html: handle json profile files Windows CI #13727: Pull request #18816 synchronize by SkySkimmer
January 14, 2025 16:05 1h 0m 58s SkySkimmer:coqprofreader
SkySkimmer:coqprofreader
January 14, 2025 16:05 1h 0m 58s
Cleanup configure directory handling / -prefix GitHub macOS CI #14399: Pull request #20013 synchronize by SkySkimmer
January 14, 2025 16:04 20m 51s SkySkimmer:configure-clean-real
SkySkimmer:configure-clean-real
January 14, 2025 16:04 20m 51s
Cleanup configure directory handling / -prefix Windows CI #13726: Pull request #20013 synchronize by SkySkimmer
January 14, 2025 16:04 6h 0m 32s SkySkimmer:configure-clean-real
SkySkimmer:configure-clean-real
January 14, 2025 16:04 6h 0m 32s
Add rocq --print-version (same as coqc --print-version) GitHub macOS CI #14398: Pull request #20053 opened by SkySkimmer
January 14, 2025 15:55 26m 11s SkySkimmer:print-version
SkySkimmer:print-version
January 14, 2025 15:55 26m 11s
Add rocq --print-version (same as coqc --print-version) Windows CI #13725: Pull request #20053 opened by SkySkimmer
January 14, 2025 15:55 6h 0m 27s SkySkimmer:print-version
SkySkimmer:print-version
January 14, 2025 15:55 6h 0m 27s
Fix Rocq Proof Assistant -> Rocq Prover in rocq --version. GitHub macOS CI #14397: Pull request #20052 opened by Zimmi48
January 14, 2025 15:12 34m 10s Zimmi48:rocq-prover-version
Zimmi48:rocq-prover-version
January 14, 2025 15:12 34m 10s
Fix Rocq Proof Assistant -> Rocq Prover in rocq --version. Windows CI #13724: Pull request #20052 opened by Zimmi48
January 14, 2025 15:12 59m 8s Zimmi48:rocq-prover-version
Zimmi48:rocq-prover-version
January 14, 2025 15:12 59m 8s
Many small renaming fixes, use the Rocq Prover fullname more often. GitHub macOS CI #14396: Pull request #20049 synchronize by Zimmi48
January 14, 2025 15:12 25m 47s Zimmi48:fix-rocq-prover
Zimmi48:fix-rocq-prover
January 14, 2025 15:12 25m 47s
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy