Skip to content
Bump Version and Start Release Job

Upstreaming Kontrol slot update lemmas as tests (#2622) #867

Sign in to view logs

Upstreaming Kontrol slot update lemmas as tests (#2622)

Upstreaming Kontrol slot update lemmas as tests (#2622) #867

Triggered via push September 18, 2024 11:33
@PetarMaxPetarMax
pushed 8a9adc2
master
Status Success
Total duration 16s
Artifacts –

master-push.yml

on: push
Version Bump
6s
Version Bump
Fit to window
Zoom out
Zoom in