Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,542 workflow runs
12,542 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exposes functionality for inductive types in Ltac2 GitHub macOS CI #15671: Pull request #20475 synchronize by patrick-nicodemus
April 15, 2025 18:40 23m 1s patrick-nicodemus:ltac2_expose_inductive
patrick-nicodemus:ltac2_expose_inductive
April 15, 2025 18:40 23m 1s
Use record instead of tuple for UVars.bound_names Windows CI #14713: Pull request #20496 synchronize by LeoAlexElouan
April 15, 2025 18:08 1h 10m 45s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
April 15, 2025 18:08 1h 10m 45s
Use record instead of tuple for UVars.bound_names GitHub macOS CI #15670: Pull request #20496 synchronize by LeoAlexElouan
April 15, 2025 18:08 25m 58s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
April 15, 2025 18:08 25m 58s
Use record instead of tuple for UVars.bound_names Windows CI #14712: Pull request #20496 synchronize by LeoAlexElouan
April 15, 2025 17:58 1h 19m 3s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
April 15, 2025 17:58 1h 19m 3s
Use record instead of tuple for UVars.bound_names GitHub macOS CI #15669: Pull request #20496 synchronize by LeoAlexElouan
April 15, 2025 17:58 27m 26s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
April 15, 2025 17:58 27m 26s
Extend goal selection to allow multiple named goals GitHub macOS CI #15668: Pull request #20511 synchronize by dhalilov
April 15, 2025 17:15 21m 31s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 17:15 21m 31s
Extend goal selection to allow multiple named goals Windows CI #14711: Pull request #20511 synchronize by dhalilov
April 15, 2025 17:15 46m 22s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 17:15 46m 22s
Exposes functionality for inductive types in Ltac2 GitHub macOS CI #15667: Pull request #20475 synchronize by patrick-nicodemus
April 15, 2025 17:15 24m 45s patrick-nicodemus:ltac2_expose_inductive
patrick-nicodemus:ltac2_expose_inductive
April 15, 2025 17:15 24m 45s
Exposes functionality for inductive types in Ltac2 Windows CI #14710: Pull request #20475 synchronize by patrick-nicodemus
April 15, 2025 17:15 56m 45s patrick-nicodemus:ltac2_expose_inductive
patrick-nicodemus:ltac2_expose_inductive
April 15, 2025 17:15 56m 45s
Exposes functionality for inductive types in Ltac2 Windows CI #14709: Pull request #20475 synchronize by patrick-nicodemus
April 15, 2025 17:14 1h 4m 7s patrick-nicodemus:ltac2_expose_inductive
patrick-nicodemus:ltac2_expose_inductive
April 15, 2025 17:14 1h 4m 7s
Exposes functionality for inductive types in Ltac2 GitHub macOS CI #15666: Pull request #20475 synchronize by patrick-nicodemus
April 15, 2025 17:14 23m 36s patrick-nicodemus:ltac2_expose_inductive
patrick-nicodemus:ltac2_expose_inductive
April 15, 2025 17:14 23m 36s
Extend goal selection to allow multiple named goals GitHub macOS CI #15665: Pull request #20511 synchronize by dhalilov
April 15, 2025 17:05 22m 11s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 17:05 22m 11s
Extend goal selection to allow multiple named goals Windows CI #14708: Pull request #20511 synchronize by dhalilov
April 15, 2025 17:05 46m 4s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 17:05 46m 4s
document user-contrib/Ltac2/Array.v GitHub macOS CI #15664: Pull request #20460 synchronize by MathisBD
April 15, 2025 16:28 37m 38s MathisBD:ltac2_doc_array
MathisBD:ltac2_doc_array
April 15, 2025 16:28 37m 38s
document user-contrib/Ltac2/Array.v Windows CI #14707: Pull request #20460 synchronize by MathisBD
April 15, 2025 16:28 1h 20m 52s MathisBD:ltac2_doc_array
MathisBD:ltac2_doc_array
April 15, 2025 16:28 1h 20m 52s
Merge PR #20459: Add documentation comments to user-contrib/Ltac2/List.v Check conflicts #4509: Commit c43d7c0 pushed by coqbot-app bot
April 15, 2025 16:27 2m 15s master
master
April 15, 2025 16:27 2m 15s
Merge PR #20459: Add documentation comments to user-contrib/Ltac2/List.v Windows CI #14706: Commit c43d7c0 pushed by coqbot-app bot
April 15, 2025 16:27 1h 11m 36s master
master
April 15, 2025 16:27 1h 11m 36s
Merge PR #20459: Add documentation comments to user-contrib/Ltac2/List.v GitHub macOS CI #15663: Commit c43d7c0 pushed by coqbot-app bot
April 15, 2025 16:27 31m 39s master
master
April 15, 2025 16:27 31m 39s
document user-contrib/Ltac2/Array.v GitHub macOS CI #15662: Pull request #20460 synchronize by MathisBD
April 15, 2025 16:26 22m 23s MathisBD:ltac2_doc_array
MathisBD:ltac2_doc_array
April 15, 2025 16:26 22m 23s
document user-contrib/Ltac2/Array.v Windows CI #14705: Pull request #20460 synchronize by MathisBD
April 15, 2025 16:26 1h 14m 28s MathisBD:ltac2_doc_array
MathisBD:ltac2_doc_array
April 15, 2025 16:26 1h 14m 28s
Extend goal selection to allow multiple named goals Windows CI #14704: Pull request #20511 synchronize by dhalilov
April 15, 2025 16:03 38m 8s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 16:03 38m 8s
Extend goal selection to allow multiple named goals GitHub macOS CI #15661: Pull request #20511 synchronize by dhalilov
April 15, 2025 16:03 26m 41s epfl-systemf:multiple-named-goals
epfl-systemf:multiple-named-goals
April 15, 2025 16:03 26m 41s
Doc: add rules for inductive universes Windows CI #14703: Pull request #20527 opened by SkySkimmer
April 15, 2025 15:28 57m 47s SkySkimmer:ind-univ-rules
SkySkimmer:ind-univ-rules
April 15, 2025 15:28 57m 47s
Doc: add rules for inductive universes GitHub macOS CI #15660: Pull request #20527 opened by SkySkimmer
April 15, 2025 15:28 26m 1s SkySkimmer:ind-univ-rules
SkySkimmer:ind-univ-rules
April 15, 2025 15:28 26m 1s
Use record instead of tuple for UVars.bound_names Windows CI #14702: Pull request #20496 synchronize by LeoAlexElouan
April 15, 2025 15:24 1h 1m 13s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
April 15, 2025 15:24 1h 1m 13s