Skip to content

Actions: Villetaneuse/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-github.yml
80 workflow runs
80 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Make README.rst into a full refman page Github CI #80: Commit bc24cf7 pushed by Villetaneuse
38m 33s color_syntax_README_rst
color_syntax_README_rst
38m 33s
Fix css again Github CI #79: Commit 3457407 pushed by Villetaneuse
28m 11s fix_css_again
fix_css_again
28m 11s
add index for Ltac2/Reference.v Github CI #78: Commit 6baa709 pushed by Villetaneuse
29m 9s Ltac2-equal-for-ref
Ltac2-equal-for-ref
29m 9s
Changelog for 20794 Github CI #77: Commit b2a65a9 pushed by Villetaneuse
28m 2s Ltac2-equal-for-ref
Ltac2-equal-for-ref
28m 2s
Add equal for reference in Ltac2 Github CI #76: Commit 1f8ef31 pushed by Villetaneuse
3m 27s Ltac2-equal-for-ref
Ltac2-equal-for-ref
3m 27s
variants.rst: correct #20723 with "recursive type" Github CI #75: Commit 2a09c22 pushed by Villetaneuse
28m 45s doc-recursive-type-entry
doc-recursive-type-entry
28m 45s
variants.rst: move note after first exple Github CI #74: Commit 0a5bde0 pushed by Villetaneuse
28m 30s doc_error_variant
doc_error_variant
28m 30s
variants.rst: move note after first exple Github CI #73: Commit c1beb89 pushed by Villetaneuse
28m 54s doc_error_variant
doc_error_variant
28m 54s
Move records after coinductive in refman index Github CI #72: Commit db21cdd pushed by Villetaneuse
4m 29s doc_error_variant
doc_error_variant
4m 29s
coqrst is now rocqrst Github CI #71: Commit d989c40 pushed by Villetaneuse
28m 34s rocqrst
rocqrst
28m 34s
Merge PR #20773: Fix broken links in refman Github CI #70: Commit 72ee28b pushed by Villetaneuse
28m 40s master
master
28m 40s
coqrst is now rocqrst Github CI #69: Commit 220aa4d pushed by Villetaneuse
12m 34s rocqrst
rocqrst
12m 34s
Rewording in recursive failing exple in variants Github CI #68: Commit ef2c073 pushed by Villetaneuse
27m 50s doc_error_variant
doc_error_variant
27m 50s
Github CI Github CI #67: by Villetaneuse
1m 27s doc-where-records
doc-where-records
1m 27s
Change COQRST into ROCQRST in ci-refman Github CI #66: Commit 2f4ae46 pushed by Villetaneuse
29m 41s rocqrst
rocqrst
29m 41s
Move descr to match order of gram in records.rst Github CI #65: Commit 6029b3d pushed by Villetaneuse
29m 27s doc-where-records
doc-where-records
29m 27s
Update doc/sphinx/language/core/records.rst Github CI #64: Commit a297613 pushed by Villetaneuse
12m 6s doc-where-records
doc-where-records
12m 6s
Add Inductive example after failing Variant Github CI #63: Commit e802138 pushed by Villetaneuse
28m 18s doc_error_variant
doc_error_variant
28m 18s
Update doc/sphinx/language/core/variants.rst Github CI #62: Commit a520d8d pushed by Villetaneuse
26m 40s doc_error_variant
doc_error_variant
26m 40s
Small rewording in record field where clause exple Github CI #61: Commit 6891643 pushed by Villetaneuse
28m 29s doc-where-records
doc-where-records
28m 29s
Small rewording in record field where clause exple Github CI #60: Commit affb74f pushed by Villetaneuse
30m 31s doc-where-records
doc-where-records
30m 31s
Merge PR #20656: Ltac2 add $hyp:id quotation for dynamic hypotheses (… Github CI #59: Commit d96e5d5 pushed by Villetaneuse
27m 54s master
master
27m 54s
Update rewrite-rules.rst with new sortPoly syntax Github CI #58: Commit 4c59526 pushed by Villetaneuse
29m 39s update-sort-poly-defs-refman
update-sort-poly-defs-refman
29m 39s
split_lines does not greedily appends lines Github CI #57: Commit 150eaa8 pushed by Villetaneuse
28m 33s comments-split_lines
comments-split_lines
28m 33s
split_lines does not greedily appends lines Github CI #56: Commit 968ecaa pushed by Villetaneuse
8m 32s comments-split_lines
comments-split_lines
8m 32s