Skip to content

Actions: jfehrle/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve wording Check conflicts #1225: Commit d44ca47 pushed by jfehrle
7s ssrmove_doc
ssrmove_doc
7s
Improve wording Github CI #50: Commit d44ca47 pushed by jfehrle
43m 56s ssrmove_doc
ssrmove_doc
43m 56s
Add examples for destruct and using destruct to do split or Check conflicts #1224: Commit 2ce61ae pushed by jfehrle
9s destruct_examples
destruct_examples
9s
Add examples for destruct and using destruct to do split or Github CI #49: Commit 2ce61ae pushed by jfehrle
42m 5s destruct_examples
destruct_examples
42m 5s
Add examples for destruct and using destruct to do split or Check conflicts #1223: Commit 8853283 pushed by jfehrle
7s destruct_examples
destruct_examples
7s
Add examples for destruct and using destruct to do split or Github CI #48: Commit 8853283 pushed by jfehrle
42m 18s destruct_examples
destruct_examples
42m 18s
Refine Hint Opaque/Transparent doc Check conflicts #1222: Commit b6b568e pushed by jfehrle
8s hintdb_doc
hintdb_doc
8s
Refine Hint Opaque/Transparent doc Github CI #47: Commit b6b568e pushed by jfehrle
33m 22s hintdb_doc
hintdb_doc
33m 22s
Adjust tests Github CI #46: Commit 3ebff87 pushed by jfehrle
33m 17s hintdb_doc
hintdb_doc
33m 17s
Adjust tests Check conflicts #1221: Commit 3ebff87 pushed by jfehrle
8s hintdb_doc
hintdb_doc
8s
Changes from review #1 Check conflicts #1220: Commit 2e64cbe pushed by jfehrle
7s hintdb_doc
hintdb_doc
7s
Changes from review #1 Github CI #45: Commit 2e64cbe pushed by jfehrle
32m 49s hintdb_doc
hintdb_doc
32m 49s
Changes from review #1 Check conflicts #1219: Commit 35472ad pushed by jfehrle
8s hintdb_doc
hintdb_doc
8s
Changes from review #1 Github CI #44: Commit 35472ad pushed by jfehrle
44m 1s hintdb_doc
hintdb_doc
44m 1s
Retain original variable names for patterns in Print HintDb Check conflicts #1218: Commit 31d6dbc pushed by jfehrle
9s print_hintdb_patterns
print_hintdb_patterns
9s
Retain original variable names for patterns in Print HintDb Github CI #43: Commit 31d6dbc pushed by jfehrle
35m 36s print_hintdb_patterns
print_hintdb_patterns
35m 36s
Retain original variable names for patterns in Print HintDb Github CI #42: Commit ad4bc95 pushed by jfehrle
38m 42s print_hintdb_patterns
print_hintdb_patterns
38m 42s
Retain original variable names for patterns in Print HintDb Check conflicts #1217: Commit ad4bc95 pushed by jfehrle
9s print_hintdb_patterns
print_hintdb_patterns
9s
Show diffs in Show, Show n and Show Diffs ident commands (for ProofGe… Check conflicts #1216: Commit 186c38c pushed by jfehrle
8s show_cmd_diffs
show_cmd_diffs
8s
Show diffs in Show, Show n and Show Diffs ident commands (for ProofGe… Github CI #41: Commit 186c38c pushed by jfehrle
33m 11s show_cmd_diffs
show_cmd_diffs
33m 11s
Clean up Github CI #40: Commit ae887e3 pushed by jfehrle
34m 4s show_cmd_diffs
show_cmd_diffs
34m 4s
Clean up Check conflicts #1215: Commit ae887e3 pushed by jfehrle
6s show_cmd_diffs
show_cmd_diffs
6s
Clean up Check conflicts #1214: Commit a65e3cf pushed by jfehrle
6s show_cmd_diffs
show_cmd_diffs
6s
Clean up Github CI #39: Commit a65e3cf pushed by jfehrle
34m 30s show_cmd_diffs
show_cmd_diffs
34m 30s
Clean up Github CI #38: Commit 8c1c0fe pushed by jfehrle
36m 31s show_cmd_diffs
show_cmd_diffs
36m 31s