Skip to content

Merge branch 'fix_race_condition' into 'derivgrind' #3

Merge branch 'fix_race_condition' into 'derivgrind'

Merge branch 'fix_race_condition' into 'derivgrind' #3

Triggered via push August 31, 2023 09:04
Status Success
Total duration 7m 6s
Artifacts

release.yml

on: push
Build Derivgrind and update release
6m 53s
Build Derivgrind and update release
Fit to window
Zoom out
Zoom in