Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: use --real when generating per file timing tables Check conflicts #4289: Commit c768e3d pushed by SkySkimmer
November 22, 2023 12:47 20s real-times
real-times
November 22, 2023 12:47 20s
Merge PR #18249: CI: pipe logs for ci-foo to "foo.log" instead of tim… Check conflicts #4288: Commit f74ae51 pushed by SkySkimmer
November 22, 2023 12:47 12s master
master
November 22, 2023 12:47 12s
qvar_irrelevant in default_evar_handler: assert that the qvar is known Check conflicts #4287: Commit e83c760 pushed by SkySkimmer
November 21, 2023 16:33 11s fix-sort-poly-relevance
fix-sort-poly-relevance
November 21, 2023 16:33 11s
Merge PR #18271: Remove codeowners entry for test-suite/complexity Check conflicts #4286: Commit 811423f pushed by SkySkimmer
November 21, 2023 16:17 15s master
master
November 21, 2023 16:17 15s
"rewrite_strat strat with db" syntax Check conflicts #4285: Commit aafc185 pushed by SkySkimmer
November 21, 2023 15:02 10s rw-control-db
rw-control-db
November 21, 2023 15:02 10s
Experiment to preserve information from typeclass failures Check conflicts #4284: Commit f0d166a pushed by SkySkimmer
November 21, 2023 14:59 13s class-errors
class-errors
November 21, 2023 14:59 13s
new command Register Scheme Check conflicts #4283: Commit 16f91fc pushed by SkySkimmer
November 21, 2023 14:56 11s regscheme
regscheme
November 21, 2023 14:56 11s
ci-fiat_crypto: try setting -async-proofs-tac-j 0 Check conflicts #4282: Commit 8e10163 pushed by SkySkimmer
November 21, 2023 14:55 13s fiat-crypto-async-j
fiat-crypto-async-j
November 21, 2023 14:55 13s
Debug printing for relevance marks Check conflicts #4281: Commit 11872a4 pushed by SkySkimmer
November 21, 2023 14:51 11s print-relevance
print-relevance
November 21, 2023 14:51 11s
Non syntactic matching when reifying for ring Check conflicts #4280: Commit 0d2575d pushed by SkySkimmer
November 21, 2023 14:43 15s reify-ring-ltac
reify-ring-ltac
November 21, 2023 14:43 15s
Merge PR #18190: Support for weak cbv Check conflicts #4279: Commit 7cf5e39 pushed by SkySkimmer
November 21, 2023 14:43 14s master
master
November 21, 2023 14:43 14s
Non syntactic matching when reifying for ring Check conflicts #4278: Commit a50e6a8 pushed by SkySkimmer
November 21, 2023 14:43 11s reify-ring-ltac
reify-ring-ltac
November 21, 2023 14:43 11s
Doc for sort poly inductives Check conflicts #4277: Commit be1dff5 pushed by SkySkimmer
November 21, 2023 13:55 12s sort-poly-ind
sort-poly-ind
November 21, 2023 13:55 12s
Merge PR #18322: Split the ci-elpi_hb makefile in two. Check conflicts #4276: Commit 0c40866 pushed by SkySkimmer
November 21, 2023 11:29 16s master
master
November 21, 2023 11:29 16s
ci-fiat_crypto: try setting -async-proofs-tac-j 0 Check conflicts #4275: Commit 7eaae14 pushed by SkySkimmer
November 20, 2023 16:14 21s fiat-crypto-async-j
fiat-crypto-async-j
November 20, 2023 16:14 21s
Non syntactic matching when reifying for ring Check conflicts #4274: Commit 9eeac58 pushed by SkySkimmer
November 20, 2023 15:59 13s reify-ring-ltac
reify-ring-ltac
November 20, 2023 15:59 13s
Doc for sort poly inductives Check conflicts #4273: Commit aa59b24 pushed by SkySkimmer
November 20, 2023 14:55 12s sort-poly-ind
sort-poly-ind
November 20, 2023 14:55 12s
Fix const_relevance and default qvar handler with sort polymorphism Check conflicts #4272: Commit 597b791 pushed by SkySkimmer
November 20, 2023 14:05 15s fix-sort-poly-relevance
fix-sort-poly-relevance
November 20, 2023 14:05 15s
ci-fiat_crypto: try setting -async-proofs-tac-j 0 Check conflicts #4271: Commit 8661cf8 pushed by SkySkimmer
November 20, 2023 12:23 17s fiat-crypto-async-j
fiat-crypto-async-j
November 20, 2023 12:23 17s
Debug printing for relevance marks Check conflicts #4270: Commit cd5b388 pushed by SkySkimmer
November 20, 2023 12:17 26s print-relevance
print-relevance
November 20, 2023 12:17 26s
ci-wrapper: prevent piping from disabling automatic colors Check conflicts #4269: Commit d71ff05 pushed by SkySkimmer
November 20, 2023 12:01 11s ci-wrapper-color
ci-wrapper-color
November 20, 2023 12:01 11s
Merge PR #18333: CI: delete .git of downloaded projects to reduce art… Check conflicts #4268: Commit 2f3e6c2 pushed by SkySkimmer
November 20, 2023 11:52 12s master
master
November 20, 2023 11:52 12s
CI: delete .git of downloaded projects to reduce artifact size Check conflicts #4267: Commit 2c0127f pushed by SkySkimmer
November 19, 2023 08:25 13s rm-git-ci
rm-git-ci
November 19, 2023 08:25 13s
CI: delete .git of downloaded projects to reduce artifact size Check conflicts #4266: Commit a74f010 pushed by SkySkimmer
November 18, 2023 10:46 12s rm-git-ci
rm-git-ci
November 18, 2023 10:46 12s
Fully sort polymorphic inductives Check conflicts #4265: Commit c9e5f5d pushed by SkySkimmer
November 17, 2023 17:36 12s sort-poly-ind
sort-poly-ind
November 17, 2023 17:36 12s