Skip to content

kissat: 4.0.1 -> 4.0.2 #45036

kissat: 4.0.1 -> 4.0.2

kissat: 4.0.1 -> 4.0.2 #45036

Triggered via pull request January 26, 2025 01:00
@r-ryantmr-ryantm
opened #376847
Status Success
Total duration 1m 5s
Artifacts

editorconfig-v2.yml

on: pull_request_target
get-merge-commit  /  resolve-merge-commit
11s
get-merge-commit / resolve-merge-commit
editorconfig-check
37s
editorconfig-check
Fit to window
Zoom out
Zoom in