8000 Merge pull request #2357 from GavinHuttley/develop · cogent3/cogent3@f8a49e0 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
CI

Merge pull request #2357 from GavinHuttley/develop #3837

Sign in to view logs

Merge pull request #2357 from GavinHuttley/develop

Merge pull request #2357 from GavinHuttley/develop #3837

Triggered via push June 16, 2025 05:41
@GavinHuttleyGavinHuttley
pushed f8a49e0
develop
Status Success
Total duration 13m 2s
Artifacts –

testing_develop.yml

on: push
Matrix: tests
Finish Coveralls
7s
Finish Coveralls
Fit to window
Zoom out
Zoom in
0