Skip to content

Actions: whonore/Coqtail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parse named goal selectors correctly Coq Tests #84: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 3m 15s main
main
February 23, 2025 23:17 3m 15s
Parse named goal selectors correctly Lint #381: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 39s main
main
February 23, 2025 23:17 39s
Parse named goal selectors correctly Python Tests #87: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 25s main
main
February 23, 2025 23:17 25s
Parse named goal selectors correctly Vim Tests #82: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 46s main
main
February 23, 2025 23:17 46s
Parse named goal selectors correctly Python Tests #86: Pull request #380 opened by whonore
February 23, 2025 23:14 26s parse-named-goal-selector
parse-named-goal-selector
February 23, 2025 23:14 26s
Parse named goal selectors correctly Lint #380: Pull request #380 opened by whonore
February 23, 2025 23:14 34s parse-named-goal-selector
parse-named-goal-selector
February 23, 2025 23:14 34s
Fix Set Default Proof Mode being ignored (#377) Coq Tests #83: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 2m 42s main
main
January 4, 2025 23:22 2m 42s
Fix Set Default Proof Mode being ignored (#377) Python Tests #85: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 29s main
main
January 4, 2025 23:22 29s
Fix Set Default Proof Mode being ignored (#377) Lint #379: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 41s main
main
January 4, 2025 23:22 41s
Fix Set Default Proof Mode being ignored (#377) Vim Tests #81: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 40s main
main
January 4, 2025 23:22 40s
Fix Set Default Proof Mode being ignored Lint #378: Pull request #377 opened by whonore
January 4, 2025 23:19 33s set-option-with-add
set-option-with-add
January 4, 2025 23:19 33s
Fix Set Default Proof Mode being ignored Coq Tests #82: Pull request #377 opened by whonore
January 4, 2025 23:19 1m 48s set-option-with-add
set-option-with-add
January 4, 2025 23:19 1m 48s
Fix Set Default Proof Mode being ignored Python Tests #84: Pull request #377 opened by whonore
January 4, 2025 23:19 26s set-option-with-add
set-option-with-add
January 4, 2025 23:19 26s
Fix CI (#376) Lint #377: Commit 851130c pushed by whonore
January 4, 2025 23:17 36s main
main
January 4, 2025 23:17 36s
Fix CI (#376) Vim Tests #80: Commit 851130c pushed by whonore
January 4, 2025 23:17 50s main
main
January 4, 2025 23:17 50s
Fix CI (#376) Coq Tests #81: Commit 851130c pushed by whonore
January 4, 2025 23:17 3m 33s main
main
January 4, 2025 23:17 3m 33s
Fix CI (#376) Python Tests #83: Commit 851130c pushed by whonore
January 4, 2025 23:17 27s main
main
January 4, 2025 23:17 27s
Appease mypy and pylint Python Tests #82: Pull request #376 synchronize by whonore
January 4, 2025 23:14 28s pylint-mypy
pylint-mypy
January 4, 2025 23:14 28s
Appease mypy and pylint Coq Tests #80: Pull request #376 synchronize by whonore
January 4, 2025 23:14 1m 31s pylint-mypy
pylint-mypy
January 4, 2025 23:14 1m 31s
Appease mypy and pylint Lint #376: Pull request #376 synchronize by whonore
January 4, 2025 23:14 35s pylint-mypy
pylint-mypy
January 4, 2025 23:14 35s
Appease mypy and pylint Lint #375: Pull request #376 synchronize by whonore
January 4, 2025 23:11 32s pylint-mypy
pylint-mypy
January 4, 2025 23:11 32s
Appease mypy and pylint Python Tests #81: Pull request #376 synchronize by whonore
January 4, 2025 23:11 25s pylint-mypy
pylint-mypy
January 4, 2025 23:11 25s
Appease mypy and pylint Coq Tests #79: Pull request #376 synchronize by whonore
January 4, 2025 23:11 48s pylint-mypy
pylint-mypy
January 4, 2025 23:11 48s
Appease mypy and pylint Coq Tests #78: Pull request #376 opened by whonore
January 4, 2025 22:38 2m 5s pylint-mypy
pylint-mypy
January 4, 2025 22:38 2m 5s
Appease mypy and pylint Lint #374: Pull request #376 opened by whonore
January 4, 2025 22:38 40s pylint-mypy
pylint-mypy
January 4, 2025 22:38 40s