Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
2,161 workflow runs
2,161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #19926: Cleanup artifacts before upload Check conflicts #6094: Commit e033368 pushed by SkySkimmer
December 16, 2024 11:56 10s master
master
December 16, 2024 11:56 10s
Stdlib.All use separate Require commands Check conflicts #6093: Commit 400f718 pushed by SkySkimmer
December 16, 2024 11:56 11s stdlib-all
stdlib-all
December 16, 2024 11:56 11s
ci-refman does not actually depend on platform_full Check conflicts #6092: Commit 6c48350 pushed by SkySkimmer
December 16, 2024 11:30 11s ci-refman
ci-refman
December 16, 2024 11:30 11s
Merge PR #19935: Bypass warning override when possible Check conflicts #6091: Commit 9e82aef pushed by SkySkimmer
December 16, 2024 11:26 14s master
master
December 16, 2024 11:26 14s
ci-refman does not actually depend on platform_full Check conflicts #6090: Commit 287acee pushed by SkySkimmer
December 14, 2024 13:00 10s ci-refman
ci-refman
December 14, 2024 13:00 10s
CI: add job printing stats about the current pipeline Check conflicts #6089: Commit 4f65f0a pushed by SkySkimmer
December 14, 2024 13:00 11s pipeline-stats
pipeline-stats
December 14, 2024 13:00 11s
ci-refman does not actually depend on platform_full Check conflicts #6088: Commit 2506691 pushed by SkySkimmer
December 14, 2024 11:36 11s pipeline-stats
pipeline-stats
December 14, 2024 11:36 11s
CI: add job printing stats about the current pipeline Check conflicts #6087: Commit 4f65f0a pushed by SkySkimmer
December 13, 2024 21:14 9s pipeline-stats
pipeline-stats
December 13, 2024 21:14 9s
CI: add job printing stats about the current pipeline Check conflicts #6086: Commit ea991be pushed by SkySkimmer
December 13, 2024 20:51 11s pipeline-stats
pipeline-stats
December 13, 2024 20:51 11s
CI: add job printing stats about the current pipeline Check conflicts #6085: Commit 9418c7c pushed by SkySkimmer
December 13, 2024 20:15 13s pipeline-stats
pipeline-stats
December 13, 2024 20:15 13s
CI: add job printing stats about the current pipeline Check conflicts #6084: Commit da53936 pushed by SkySkimmer
December 13, 2024 19:23 11s pipeline-stats
pipeline-stats
December 13, 2024 19:23 11s
Cleanup artifacts before upload Check conflicts #6083: Commit 6e59d3f pushed by SkySkimmer
December 13, 2024 16:04 10s clean-artifacts
clean-artifacts
December 13, 2024 16:04 10s
debug upload artifact lists Check conflicts #6082: Commit 096c152 pushed by SkySkimmer
December 13, 2024 15:52 12s clean-artifacts
clean-artifacts
December 13, 2024 15:52 12s
debug upload artifact lists Check conflicts #6081: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 13s clean-artifacts
clean-artifacts
December 13, 2024 15:29 13s
doc: rocq c -> rocq compile Check conflicts #6080: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 14s rocq-cli
rocq-cli
December 13, 2024 14:42 14s
debug upload artifact lists Check conflicts #6079: Commit f507649 pushed by SkySkimmer
December 13, 2024 14:26 9s clean-artifacts
clean-artifacts
December 13, 2024 14:26 9s
debug upload artifact lists Check conflicts #6078: Commit bb4d624 pushed by SkySkimmer
December 13, 2024 14:26 14s clean-artifacts
clean-artifacts
December 13, 2024 14:26 14s
doc: rocq c -> rocq compile Check conflicts #6077: Commit 528d52a pushed by SkySkimmer
December 13, 2024 14:23 11s rocq-cli
rocq-cli
December 13, 2024 14:23 11s
Doc: rename coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc:: Check conflicts #6076: Commit 9a6946d pushed by SkySkimmer
December 13, 2024 14:14 11s rocq-directive
rocq-directive
December 13, 2024 14:14 11s
doc: rocq c -> rocq compile Check conflicts #6075: Commit bb72ce2 pushed by SkySkimmer
December 13, 2024 13:34 11s rocq-cli
rocq-cli
December 13, 2024 13:34 11s
Apply suggestions from code review Check conflicts #6074: Commit 0e7dcf7 pushed by SkySkimmer
December 13, 2024 13:28 13s rocq-cli
rocq-cli
December 13, 2024 13:28 13s
Merge PR #19929: Fix paths in shims Check conflicts #6073: Commit e2dc7ac pushed by SkySkimmer
December 13, 2024 13:26 10s master
master
December 13, 2024 13:26 10s
Cleanup artifacts before upload Check conflicts #6072: Commit 126ce83 pushed by SkySkimmer
December 13, 2024 13:26 10s clean-artifacts
clean-artifacts
December 13, 2024 13:26 10s
Give location for unbound univ error Check conflicts #6071: Commit 1da6ffc pushed by SkySkimmer
December 13, 2024 13:13 12s unbound-univ-loc
unbound-univ-loc
December 13, 2024 13:13 12s
Cleanup artifacts before upload Check conflicts #6070: Commit bce7bb5 pushed by SkySkimmer
December 13, 2024 12:47 11s clean-artifacts
clean-artifacts
December 13, 2024 12:47 11s