Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

assign delta steps to the context with the unfolded ref Check conflicts #6140: Commit 4e68b02 pushed by SkySkimmer
December 18, 2024 14:38 13s lazy-stats
lazy-stats
December 18, 2024 14:38 13s
assign delta steps to the context with the unfolded ref GitHub macOS CI #4494: Commit 4e68b02 pushed by SkySkimmer
December 18, 2024 14:38 28m 21s lazy-stats
lazy-stats
December 18, 2024 14:38 28m 21s
assign delta steps to the context with the unfolded ref Windows CI #4332: Commit 4e68b02 pushed by SkySkimmer
December 18, 2024 14:38 52m 53s lazy-stats
lazy-stats
December 18, 2024 14:38 52m 53s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … GitHub macOS CI #4493: Commit 47374f9 pushed by SkySkimmer
December 18, 2024 14:26 36m 20s rocq-env-vars
rocq-env-vars
December 18, 2024 14:26 36m 20s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … Windows CI #4331: Commit 47374f9 pushed by SkySkimmer
December 18, 2024 14:26 1h 3m 30s rocq-env-vars
rocq-env-vars
December 18, 2024 14:26 1h 3m 30s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … Check conflicts #6139: Commit 47374f9 pushed by SkySkimmer
December 18, 2024 14:26 12s rocq-env-vars
rocq-env-vars
December 18, 2024 14:26 12s
Put back the doc section about rocq workmgr Check conflicts #6138: Commit 08341a0 pushed by SkySkimmer
December 18, 2024 14:23 11s workmgr-doc
workmgr-doc
December 18, 2024 14:23 11s
Put back the doc section about rocq workmgr GitHub macOS CI #4492: Commit 08341a0 pushed by SkySkimmer
December 18, 2024 14:23 29m 57s workmgr-doc
workmgr-doc
December 18, 2024 14:23 29m 57s
Put back the doc section about rocq workmgr Windows CI #4330: Commit 08341a0 pushed by SkySkimmer
December 18, 2024 14:23 1h 2m 35s workmgr-doc
workmgr-doc
December 18, 2024 14:23 1h 2m 35s
disable warnings in stdlib All.v Check conflicts #6137: Commit 7e0978c pushed by SkySkimmer
December 18, 2024 14:18 17s stdlib-all
stdlib-all
December 18, 2024 14:18 17s
disable warnings in stdlib All.v GitHub macOS CI #4491: Commit 7e0978c pushed by SkySkimmer
December 18, 2024 14:18 34m 16s stdlib-all
stdlib-all
December 18, 2024 14:18 34m 16s
disable warnings in stdlib All.v Windows CI #4329: Commit 7e0978c pushed by SkySkimmer
December 18, 2024 14:18 55m 56s stdlib-all
stdlib-all
December 18, 2024 14:18 55m 56s
rename coqworker -> rocqworker Check conflicts #6136: Commit 5ecb2b3 pushed by SkySkimmer
December 18, 2024 14:17 12s rocqworker
rocqworker
December 18, 2024 14:17 12s
rename coqworker -> rocqworker Windows CI #4328: Commit 5ecb2b3 pushed by SkySkimmer
December 18, 2024 14:17 1h 3m 33s rocqworker
rocqworker
December 18, 2024 14:17 1h 3m 33s
rename coqworker -> rocqworker GitHub macOS CI #4490: Commit 5ecb2b3 pushed by SkySkimmer
December 18, 2024 14:17 27m 18s rocqworker
rocqworker
December 18, 2024 14:17 27m 18s
Merge PR #19946: Remove warning "overwriting-delimiting-key" Windows CI #4327: Commit 4feee16 pushed by SkySkimmer
December 18, 2024 14:15 56m 30s master
master
December 18, 2024 14:15 56m 30s
Merge PR #19946: Remove warning "overwriting-delimiting-key" Check conflicts #6135: Commit 4feee16 pushed by SkySkimmer
December 18, 2024 14:15 14s master
master
December 18, 2024 14:15 14s
Merge PR #19946: Remove warning "overwriting-delimiting-key" GitHub macOS CI #4489: Commit 4feee16 pushed by SkySkimmer
December 18, 2024 14:15 26m 55s master
master
December 18, 2024 14:15 26m 55s
assign delta steps to the context with the unfolded ref Check conflicts #6134: Commit 0827e4f pushed by SkySkimmer
December 18, 2024 14:04 12s lazy-stats
lazy-stats
December 18, 2024 14:04 12s
assign delta steps to the context with the unfolded ref GitHub macOS CI #4488: Commit 0827e4f pushed by SkySkimmer
December 18, 2024 14:04 23m 22s lazy-stats
lazy-stats
December 18, 2024 14:04 23m 22s
assign delta steps to the context with the unfolded ref Windows CI #4326: Commit 0827e4f pushed by SkySkimmer
December 18, 2024 14:04 56m 24s lazy-stats
lazy-stats
December 18, 2024 14:04 56m 24s
Create HintDb does not erase pre-existing hint db Check conflicts #6133: Commit c56f115 pushed by SkySkimmer
December 18, 2024 14:01 14s create-hintdb
create-hintdb
December 18, 2024 14:01 14s
Create HintDb does not erase pre-existing hint db Windows CI #4325: Commit c56f115 pushed by SkySkimmer
December 18, 2024 14:01 50m 24s create-hintdb
create-hintdb
December 18, 2024 14:01 50m 24s
Create HintDb does not erase pre-existing hint db GitHub macOS CI #4487: Commit c56f115 pushed by SkySkimmer
December 18, 2024 14:01 27m 26s create-hintdb
create-hintdb
December 18, 2024 14:01 27m 26s
Apply suggestions from code review GitHub macOS CI #4486: Commit 278a2aa pushed by SkySkimmer
December 18, 2024 13:51 42m 47s create-hintdb
create-hintdb
December 18, 2024 13:51 42m 47s