Skip to content
CI

ci: remove redundant push trigger on main #173

Sign in to view logs

ci: remove redundant push trigger on main

ci: remove redundant push trigger on main #173

Triggered via pull request March 20, 2026 15:37
@renaudceprerenaudcepre
synchronize #84
ci/cleanup-triggers
Status Success
Total duration 6m 24s
Artifacts –

ci.yml

on: pull_request
lint
10s
lint
Matrix: test
types
11s
types
test-summary
3s
test-summary
Fit to window
Zoom out
Zoom in