Skip to content

Actions: Villetaneuse/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 Check conflicts #326: Commit bc24cf7 pushed by Villetaneuse
6s color_syntax_README_rst
color_syntax_README_rst
6s
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
Fix css again Check conflicts #325: Commit 3457407 pushed by Villetaneuse
8s fix_css_again
fix_css_again
8s
add index for Ltac2/Reference.v Check conflicts #324: Commit 6baa709 pushed by Villetaneuse
8s Ltac2-equal-for-ref
Ltac2-equal-for-ref
8s
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 Check conflicts #323: Commit b2a65a9 pushed by Villetaneuse
13s Ltac2-equal-for-ref
Ltac2-equal-for-ref
13s
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
Add equal for reference in Ltac2 Check conflicts #322: Commit 1f8ef31 pushed by Villetaneuse
9s Ltac2-equal-for-ref
Ltac2-equal-for-ref
9s
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: correct #20723 with "recursive type" Check conflicts #321: Commit 2a09c22 pushed by Villetaneuse
8s doc-recursive-type-entry
doc-recursive-type-entry
8s
variants.rst: move note after first exple Check conflicts #320: Commit 0a5bde0 pushed by Villetaneuse
8s doc_error_variant
doc_error_variant
8s
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
variants.rst: move note after first exple Check conflicts #319: Commit c1beb89 pushed by Villetaneuse
10s doc_error_variant
doc_error_variant
10s
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
Move records after coinductive in refman index Check conflicts #318: Commit db21cdd pushed by Villetaneuse
7s doc_error_variant
doc_error_variant
7s
coqrst is now rocqrst Github CI #71: Commit d989c40 pushed by Villetaneuse
28m 34s rocqrst
rocqrst
28m 34s
coqrst is now rocqrst Check conflicts #317: Commit d989c40 pushed by Villetaneuse
7s rocqrst
rocqrst
7s
Merge PR #20773: Fix broken links in refman Check conflicts #316: Commit 72ee28b pushed by Villetaneuse
6s master
master
6s
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 Check conflicts #315: Commit 220aa4d pushed by Villetaneuse
7s rocqrst
rocqrst
7s
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 Check conflicts #314: Commit ef2c073 pushed by Villetaneuse
11s doc_error_variant
doc_error_variant
11s