Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
365 workflow run results
365 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #18300: [configure] Move test-suite configure parts to test-… Check conflicts #4339: Commit d144efb pushed by SkySkimmer
December 7, 2023 12:19 10s master
master
December 7, 2023 12:19 10s
Merge PR #18365: Pin CI for 8.19 Check conflicts #4338: Commit 48b88a9 pushed by SkySkimmer
December 7, 2023 12:18 10s v8.19
v8.19
December 7, 2023 12:18 10s
Merge PR #18371: Fix typos in universe polymorphism documentation Check conflicts #4337: Commit 95884b8 pushed by SkySkimmer
December 7, 2023 12:12 15s master
master
December 7, 2023 12:12 15s
Merge PR #18330: explain the process of updating std++ and Iris Check conflicts #4336: Commit 118e5d7 pushed by SkySkimmer
December 6, 2023 12:59 15s master
master
December 6, 2023 12:59 15s
Ltac2: Take some small APIs from rewriter (fst/snd, Special chars) Check conflicts #4335: Commit 6cd0f09 pushed by SkySkimmer
December 5, 2023 14:58 13s ltac2-apis
ltac2-apis
December 5, 2023 14:58 13s
Take some small APIs from rewriter (fst/snd, Special chars) Check conflicts #4334: Commit e2f410f pushed by SkySkimmer
December 5, 2023 14:58 15s ltac2-apis
ltac2-apis
December 5, 2023 14:58 15s
Ltac2.Char.of_int: use throw instead of raw exception for invalid a… Check conflicts #4333: Commit 3ab1562 pushed by SkySkimmer
December 5, 2023 13:21 11s ltac2-char-of-int
ltac2-char-of-int
December 5, 2023 13:21 11s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin Check conflicts #4332: Commit da0330e pushed by SkySkimmer
December 5, 2023 10:39 11s ltac2-ltac1
ltac2-ltac1
December 5, 2023 10:39 11s
Program: don't error if Program.Tactics is not required Check conflicts #4331: Commit f190592 pushed by SkySkimmer
December 5, 2023 10:24 11s program-require-required
program-require-required
December 5, 2023 10:24 11s
Merge PR #18354: [plugins] (re)-export AST witnesses. Check conflicts #4330: Commit afd902d pushed by SkySkimmer
December 4, 2023 15:59 12s master
master
December 4, 2023 15:59 12s
ci-wrapper: prevent piping from disabling auto colors, enable colors … Check conflicts #4329: Commit 3268546 pushed by SkySkimmer
December 4, 2023 15:52 11s ci-wrapper-color
ci-wrapper-color
December 4, 2023 15:52 11s
Reimplement Ncring_tac reification in ltac instead of typeclasses Check conflicts #4328: Commit b3663ed pushed by SkySkimmer
December 4, 2023 15:06 11s reify-ring-ltac
reify-ring-ltac
December 4, 2023 15:06 11s
Add refman version link for 8.19 Check conflicts #4327: Commit 9ffd842 pushed by SkySkimmer
December 4, 2023 15:04 10s refman-819
refman-819
December 4, 2023 15:04 10s
Pin CI for 8.19 Check conflicts #4326: Commit 46cc6a9 pushed by SkySkimmer
December 4, 2023 15:01 13s 819-pin-ci
819-pin-ci
December 4, 2023 15:01 13s
Merge PR #18293: Guard profiling with a flag in Ltac2. Check conflicts #4325: Commit 89a5cee pushed by SkySkimmer
December 4, 2023 14:46 11s v8.19
v8.19
December 4, 2023 14:46 11s
Merge PR #18319: Bump version (8.20+alpha) Check conflicts #4324: Commit ababbf4 pushed by SkySkimmer
December 4, 2023 14:46 13s master
master
December 4, 2023 14:46 13s
Merge PR #18254: Removing special declaration of instances with `Cont… Check conflicts #4323: Commit 3e28234 pushed by SkySkimmer
December 4, 2023 12:37 11s master
master
December 4, 2023 12:37 11s
Merge PR #17340: Inline identity projections in extraction Check conflicts #4322: Commit 29af35c pushed by SkySkimmer
December 4, 2023 12:03 15s master
master
December 4, 2023 12:03 15s
Remove use of Obj.magic in grammar.ml Check conflicts #4321: Commit 1aa553d pushed by SkySkimmer
November 30, 2023 20:11 14s gramlib-nomagic
gramlib-nomagic
November 30, 2023 20:11 14s
SometimesSquashed of quality set instead of list Check conflicts #4320: Commit 6763659 pushed by SkySkimmer
November 27, 2023 10:00 13s sort-poly-ind
sort-poly-ind
November 27, 2023 10:00 13s
ci-wrapper: prevent piping from disabling auto colors, enable colors … Check conflicts #4319: Commit b9169dc pushed by SkySkimmer
November 24, 2023 22:24 11s ci-wrapper-color
ci-wrapper-color
November 24, 2023 22:24 11s
ci-wrapper: prevent piping from disabling auto colors, enable colors … Check conflicts #4318: Commit 598710d pushed by SkySkimmer
November 24, 2023 17:26 12s ci-wrapper-color
ci-wrapper-color
November 24, 2023 17:26 12s
ci-wrapper: prevent piping from disabling auto colors, enable colors … Check conflicts #4317: Commit 01a16b8 pushed by SkySkimmer
November 24, 2023 15:17 13s ci-wrapper-color
ci-wrapper-color
November 24, 2023 15:17 13s
SometimesSquashed of quality set instead of list Check conflicts #4316: Commit 685d267 pushed by SkySkimmer
November 24, 2023 15:01 11s sort-poly-ind
sort-poly-ind
November 24, 2023 15:01 11s
SometimesSquashed of quality set instead of list Check conflicts #4315: Commit f85461c pushed by SkySkimmer
November 24, 2023 14:42 11s sort-poly-ind
sort-poly-ind
November 24, 2023 14:42 11s