Skip to content

Actions: Zimmi48/coq

Actions

Check conflicts

Actions

Loading...

Show workflow options

Create status badge

check-conflicts.yml
72 workflow runs
72 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Changelog for 8.17.1. Check conflicts #441: Commit 6ff8672 pushed by Zimmi48
June 23, 2023 13:36 12s changelog-8.17.1
changelog-8.17.1
June 23, 2023 13:36 12s
Changelog for 8.17.1. Check conflicts #440: Commit eb8ea8b pushed by Zimmi48
June 23, 2023 11:13 13s changelog-8.17.1
changelog-8.17.1
June 23, 2023 11:13 13s
Changelog for 8.17.1. Check conflicts #439: Commit 5b4391e pushed by Zimmi48
June 22, 2023 08:59 12s changelog-8.17.1
changelog-8.17.1
June 22, 2023 08:59 12s
Backport PR #17756: Fix debug install printers after coqworkmgrapi na… Check conflicts #438: Commit 50ec010 pushed by Zimmi48
June 21, 2023 13:50 16s staging-v8.17
staging-v8.17
June 21, 2023 13:50 16s
Fix documentation of add_top. Check conflicts #437: Commit 36730bc pushed by Zimmi48
June 20, 2023 15:23 13s fix-add_top-doc
fix-add_top-doc
June 20, 2023 15:23 13s
Backport PR #17743: [stm] fix regression introduced in de2d782 Check conflicts #436: Commit c716867 pushed by Zimmi48
June 20, 2023 11:04 11s staging-v8.17
staging-v8.17
June 20, 2023 11:04 11s
Improvements to the stdlib hint db section. Check conflicts #435: Commit 6c94ff9 pushed by Zimmi48
June 20, 2023 09:24 12s fix-doc-after-16258
fix-doc-after-16258
June 20, 2023 09:24 12s
Adapt examples in warning attribute documentation. Check conflicts #434: Commit 3541ef9 pushed by proux01
June 20, 2023 06:10 13s update-warning-attribute-doc
update-warning-attribute-doc
June 20, 2023 06:10 13s
Backport PR #17270: [coqdep] give relative paths to META and .cmxs fi… Check conflicts #433: Commit cbf1d67 pushed by Zimmi48
June 19, 2023 13:59 14s staging-v8.17
staging-v8.17
June 19, 2023 13:59 14s
Backport PR #17743: [stm] fix regression introduced in de2d782 Check conflicts #432: Commit f3df7a5 pushed by Zimmi48
June 19, 2023 13:23 10s staging-v8.17
staging-v8.17
June 19, 2023 13:23 10s
Adapt examples in warning attribute documentation. Check conflicts #431: Commit b333e60 pushed by Zimmi48
June 19, 2023 13:04 12s update-warning-attribute-doc
update-warning-attribute-doc
June 19, 2023 13:04 12s
Fatal warnings for duplicate objects in Coq refman. Check conflicts #430: Commit ea5313f pushed by Zimmi48
June 19, 2023 12:50 12s warn-duplicate-objects
warn-duplicate-objects
June 19, 2023 12:50 12s
Stop considering Warnings experimental and add more cross-links. Check conflicts #429: Commit 7b06d63 pushed by Zimmi48
June 19, 2023 12:31 13s warnings-doc-update
warnings-doc-update
June 19, 2023 12:31 13s
Stop considering Warnings experimental and add more cross-links. Check conflicts #428: Commit fb42936 pushed by Zimmi48
June 19, 2023 12:21 13s warnings-doc-update
warnings-doc-update
June 19, 2023 12:21 13s
Change section structure of auto chapter. Check conflicts #427: Commit 69de625 pushed by Zimmi48
June 19, 2023 12:18 15s fix-doc-after-16258
fix-doc-after-16258
June 19, 2023 12:18 15s
Fix documentation after change of default locality in #16258. Check conflicts #426: Commit 58ac2d8 pushed by Zimmi48
June 19, 2023 08:58 13s fix-doc-after-16258
fix-doc-after-16258
June 19, 2023 08:58 13s
Fatal warnings for duplicate objects in Coq refman. Check conflicts #425: Commit e3ea552 pushed by Zimmi48
June 15, 2023 13:42 12s warn-duplicate-objects
warn-duplicate-objects
June 15, 2023 13:42 12s
Stop considering Warnings experimental and add more cross-links. Check conflicts #424: Commit 948ce26 pushed by Zimmi48
June 15, 2023 09:53 15s warnings-doc-update
warnings-doc-update
June 15, 2023 09:53 15s
Backport PR #17495: Remove leftover "redoing byextend" debug message Check conflicts #423: Commit bce0c29 pushed by Zimmi48
May 16, 2023 15:16 13s staging-v8.17
staging-v8.17
May 16, 2023 15:16 13s
Other minor adjustments and clean-ups to the contributing guide. Check conflicts #422: Commit 2e1bc3c pushed by Zimmi48
April 27, 2023 14:48 13s update-contributing
update-contributing
April 27, 2023 14:48 13s
Other minor adjustments and clean-ups to the contributing guide. Check conflicts #421: Commit e04a0a0 pushed by Zimmi48
April 21, 2023 15:38 11s update-contributing
update-contributing
April 21, 2023 15:38 11s
Merge PR #17510: Remove old overlay files Check conflicts #420: Commit 9368fc2 pushed by Zimmi48
April 21, 2023 07:48 11s master
master
April 21, 2023 07:48 11s