8000 Github CI · Workflow runs · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-prover/rocq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-github.yml
639 workflow runs
639 workflow runs

Filter by Event

10000

Filter by Status

Filter by Branch

Filter by Actor

Fix dependencies of the refman-html and refman-pdf targets. Github CI #639: Pull request #20826 opened by Zimmi48
June 29, 2025 14:05 27m 46s Zimmi48:fix-refman-deps
Zimmi48:fix-refman-deps
June 29, 2025 14:05 27m 46s
Correctly deambiguate constructor names when printing pattern matchings. Github CI #638: Pull request #20824 opened by ppedrot
June 28, 2025 18:09 28m 12s ppedrot:print-constr-match-visible-constructor
ppedrot:print-constr-match-visible-constructor
June 28, 2025 18:09 28m 12s
ssr: skip impargs in pattern FO unif Github CI #637: Pull request #20707 synchronize by proux01
June 28, 2025 10:51 29m 17s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 28, 2025 10:51 29m 17s
ssr: skip impargs in pattern FO unif Github CI #636: Pull request #20707 synchronize by proux01
June 28, 2025 10:19 28m 2s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 28, 2025 10:19 28m 2s
ssr: skip impargs in pattern FO unif Github CI #635: Pull request #20707 synchronize by proux01
June 28, 2025 08:14 28m 14s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 28, 2025 08:14 28m 14s
Automatically generated goal names Github CI #634: Pull request #20809 synchronize by dhalilov
June 27, 2025 21:04 28m 34s epfl-systemf:autonaming-goals
epfl-systemf:autonaming-goals
June 27, 2025 21:04 28m 34s
Merge PR #20821: Fix issues in refman Github CI #633: Commit c00429e pushed by coqbot-app bot
June 27, 2025 20:12 28m 7s master
master
June 27, 2025 20:12 28m 7s
Merge PR #20822: [CI] Remove Ralf Jung from perennial contacts Github CI #632: Commit 0590433 pushed by coqbot-app bot
June 27, 2025 20:11 49s master
master
June 27, 2025 20:11 49s
Modify name of induction scheme hypotheses Github CI #631: Pull request #20813 synchronize by dhalilov
June 27, 2025 19:04 28m 32s epfl-systemf:better-names-for-induction-principle-cases
epfl-systemf:better-names-for-induction-principle-cases
June 27, 2025 19:04 28m 32s
[CI] Remove Ralf Jung from perennial contacts Github CI #630: Pull request #20822 opened by proux01
June 27, 2025 18:48 28m 9s proux01:ci-perennial-poc
proux01:ci-perennial-poc
June 27, 2025 18:48 28m 9s
Fix issues in refman Github CI #629: Pull request #20821 opened by ia0
June 27, 2025 18:00 28m 29s ia0:typo
ia0:typo
June 27, 2025 18:00 28m 29s
ssr: skip impargs in pattern FO unif Github CI #628: Pull request #20707 synchronize by gares
June 27, 2025 18:00 31m 44s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 27, 2025 18:00 31m 44s
ssr: skip impargs in pattern FO unif Github CI #627: Pull request #20707 synchronize by gares
June 27, 2025 17:56 4m 2s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 27, 2025 17:56 4m 2s
ssr: skip impargs in pattern FO unif Github CI #626: Pull request #20707 synchronize by gares
June 27, 2025 17:43 12m 39s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 27, 2025 17:43 12m 39s
Add gramlib support for non-associativity and for deactivating the recovery mode Github CI #625: Pull request #17876 synchronize by proux01
June 27, 2025 17:24 34m 10s herbelin:master+gramlib-support-for-non-assoc-and-non-recovery
herbelin:master+gramlib-support-for-non-assoc-and-non-recovery
June 27, 2025 17:24 34m 10s
Add gramlib support for non-associativity and for deactivating the recovery mode Github CI #624: Pull request #17876 synchronize by proux01
June 27, 2025 16:11 5m 43s herbelin:master+gramlib-support-for-non-assoc-and-non-recovery
herbelin:master+gramlib-support-for-non-assoc-and-non-recovery
June 27, 2025 16:11 5m 43s
Changelog for 9.1 (without summary) Github CI #623: Pull request #20807 synchronize by SkySkimmer
June 27, 2025 14:54 28m 14s SkySkimmer:changes-91
SkySkimmer:changes-91
June 27, 2025 14:54 28m 14s
Merge PR #20808: [grammar] Use an option for token_match. Github CI #622: Commit 15695a3 pushed by coqbot-app bot
June 27, 2025 14:52 29m 27s master
master
June 27, 2025 14:52 29m 27s
Merge PR #20810: Congruence tactics now handle primitive ints / float… Github CI #621: Commit 426da2d pushed by coqbot-app bot
June 27, 2025 14:51 39s master
master
June 27, 2025 14:51 39s
Set firstorder solver explicitly to auto with core in prelude Github CI #620: Pull request #20820 synchronize by TheoWinterhalter
June 27, 2025 13:17 28m 28s TheoWinterhalter:auto_with_core_prelude
TheoWinterhalter:auto_with_core_prelude
June 27, 2025 13:17 28m 28s
Set firstorder solver explicitly to auto with core in prelude Github CI #619: Pull request #20820 opened by TheoWinterhalter
June 27, 2025 13:10 6m 12s TheoWinterhalter:auto_with_core_prelude
TheoWinterhalter:auto_with_core_prelude
June 27, 2025 13:10 6m 12s
Start a GoodDefaults file collecting recommended option settings. Github CI #618: Pull request #19117 synchronize by TheoWinterhalter
June 27, 2025 12:59 28m 23s Zimmi48:good-defaults
Zimmi48:good-defaults
June 27, 2025 12:59 28m 23s
Add modules shallowly in kernel module finalizer. Github CI #617: Pull request #20819 opened by ppedrot
June 27, 2025 12:51 27m 33s ppedrot:module-shallow-add-finalize
ppedrot:module-shallow-add-finalize
June 27, 2025 12:51 27m 33s
Start a GoodDefaults file collecting recommended option settings. Github CI #616: Pull request #19117 synchronize by TheoWinterhalter
June 27, 2025 12:36 22m 54s Zimmi48:good-defaults
Zimmi48:good-defaults
June 27, 2025 12:36 22m 54s
ssr: skip impargs in pattern FO unif Github CI #615: Pull request #20707 synchronize by gares
June 27, 2025 10:27 29m 20s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
June 27, 2025 10:27 29m 20s
0