Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,956 workflow runs
6,956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

debug upload artifact lists GitHub macOS CI #4436: Commit 096c152 pushed by SkySkimmer
December 13, 2024 15:52 27m 53s clean-artifacts
clean-artifacts
December 13, 2024 15:52 27m 53s
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
debug upload artifact lists GitHub macOS CI #4435: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 23m 53s clean-artifacts
clean-artifacts
December 13, 2024 15:29 23m 53s
debug upload artifact lists Windows CI #4273: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 54m 16s clean-artifacts
clean-artifacts
December 13, 2024 15:29 54m 16s
doc: rocq c -> rocq compile GitHub macOS CI #4434: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 22m 42s rocq-cli
rocq-cli
December 13, 2024 14:42 22m 42s
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
doc: rocq c -> rocq compile Windows CI #4272: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 1h 33m 8s rocq-cli
rocq-cli
December 13, 2024 14:42 1h 33m 8s
debug upload artifact lists GitHub macOS CI #4433: Commit f507649 pushed by SkySkimmer
December 13, 2024 14:26 22m 9s clean-artifacts
clean-artifacts
December 13, 2024 14:26 22m 9s
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 Windows CI #4271: Commit f507649 pushed by SkySkimmer
December 13, 2024 14:26 1h 0m 4s clean-artifacts
clean-artifacts
December 13, 2024 14:26 1h 0m 4s
debug upload artifact lists Windows CI #4270: Commit bb4d624 pushed by SkySkimmer
December 13, 2024 14:26 1h 28m 2s clean-artifacts
clean-artifacts
December 13, 2024 14:26 1h 28m 2s
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
debug upload artifact lists GitHub macOS CI #4432: Commit bb4d624 pushed by SkySkimmer
December 13, 2024 14:26 25m 27s clean-artifacts
clean-artifacts
December 13, 2024 14:26 25m 27s
doc: rocq c -> rocq compile GitHub macOS CI #4431: Commit 528d52a pushed by SkySkimmer
December 13, 2024 14:23 23m 57s rocq-cli
rocq-cli
December 13, 2024 14:23 23m 57s
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: rocq c -> rocq compile Windows CI #4269: Commit 528d52a pushed by SkySkimmer
December 13, 2024 14:23 1h 5m 14s rocq-cli
rocq-cli
December 13, 2024 14:23 1h 5m 14s
Doc: rename coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc:: Windows CI #4268: Commit 9a6946d pushed by SkySkimmer
December 13, 2024 14:14 51m 12s rocq-directive
rocq-directive
December 13, 2024 14:14 51m 12s
Doc: rename coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc:: GitHub macOS CI #4430: Commit 9a6946d pushed by SkySkimmer
December 13, 2024 14:14 28m 8s rocq-directive
rocq-directive
December 13, 2024 14:14 28m 8s
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
doc: rocq c -> rocq compile Windows CI #4267: Commit bb72ce2 pushed by SkySkimmer
December 13, 2024 13:34 57m 7s rocq-cli
rocq-cli
December 13, 2024 13:34 57m 7s
doc: rocq c -> rocq compile GitHub macOS CI #4429: Commit bb72ce2 pushed by SkySkimmer
December 13, 2024 13:34 25m 37s rocq-cli
rocq-cli
December 13, 2024 13:34 25m 37s
Apply suggestions from code review GitHub macOS CI #4428: Commit 0e7dcf7 pushed by SkySkimmer
December 13, 2024 13:28 23m 53s rocq-cli
rocq-cli
December 13, 2024 13:28 23m 53s
Apply suggestions from code review Windows CI #4266: Commit 0e7dcf7 pushed by SkySkimmer
December 13, 2024 13:28 53m 55s rocq-cli
rocq-cli
December 13, 2024 13:28 53m 55s