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

Better dune support Coq Tests #60: Pull request #347 synchronize by whonore
June 24, 2024 00:28 1m 48s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 1m 48s
Better dune support Lint #355: Pull request #347 synchronize by whonore
June 24, 2024 00:28 38s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 38s
Better dune support Coq Tests #59: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 4m 54s
Better dune support Lint #354: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 37s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 37s
Better dune support Vim Tests #59: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 44s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 44s
Better dune support Python Tests #60: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 27s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 27s
Better dune support Python Tests #59: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 28s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 28s
Better dune support Vim Tests #58: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 46s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 46s
Better dune support Coq Tests #58: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 4m 57s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 4m 57s
Better dune support Lint #353: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 1m 20s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 1m 20s
Adapt to new error location type (#358) Python Tests #58: Commit a363529 pushed by whonore
June 15, 2024 20:06 31s main
main
June 15, 2024 20:06 31s
Adapt to new error location type (#358) Coq Tests #57: Commit a363529 pushed by whonore
June 15, 2024 20:06 4m 46s main
main
June 15, 2024 20:06 4m 46s
Adapt to new error location type (#358) Lint #352: Commit a363529 pushed by whonore
June 15, 2024 20:06 39s main
main
June 15, 2024 20:06 39s
Adapt to new error location type (#358) Vim Tests #57: Commit a363529 pushed by whonore
June 15, 2024 20:06 44s main
main
June 15, 2024 20:06 44s
Better dune support Coq Tests #56: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 14:22 4m 54s
Better dune support Vim Tests #56: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 46s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 14:22 46s
Better dune support Lint #351: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 39s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 14:22 39s
Better dune support Python Tests #57: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 31s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 14:22 31s
Better dune support Vim Tests #55: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 1m 36s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 08:49 1m 36s
Better dune support Python Tests #56: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 30s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 08:49 30s
Better dune support Coq Tests #55: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 4m 16s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 08:49 4m 16s
Better dune support Lint #350: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 40s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 08:49 40s
Fix local nix + coq tests (#359) Vim Tests #54: Commit d77080e pushed by whonore
June 2, 2024 14:34 39s main
main
June 2, 2024 14:34 39s
Fix local nix + coq tests (#359) Python Tests #55: Commit d77080e pushed by whonore
June 2, 2024 14:34 28s main
main
June 2, 2024 14:34 28s
Fix local nix + coq tests (#359) Lint #349: Commit d77080e pushed by whonore
June 2, 2024 14:34 40s main
main
June 2, 2024 14:34 40s