Skip to content

Actions: jfehrle/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean up Check conflicts #1212: Commit 67901aa pushed by jfehrle
7s show_cmd_diffs
show_cmd_diffs
7s
update test Check conflicts #1211: Commit d3b7bf1 pushed by SkySkimmer
6s show_cmd_diffs
show_cmd_diffs
6s
update test Github CI #36: Commit d3b7bf1 pushed by SkySkimmer
32m 57s show_cmd_diffs
show_cmd_diffs
32m 57s
Add Show, Show n, Show Diffs ident to g_toplevel.mlg Github CI #35: Commit 02fa754 pushed by jfehrle
40m 52s show_cmd_diffs
show_cmd_diffs
40m 52s
Add Show, Show n, Show Diffs ident to g_toplevel.mlg Check conflicts #1210: Commit 02fa754 pushed by jfehrle
6s show_cmd_diffs
show_cmd_diffs
6s
Advice on using Hint Constants Opaque Github CI #34: Commit 564115a pushed by jfehrle
34m 22s hintdb_doc
hintdb_doc
34m 22s
Advice on using Hint Constants Opaque Check conflicts #1209: Commit 564115a pushed by jfehrle
9s hintdb_doc
hintdb_doc
9s
Advice on using Hint Constants Opaque Check conflicts #1208: Commit b5876de pushed by jfehrle
6s hintdb_doc
hintdb_doc
6s
Advice on using Hint Constants Opaque Github CI #33: Commit b5876de pushed by jfehrle
16m 43s hintdb_doc
hintdb_doc
16m 43s
Prototype of TacStore to hold proof_info Github CI #32: Commit fb3f854 pushed by jfehrle
40m 52s proof_search2
proof_search2
40m 52s
Prototype of TacStore to hold proof_info Check conflicts #1207: Commit fb3f854 pushed by jfehrle
8s proof_search2
proof_search2
8s
Fix double stop at begin of Ltac1 line. Windows CI #498: Commit 9c3e23d pushed by jfehrle
50m 41s debug_v2_trimmed
debug_v2_trimmed
50m 41s
Fix double stop at begin of Ltac1 line. GitHub macOS CI #525: Commit 9c3e23d pushed by jfehrle
7m 40s debug_v2_trimmed
debug_v2_trimmed
7m 40s
Fix double stop at begin of Ltac1 line. Check conflicts #1206: Commit 9c3e23d pushed by jfehrle
6s debug_v2_trimmed
debug_v2_trimmed
6s
Retain original variable names for patterns in Print HintDb Check conflicts #1205: Commit 381720b pushed by jfehrle
9s print_hintdb_patterns
print_hintdb_patterns
9s
Retain original variable names for patterns in Print HintDb Github CI #31: Commit 381720b pushed by jfehrle
30m 38s print_hintdb_patterns
print_hintdb_patterns
30m 38s
Retain original variable names for patterns in Print HintDb Check conflicts #1204: Commit 4bac02e pushed by jfehrle
6s print_hintdb_patterns
print_hintdb_patterns
6s
Retain original variable names for patterns in Print HintDb Github CI #30: Commit 4bac02e pushed by jfehrle
39m 28s print_hintdb_patterns
print_hintdb_patterns
39m 28s
Show diffs in Show, Show n and Show ident commands (for ProofGeneral) Github CI #29: Commit 1bf9a96 pushed by jfehrle
29m 49s show_cmd_diffs
show_cmd_diffs
29m 49s
Show diffs in Show, Show n and Show ident commands (for ProofGeneral) Check conflicts #1203: Commit 1bf9a96 pushed by jfehrle
8s show_cmd_diffs
show_cmd_diffs
8s
Show diffs in Show, Show n and Show ident commands Github CI #28: Commit 1decdcd pushed by jfehrle
16m 16s show_cmd_diffs
show_cmd_diffs
16m 16s
Show diffs in Show, Show n and Show ident commands Check conflicts #1202: Commit 1decdcd pushed by jfehrle
7s show_cmd_diffs
show_cmd_diffs
7s
Refine examples Github CI #27: Commit 76bfb08 pushed by jfehrle
38m 38s destruct_examples
destruct_examples
38m 38s
Refine examples Check conflicts #1201: Commit 76bfb08 pushed by jfehrle
11s destruct_examples
destruct_examples
11s
Add examples for destruct and using destruct to do split or Check conflicts #1200: Commit b6593da pushed by jfehrle
8s destruct_examples
destruct_examples
8s