Skip to content

Revert "ci: Prevent duplicate CI runs when pushing to repo" #660

Revert "ci: Prevent duplicate CI runs when pushing to repo"

Revert "ci: Prevent duplicate CI runs when pushing to repo" #660

Triggered via push October 16, 2023 22:40
Status Success
Total duration 14m 27s
Artifacts

build.yml

on: push
Matrix: linux-32
Matrix: linux
Matrix: mac-no-asm
Matrix: mac
Matrix: windows_clang_cl
Matrix: windows_ninja
Matrix: windows_vs-no-asm
Matrix: windows_vs
Fit to window
Zoom out
Zoom in