Skip to content

Actions: jfehrle/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
519 workflow runs
519 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Include warnings in the Errors table (now the Errors/Warnings table) GitHub macOS CI #362: Commit 7f80a97 pushed by jfehrle
June 8, 2024 20:13 26m 36s warnings_in_table
warnings_in_table
June 8, 2024 20:13 26m 36s
Include warnings in the Errors table (now the Errors/Warnings table) Check conflicts #1012: Commit 7f80a97 pushed by jfehrle
June 8, 2024 20:13 11s warnings_in_table
warnings_in_table
June 8, 2024 20:13 11s
Deprecate the destauto tactic Check conflicts #1011: Commit 21cef94 pushed by jfehrle
June 7, 2024 21:09 10s deprecate_destauto
deprecate_destauto
June 7, 2024 21:09 10s
Deprecate the destauto tactic GitHub macOS CI #361: Commit 21cef94 pushed by jfehrle
June 7, 2024 21:09 30m 31s deprecate_destauto
deprecate_destauto
June 7, 2024 21:09 30m 31s
Deprecate the destauto tactic Windows CI #334: Commit 21cef94 pushed by jfehrle
June 7, 2024 21:09 55m 53s deprecate_destauto
deprecate_destauto
June 7, 2024 21:09 55m 53s
Deprecate the destauto tactic Check conflicts #1010: Commit 2251d59 pushed by jfehrle
June 7, 2024 20:16 12s deprecate_destauto
deprecate_destauto
June 7, 2024 20:16 12s
Deprecate the destauto tactic Windows CI #333: Commit 2251d59 pushed by jfehrle
June 7, 2024 20:16 1h 2m 50s deprecate_destauto
deprecate_destauto
June 7, 2024 20:16 1h 2m 50s
Deprecate the destauto tactic GitHub macOS CI #360: Commit 2251d59 pushed by jfehrle
June 7, 2024 20:16 29m 56s deprecate_destauto
deprecate_destauto
June 7, 2024 20:16 29m 56s
Deprecate the destauto tactic Windows CI #332: Commit 6bb096f pushed by jfehrle
June 7, 2024 19:38 55m 54s deprecate_destauto
deprecate_destauto
June 7, 2024 19:38 55m 54s
Deprecate the destauto tactic GitHub macOS CI #359: Commit 6bb096f pushed by jfehrle
June 7, 2024 19:38 26m 38s deprecate_destauto
deprecate_destauto
June 7, 2024 19:38 26m 38s
Deprecate the destauto tactic Check conflicts #1009: Commit 6bb096f pushed by jfehrle
June 7, 2024 19:38 9s deprecate_destauto
deprecate_destauto
June 7, 2024 19:38 9s
Deprecate the destauto tactic Check conflicts #1008: Commit ff21a9a pushed by jfehrle
June 7, 2024 19:33 11s deprecate_destauto
deprecate_destauto
June 7, 2024 19:33 11s
Deprecate the destauto tactic GitHub macOS CI #358: Commit ff21a9a pushed by jfehrle
June 7, 2024 19:33 28m 21s deprecate_destauto
deprecate_destauto
June 7, 2024 19:33 28m 21s
Deprecate the destauto tactic Windows CI #331: Commit ff21a9a pushed by jfehrle
June 7, 2024 19:33 1h 2m 38s deprecate_destauto
deprecate_destauto
June 7, 2024 19:33 1h 2m 38s
Show tooltip for syntax errors Windows CI #330: Commit 3dd6f26 pushed by jfehrle
June 6, 2024 16:51 1h 11m 44s syntax_error_tooltip
syntax_error_tooltip
June 6, 2024 16:51 1h 11m 44s
Show tooltip for syntax errors GitHub macOS CI #357: Commit 3dd6f26 pushed by jfehrle
June 6, 2024 16:51 32m 31s syntax_error_tooltip
syntax_error_tooltip
June 6, 2024 16:51 32m 31s
Show tooltip for syntax errors Check conflicts #1007: Commit 3dd6f26 pushed by jfehrle
June 6, 2024 16:51 11s syntax_error_tooltip
syntax_error_tooltip
June 6, 2024 16:51 11s
Show tooltip for syntax errors GitHub macOS CI #356: Commit 85cc8a4 pushed by jfehrle
June 5, 2024 19:36 27m 55s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:36 27m 55s
Show tooltip for syntax errors Check conflicts #1006: Commit 85cc8a4 pushed by jfehrle
June 5, 2024 19:36 15s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:36 15s
Show tooltip for syntax errors Windows CI #329: Commit 85cc8a4 pushed by jfehrle
June 5, 2024 19:36 1h 0m 32s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:36 1h 0m 32s
Show tooltip for syntax errors GitHub macOS CI #355: Commit ba1c994 pushed by jfehrle
June 5, 2024 19:33 27m 11s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:33 27m 11s
Show tooltip for syntax errors Windows CI #328: Commit ba1c994 pushed by jfehrle
June 5, 2024 19:33 1h 4m 6s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:33 1h 4m 6s
Show tooltip for syntax errors Check conflicts #1005: Commit ba1c994 pushed by jfehrle
June 5, 2024 19:33 10s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:33 10s
Show tooltip for syntax errors GitHub macOS CI #354: Commit 3924512 pushed by jfehrle
June 5, 2024 19:15 30m 25s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:15 30m 25s
Show tooltip for syntax errors Windows CI #327: Commit 3924512 pushed by jfehrle
June 5, 2024 19:15 59m 26s syntax_error_tooltip
syntax_error_tooltip
June 5, 2024 19:15 59m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-06-05 or the other filters available.