Skip to content

Actions: coq/coq

Actions

Check conflicts

Actions

Loading...

Show workflow options

Create status badge

check-conflicts.yml
1,023 workflow runs
1,023 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge PR #18795: Towards a more uniform API for declare.ml (part decl… Check conflicts #3595: Commit 7e92c03 pushed by coqbot-app bot
May 28, 2024 15:41 4m 19s master
master
May 28, 2024 15:41 4m 19s
Merge PR #19093: Fix file extensions in CODEOWNERS. Check conflicts #3594: Commit 12ae6f2 pushed by coqbot-app bot
May 28, 2024 15:21 4m 20s master
master
May 28, 2024 15:21 4m 20s
Merge PR #19096: Fix stage of ltac2 notation interp map (Tac2env.ltac… Check conflicts #3593: Commit 9d772b5 pushed by coqbot-app bot
May 28, 2024 12:04 4m 18s master
master
May 28, 2024 12:04 4m 18s
Merge PR #19034: More efficient compilation of PArray blobs in the VM. Check conflicts #3592: Commit 00b1b52 pushed by coqbot-app bot
May 28, 2024 08:46 4m 18s master
master
May 28, 2024 08:46 4m 18s
Merge PR #19097: Avoid async proofs messing up test output/auto Check conflicts #3591: Commit d4dfa2c pushed by coqbot-app bot
May 27, 2024 19:46 4m 19s master
master
May 27, 2024 19:46 4m 19s
Merge PR #19083: Various typos, as well as parentheses and spacing en… Check conflicts #3590: Commit 4d1f888 pushed by coqbot-app bot
May 27, 2024 11:34 4m 17s master
master
May 27, 2024 11:34 4m 17s
Merge PR #19086: A few complex guard condition tests found in CI Check conflicts #3589: Commit 827020d pushed by coqbot-app bot
May 27, 2024 09:30 4m 17s master
master
May 27, 2024 09:30 4m 17s
Merge PR #19089: Fixes #18914: check for overlap between notations wa… Check conflicts #3588: Commit ed9fe8e pushed by coqbot-app bot
May 26, 2024 13:01 4m 18s master
master
May 26, 2024 13:01 4m 18s
Merge PR #19080: include_constructor_argument don't ignore sort quali… Check conflicts #3587: Commit 21efd89 pushed by coqbot-app bot
May 26, 2024 11:47 4m 17s master
master
May 26, 2024 11:47 4m 17s
Merge PR #19088: Fixes #19082: regression with primitive projections … Check conflicts #3586: Commit 466a853 pushed by coqbot-app bot
May 26, 2024 11:30 4m 18s master
master
May 26, 2024 11:30 4m 18s
Merge PR #19085: Canonically renaming List.safe_index into List.index… Check conflicts #3585: Commit c4ae777 pushed by coqbot-app bot
May 25, 2024 22:03 4m 16s master
master
May 25, 2024 22:03 4m 16s
Merge PR #19027: Remove the cutrewrite tactic. Check conflicts #3584: Commit 447349e pushed by coqbot-app bot
May 24, 2024 15:24 4m 17s master
master
May 24, 2024 15:24 4m 17s
Merge PR #19050: Code factorization around Evarutil.finalize and prep… Check conflicts #3583: Commit 34411e9 pushed by coqbot-app bot
May 24, 2024 12:41 4m 18s master
master
May 24, 2024 12:41 4m 18s
Merge PR #19065: Tweak a weird syntax in CClosure. Check conflicts #3582: Commit fa5684d pushed by coqbot-app bot
May 24, 2024 09:39 4m 20s master
master
May 24, 2024 09:39 4m 20s
Merge PR #18967: Add a PUSHACCMANY opcode. Check conflicts #3581: Commit ed1ed30 pushed by coqbot-app bot
May 24, 2024 09:17 2m 18s master
master
May 24, 2024 09:17 2m 18s
Merge PR #18964: Add a PUSHENVACCMANY opcode. Check conflicts #3580: Commit 507905d pushed by coqbot-app bot
May 24, 2024 09:16 4m 16s master
master
May 24, 2024 09:16 4m 16s
Merge PR #19076: Avoid using async proofs cache in output tests Check conflicts #3579: Commit 4cd884b pushed by coqbot-app bot
May 24, 2024 09:15 4m 14s master
master
May 24, 2024 09:15 4m 14s
Merge PR #18727: Ltac2: don't use delayed_of_tactic for apply terms Check conflicts #3578: Commit 50cd982 pushed by coqbot-app bot
May 24, 2024 08:48 2m 15s master
master
May 24, 2024 08:48 2m 15s
Merge PR #19069: Switch default locality for TC transparency to Expor… Check conflicts #3577: Commit c67390e pushed by coqbot-app bot
May 24, 2024 08:48 4m 21s master
master
May 24, 2024 08:48 4m 21s
Merge PR #19057: Adding change log for PR #18873 (anomaly instead of … Check conflicts #3576: Commit e05a8ee pushed by coqbot-app bot
May 23, 2024 16:00 4m 16s master
master
May 23, 2024 16:00 4m 16s
Merge PR #18814: Remove slow nia tests Check conflicts #3575: Commit 7094238 pushed by coqbot-app bot
May 23, 2024 15:54 4m 17s master
master
May 23, 2024 15:54 4m 17s
Merge PR #19051: Fix wrapping of guard error with evar map in cofix g… Check conflicts #3574: Commit 82655c1 pushed by coqbot-app bot
May 23, 2024 15:48 4m 18s master
master
May 23, 2024 15:48 4m 18s
Merge PR #18449: ssr/have: use opaque constants Check conflicts #3573: Commit 59803f6 pushed by coqbot-app bot
May 23, 2024 15:22 4m 19s master
master
May 23, 2024 15:22 4m 19s
Merge PR #19067: coqpp: use location annotations for attributes Check conflicts #3572: Commit 2f5f5f7 pushed by coqbot-app bot
May 23, 2024 14:24 4m 16s master
master
May 23, 2024 14:24 4m 16s
Merge PR #19002: Phrasing and formatting of the unsatisfiable constra… Check conflicts #3571: Commit e940393 pushed by coqbot-app bot
May 23, 2024 13:52 4m 19s master
master
May 23, 2024 13:52 4m 19s