Skip to content

Actions: Villetaneuse/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #18443: Granting wish #18097: Print and About see through ab… Check conflicts #120: Commit bc8ec32 pushed by Villetaneuse
January 15, 2024 16:02 14s master
master
January 15, 2024 16:02 14s
Add Symmetric instance for neq in Equalities Check conflicts #119: Commit c1ae475 pushed by Villetaneuse
January 12, 2024 11:46 14s add_Sym_instance_for_neq
add_Sym_instance_for_neq
January 12, 2024 11:46 14s
Add a recap of what is defined in NZAxioms Check conflicts #118: Commit 7ee79d7 pushed by Villetaneuse
January 12, 2024 06:25 16s document_NatInt
document_NatInt
January 12, 2024 06:25 16s
Add a recap of what is defined in NZAxioms Check conflicts #117: Commit 2f0342c pushed by Villetaneuse
January 10, 2024 16:45 11s document_NatInt
document_NatInt
January 10, 2024 16:45 11s
Add documentation in NZAxioms Check conflicts #116: Commit 83a4b05 pushed by Villetaneuse
January 10, 2024 16:29 14s document_NatInt
document_NatInt
January 10, 2024 16:29 14s
update common.edit_mlg and orderedGrammar Check conflicts #115: Commit 2018699 pushed by Villetaneuse
January 10, 2024 12:58 14s remove_include_type
remove_include_type
January 10, 2024 12:58 14s
update fullGrammar Check conflicts #114: Commit feec181 pushed by Villetaneuse
January 10, 2024 12:35 14s remove_include_type
remove_include_type
January 10, 2024 12:35 14s
Remove "Include Type" in documentation Check conflicts #113: Commit c23d7e6 pushed by Villetaneuse
January 10, 2024 11:25 16s remove_include_type
remove_include_type
January 10, 2024 11:25 16s
document Print Namespace Check conflicts #112: Commit e7c894d pushed by Villetaneuse
January 10, 2024 09:55 12s document_print_namespace
document_print_namespace
January 10, 2024 09:55 12s
small typo in modules doc Check conflicts #111: Commit 94ea773 pushed by Villetaneuse
January 10, 2024 09:13 12s typo_modules_doc
typo_modules_doc
January 10, 2024 09:13 12s
Merge PR #18472: Add debug printer for goal_with_state Check conflicts #110: Commit db93e18 pushed by Villetaneuse
January 10, 2024 09:12 14s master
master
January 10, 2024 09:12 14s
translation of dev/doc/style.txt in md Check conflicts #109: Commit 08c2132 pushed by Villetaneuse
January 3, 2024 19:24 13s style_file_md
style_file_md
January 3, 2024 19:24 13s
translation of dev/doc/style.txt in md Check conflicts #108: Commit 42bfe8d pushed by Villetaneuse
January 3, 2024 11:32 12s style_file_md
style_file_md
January 3, 2024 11:32 12s
translation of dev/doc/style.txt in md Check conflicts #107: Commit e104a46 pushed by Villetaneuse
January 3, 2024 11:29 11s style_file_md
style_file_md
January 3, 2024 11:29 11s
translation of dev/doc/style.txt in md Check conflicts #106: Commit 694774f pushed by Villetaneuse
January 3, 2024 11:25 10s style_file_md
style_file_md
January 3, 2024 11:25 10s
translation of dev/doc/style.txt in md Check conflicts #105: Commit 8800d15 pushed by Villetaneuse
January 3, 2024 11:19 12s style_file_md
style_file_md
January 3, 2024 11:19 12s
Merge PR #18460: Fix broken url Check conflicts #104: Commit 973cc47 pushed by Villetaneuse
January 3, 2024 11:16 10s style_file_md
style_file_md
January 3, 2024 11:16 10s
Merge PR #18460: Fix broken url Check conflicts #103: Commit 973cc47 pushed by Villetaneuse
January 3, 2024 11:16 11s master
master
January 3, 2024 11:16 11s
Merge PR #17927: add Z.divide support for Z.to_euclidean_division_equ… Check conflicts #102: Commit 0aab3e0 pushed by Villetaneuse
January 3, 2024 11:14 11s style_file_md
style_file_md
January 3, 2024 11:14 11s
There is no IF_then_else in the stdlib Check conflicts #101: Commit ab0244b pushed by Villetaneuse
December 20, 2023 17:35 11s IF_then_else-doc
IF_then_else-doc
December 20, 2023 17:35 11s
Deprecate obsolete files in NArith Check conflicts #100: Commit 9ddd30f pushed by Villetaneuse
December 12, 2023 15:04 12s deprecate_files
deprecate_files
December 12, 2023 15:04 12s
Consistent permissions in the stdlib Check conflicts #99: Commit cbb5e46 pushed by Villetaneuse
December 9, 2023 08:48 10s consistent_perms
consistent_perms
December 9, 2023 08:48 10s
Consistent permissions in the stdlib Check conflicts #98: Commit c68a08f pushed by Villetaneuse
December 6, 2023 19:00 12s consistent_perms
consistent_perms
December 6, 2023 19:00 12s
Disable allow failure for fiat/cross-crypto Check conflicts #97: Commit 3c15b30 pushed by Villetaneuse
December 2, 2023 11:08 10s disable_allow_failures_18164
disable_allow_failures_18164
December 2, 2023 11:08 10s
Merge PR #18356: Fix typo in documentation Check conflicts #96: Commit 1788628 pushed by Villetaneuse
December 2, 2023 11:08 16s master
master
December 2, 2023 11:08 16s