Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,325 workflow run results
4,325 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more debug GitHub macOS CI #3821: Commit fbb5022 pushed by SkySkimmer
July 26, 2024 16:08 11m 19s rec-analysis
rec-analysis
July 26, 2024 16:08 11m 19s
more debug Check conflicts #5467: Commit fbb5022 pushed by SkySkimmer
July 26, 2024 16:08 12s rec-analysis
rec-analysis
July 26, 2024 16:08 12s
more debug Windows CI #3659: Commit fbb5022 pushed by SkySkimmer
July 26, 2024 16:08 44m 5s rec-analysis
rec-analysis
July 26, 2024 16:08 44m 5s
store unbound rels data in hconstr Check conflicts #5466: Commit f58515e pushed by SkySkimmer
July 26, 2024 14:31 11s rec-analysis
rec-analysis
July 26, 2024 14:31 11s
store unbound rels data in hconstr GitHub macOS CI #3820: Commit f58515e pushed by SkySkimmer
July 26, 2024 14:31 26m 44s rec-analysis
rec-analysis
July 26, 2024 14:31 26m 44s
store unbound rels data in hconstr Windows CI #3658: Commit f58515e pushed by SkySkimmer
July 26, 2024 14:31 54m 26s rec-analysis
rec-analysis
July 26, 2024 14:31 54m 26s
store unbound rels data in hconstr GitHub macOS CI #3819: Commit d35d628 pushed by SkySkimmer
July 26, 2024 14:04 28m 20s rec-analysis
rec-analysis
July 26, 2024 14:04 28m 20s
store unbound rels data in hconstr Check conflicts #5465: Commit d35d628 pushed by SkySkimmer
July 26, 2024 14:04 11s rec-analysis
rec-analysis
July 26, 2024 14:04 11s
store unbound rels data in hconstr Windows CI #3657: Commit d35d628 pushed by SkySkimmer
July 26, 2024 14:04 57m 4s rec-analysis
rec-analysis
July 26, 2024 14:04 57m 4s
Coqrecanalyser Check conflicts #5464: Commit 6d5337f pushed by SkySkimmer
July 26, 2024 13:06 13s rec-analysis
rec-analysis
July 26, 2024 13:06 13s
Coqrecanalyser GitHub macOS CI #3818: Commit 6d5337f pushed by SkySkimmer
July 26, 2024 13:06 28m 21s rec-analysis
rec-analysis
July 26, 2024 13:06 28m 21s
Coqrecanalyser Windows CI #3656: Commit 6d5337f pushed by SkySkimmer
July 26, 2024 13:06 1h 0m 55s rec-analysis
rec-analysis
July 26, 2024 13:06 1h 0m 55s
Coqrecanalyser Check conflicts #5463: Commit b56d50e pushed by SkySkimmer
July 26, 2024 13:05 12s rec-analysis
rec-analysis
July 26, 2024 13:05 12s
Coqrecanalyser GitHub macOS CI #3817: Commit b56d50e pushed by SkySkimmer
July 26, 2024 13:05 31m 20s rec-analysis
rec-analysis
July 26, 2024 13:05 31m 20s
Coqrecanalyser Windows CI #3655: Commit b56d50e pushed by SkySkimmer
July 26, 2024 13:05 57m 15s rec-analysis
rec-analysis
July 26, 2024 13:05 57m 15s
fix stack overflows Check conflicts #5462: Commit fa6f0c2 pushed by SkySkimmer
July 26, 2024 13:03 14s rec-analysis
rec-analysis
July 26, 2024 13:03 14s
fix stack overflows Windows CI #3654: Commit fa6f0c2 pushed by SkySkimmer
July 26, 2024 13:03 59m 37s rec-analysis
rec-analysis
July 26, 2024 13:03 59m 37s
fix stack overflows GitHub macOS CI #3816: Commit fa6f0c2 pushed by SkySkimmer
July 26, 2024 13:03 25m 50s rec-analysis
rec-analysis
July 26, 2024 13:03 25m 50s
hconstr don't use push_unknown_rel for matches Check conflicts #5461: Commit 6519bec pushed by SkySkimmer
July 26, 2024 13:02 12s hconstr-case-binders
hconstr-case-binders
July 26, 2024 13:02 12s
hconstr don't use push_unknown_rel for matches Windows CI #3653: Commit 6519bec pushed by SkySkimmer
July 26, 2024 13:02 52m 42s hconstr-case-binders
hconstr-case-binders
July 26, 2024 13:02 52m 42s
hconstr don't use push_unknown_rel for matches GitHub macOS CI #3815: Commit 6519bec pushed by SkySkimmer
July 26, 2024 13:02 28m 43s hconstr-case-binders
hconstr-case-binders
July 26, 2024 13:02 28m 43s
Merge PR #19419: Faster coherence check when adding coercions. Windows CI #3652: Commit 993b6be pushed by SkySkimmer
July 26, 2024 12:31 40m 11s master
master
July 26, 2024 12:31 40m 11s
Merge PR #19419: Faster coherence check when adding coercions. Check conflicts #5460: Commit 993b6be pushed by SkySkimmer
July 26, 2024 12:31 12s master
master
July 26, 2024 12:31 12s
Merge PR #19419: Faster coherence check when adding coercions. GitHub macOS CI #3814: Commit 993b6be pushed by SkySkimmer
July 26, 2024 12:31 28m 57s master
master
July 26, 2024 12:31 28m 57s
hconstr don't use push_unknown_rel for matches Windows CI #3651: Commit f612807 pushed by SkySkimmer
July 26, 2024 12:21 53m 6s hconstr-case-binders
hconstr-case-binders
July 26, 2024 12:21 53m 6s