Skip to content

Actions: rocq-prover/rocq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
1,129 workflow runs
1,129 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge PR #21897: Fix regression that prevented some mutual fixpoints … Check conflicts #5496: Commit 148f045 pushed by coqbot-app bot
2m 9s master
master
2m 9s
Merge PR #21907: Add support for unfolding projections with occurrences Check conflicts #5495: Commit c42b2e8 pushed by coqbot-app bot
2m 10s master
master
2m 10s
Merge PR #21858: Fix relevances in identity coercions Check conflicts #5494: Commit 4a10cf3 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21873: VM/native Fix substitution of qualities in relevance… Check conflicts #5493: Commit 365c189 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21876: Removed unused deprecation arguments in tacentries Check conflicts #5492: Commit a2eaff6 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21869: Added APIs for coqlsp Check conflicts #5491: Commit e6e8581 pushed by coqbot-app bot
2m 9s master
master
2m 9s
Merge PR #21881: Add SProp case analysis scheme kinds (scase_dep, sca… Check conflicts #5490: Commit c25eadb pushed by coqbot-app bot
2m 11s master
master
2m 11s
Merge PR #21888: Fix delta resolver propagation with Require in Module Check conflicts #5489: Commit b35ba35 pushed by coqbot-app bot
2m 13s master
master
2m 13s
Merge PR #21875: Add CODEOWNERS entry for ssrrewrite Check conflicts #5488: Commit 7837f4e pushed by coqbot-app bot
2m 9s master
master
2m 9s
Merge PR #21854: Have stricter checks in guard conditions Check conflicts #5487: Commit 4e25811 pushed by coqbot-app bot
2m 10s master
master
2m 10s
Merge PR #21862: Minor cleanups in Hints internals Check conflicts #5486: Commit 120492c pushed by coqbot-app bot
2m 10s master
master
2m 10s
Merge PR #21877: Make it possible to warn when interning a TACTIC EXT… Check conflicts #5485: Commit 5a4f0c2 pushed by coqbot-app bot
3m 8s master
master
3m 8s
Merge PR #21866: coqdev.el regexp parser for rocqtop errors in refman Check conflicts #5484: Commit f2bc100 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21864: Remove calls to CanOrd module in rewrite rule CClosu… Check conflicts #5483: Commit 2bd050f pushed by coqbot-app bot
2m 28s master
master
2m 28s
Merge PR #21868: Stop relying on CanOrd in VM conversion. Check conflicts #5482: Commit 586e63f pushed by coqbot-app bot
2m 19s master
master
2m 19s
Merge PR #21867: Add a debug command to print information about delta… Check conflicts #5481: Commit 49e7647 pushed by coqbot-app bot
2m 19s master
master
2m 19s
Merge PR #21863: Move the dubious compare and hash functions from Con… Check conflicts #5480: Commit ca2b417 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21859: More specific anomalies in contract_case Check conflicts #5479: Commit 042371b pushed by coqbot-app bot
2m 9s master
master
2m 9s
Merge PR #21811: Generalize DeclareScheme to use GlobRef instead of i… Check conflicts #5478: Commit e0862e6 pushed by coqbot-app bot
2m 13s master
master
2m 13s
Merge PR #21848: [coercions] Remove the deprecated nonuniform attribute Check conflicts #5477: Commit 2c5d3d2 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21856: Stop relying on canonical names in VM internals. Check conflicts #5476: Commit 2a9f36a pushed by coqbot-app bot
2m 10s master
master
2m 10s
Merge PR #21478: [ssreflect] Use rw instead of rewrite to avoid confl… Check conflicts #5475: Commit 1353f4c pushed by coqbot-app bot
2m 11s master
master
2m 11s
Merge PR #21844: Use regular recursion instead of hook for missing su… Check conflicts #5474: Commit c1f8dea pushed by coqbot-app bot
2m 12s master
master
2m 12s
Merge PR #21845: Pass correct environment to reduction in guard checker Check conflicts #5473: Commit 6ffb777 pushed by coqbot-app bot
2m 13s master
master
2m 13s
Merge PR #21830: update changes.rst to sync with 9.2 Check conflicts #5472: Commit 94a836d pushed by coqbot-app bot
2m 13s master
master
2m 13s
⚡