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

Release 1.7.2 Vim Tests #66: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 41s main
main
June 30, 2024 18:30 41s
Release 1.7.2 Lint #361: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 32s main
main
June 30, 2024 18:30 32s
Release 1.7.2 Coq Tests #66: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 1m 44s main
main
June 30, 2024 18:30 1m 44s
Better dune support (#347) Coq Tests #65: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 4m 47s main
main
June 30, 2024 18:25 4m 47s
Better dune support (#347) Lint #360: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 42s main
main
June 30, 2024 18:25 42s
Better dune support (#347) Vim Tests #65: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 44s main
main
June 30, 2024 18:25 44s
Better dune support (#347) Python Tests #66: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 25s main
main
June 30, 2024 18:25 25s
Better dune support Vim Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:51 45s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 45s
Better dune support Coq Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:51 1m 50s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 1m 50s
Better dune support Lint #359: Pull request #347 synchronize by whonore
June 29, 2024 14:51 32s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 32s
Better dune support Python Tests #65: Pull request #347 synchronize by whonore
June 29, 2024 14:51 28s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 28s
Better dune support Vim Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 14:37 39s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 39s
Better dune support Python Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:37 24s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 24s
Better dune support Lint #358: Pull request #347 synchronize by whonore
June 29, 2024 14:37 38s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 38s
Better dune support Coq Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 14:37 2m 10s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 2m 10s
Better dune support Coq Tests #62: Pull request #347 synchronize by whonore
June 29, 2024 13:55 4m 43s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 4m 43s
Better dune support Python Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 13:55 27s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 27s
Better dune support Vim Tests #62: Pull request #347 synchronize by whonore
June 29, 2024 13:55 45s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 45s
Better dune support Lint #357: Pull request #347 synchronize by whonore
June 29, 2024 13:55 36s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 36s
Better dune support Coq Tests #61: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 4m 54s
Better dune support Python Tests #62: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 30s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 30s
Better dune support Vim Tests #61: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 44s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 44s
Better dune support Lint #356: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 35s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 35s
Better dune support Vim Tests #60: Pull request #347 synchronize by whonore
June 24, 2024 00:28 43s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 43s
Better dune support Python Tests #61: Pull request #347 synchronize by whonore
June 24, 2024 00:28 26s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 26s