Skip to content
Back to pull request #415

Update the changelog #456

Sign in to view logs

Update the changelog

Update the changelog #456

Triggered via push April 11, 2024 01:58
@tatsuya6502tatsuya6502
pushed c50d186
avoid-async-scheduler-busy-loop
Status Success
Total duration 15s
Artifacts –

Kani.yml

on: push
pre_job
4s
pre_job
run-kani
0s
run-kani
Fit to window
Zoom out
Zoom in