Skip to content

Actions: jfehrle/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version Windows CI #481: Commit c72872c pushed by jfehrle
52m 29s debug_pl_8_19
debug_pl_8_19
52m 29s
Bump version Check conflicts #1158: Commit c72872c pushed by jfehrle
8s debug_pl_8_19
debug_pl_8_19
8s
Don't enter debugger if no current proof + Interrupt fixes Check conflicts #1157: Commit 0ebc4cd pushed by jfehrle
11s debug_pl_8_19
debug_pl_8_19
11s
Don't enter debugger if no current proof + Interrupt fixes Windows CI #480: Commit 0ebc4cd pushed by jfehrle
31m 3s debug_pl_8_19
debug_pl_8_19
31m 3s
Don't enter debugger if no current proof + Interrupt fixes GitHub macOS CI #507: Commit 0ebc4cd pushed by jfehrle
8m 6s debug_pl_8_19
debug_pl_8_19
8m 6s
Describe info_auto limitations GitHub macOS CI #506: Commit 550b6cf pushed by jfehrle
31m 13s hintdb_doc
hintdb_doc
31m 13s
Describe info_auto limitations Windows CI #479: Commit 550b6cf pushed by jfehrle
38m 0s hintdb_doc
hintdb_doc
38m 0s
Describe info_auto limitations Check conflicts #1156: Commit 550b6cf pushed by jfehrle
12s hintdb_doc
hintdb_doc
12s
Reverse bad change to exception in Ltac debugger in #19314 GitHub macOS CI #505: Commit 676044c pushed by jfehrle
8m 23s debugger_exn_fix
debugger_exn_fix
8m 23s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #478: Commit 676044c pushed by jfehrle
56m 10s debugger_exn_fix
debugger_exn_fix
56m 10s
Reverse bad change to exception in Ltac debugger in #19314 Check conflicts #1155: Commit 676044c pushed by jfehrle
11s debugger_exn_fix
debugger_exn_fix
11s
Describe info_auto limitations GitHub macOS CI #504: Commit 878a08a pushed by jfehrle
12m 6s hintdb_doc
hintdb_doc
12m 6s
Describe info_auto limitations Check conflicts #1154: Commit 878a08a pushed by jfehrle
13s hintdb_doc
hintdb_doc
13s
Describe info_auto limitations Windows CI #477: Commit 878a08a pushed by jfehrle
58m 30s hintdb_doc
hintdb_doc
58m 30s
Reverse bad change to exception in Ltac debugger in #19314 Check conflicts #1153: Commit e72c54d pushed by jfehrle
12s debugger_exn_fix
debugger_exn_fix
12s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #476: Commit e72c54d pushed by jfehrle
43m 50s debugger_exn_fix
debugger_exn_fix
43m 50s
Reverse bad change to exception in Ltac debugger in #19314 GitHub macOS CI #503: Commit e72c54d pushed by jfehrle
8m 39s debugger_exn_fix
debugger_exn_fix
8m 39s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #475: Commit 18e7d75 pushed by jfehrle
48m 0s debugger_exn_fix
debugger_exn_fix
48m 0s
Reverse bad change to exception in Ltac debugger in #19314 Check conflicts #1152: Commit 18e7d75 pushed by jfehrle
13s debugger_exn_fix
debugger_exn_fix
13s
Reverse bad change to exception in Ltac debugger in #19314 GitHub macOS CI #502: Commit 18e7d75 pushed by jfehrle
11m 58s debugger_exn_fix
debugger_exn_fix
11m 58s
Refine Hint Opaque/Transparent doc GitHub macOS CI #501: Commit b1323a3 pushed by jfehrle
11m 25s hintdb_doc
hintdb_doc
11m 25s
Refine Hint Opaque/Transparent doc Check conflicts #1151: Commit b1323a3 pushed by jfehrle
12s hintdb_doc
hintdb_doc
12s
Refine Hint Opaque/Transparent doc Windows CI #474: Commit b1323a3 pushed by jfehrle
55m 3s hintdb_doc
hintdb_doc
55m 3s
Refine Hint Opaque/Transparent doc Windows CI #473: Commit 4eaf5eb pushed by jfehrle
1h 0m 47s hintdb_doc
hintdb_doc
1h 0m 47s
Refine Hint Opaque/Transparent doc GitHub macOS CI #500: Commit 4eaf5eb pushed by jfehrle
7m 31s hintdb_doc
hintdb_doc
7m 31s