Skip to content
PR

Add Microkit 1.4.0 release #385

Sign in to view logs

Add Microkit 1.4.0 release

Add Microkit 1.4.0 release #385

Triggered via pull request August 5, 2024 10:24
@Ivan-VelickovicIvan-Velickovic
synchronize #263
Ivan-Velickovic:microkit_1.4.0
Status Success
Total duration 38s
Artifacts –

pr.yml

on: pull_request
Gitlint
30s
Gitlint
Trailing Whitespace
24s
Trailing Whitespace
Portable Shell
21s
Portable Shell
Fit to window
Zoom out
Zoom in