Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
debug: upload artifacts list Check conflicts #6069: Commit be28701 pushed by SkySkimmer
December 13, 2024 12:46 12s clean-artifacts
clean-artifacts
December 13, 2024 12:46 12s
Cleanup artifacts before upload Check conflicts #6068: Commit c2446c0 pushed by SkySkimmer
December 12, 2024 16:29 12s clean-artifacts
clean-artifacts
December 12, 2024 16:29 12s
Fix paths in shims Check conflicts #6067: Commit 82ac121 pushed by SkySkimmer
December 12, 2024 16:23 14s fix-shim
fix-shim
December 12, 2024 16:23 14s
Cleanup artifacts before upload Check conflicts #6066: Commit 7b2d728 pushed by SkySkimmer
December 12, 2024 15:57 10s ci-install-artifacts
ci-install-artifacts
December 12, 2024 15:57 10s
Cleanup artifacts before upload Check conflicts #6065: Commit 257b2ab pushed by SkySkimmer
December 12, 2024 15:56 10s clean-artifacts
clean-artifacts
December 12, 2024 15:56 10s
Cleanup artifacts before upload Check conflicts #6064: Commit 61146f3 pushed by SkySkimmer
December 12, 2024 15:48 11s ci-install-artifacts
ci-install-artifacts
December 12, 2024 15:48 11s
overlay for coq-core -> rocq-runtime renaming Check conflicts #6063: Commit 6d358b1 pushed by SkySkimmer
December 12, 2024 15:34 14s rocq-cli
rocq-cli
December 12, 2024 15:34 14s