Skip to content
CI

feat: 100% Lean 4, pre-DCP rewrites and more #37

Sign in to view logs

feat: 100% Lean 4, pre-DCP rewrites and more

feat: 100% Lean 4, pre-DCP rewrites and more #37

Triggered via push November 22, 2023 19:51
@ramonfmirramonfmir
pushed 138f294
main
Status Success
Total duration 5m 59s
Artifacts –

main.yml

on: push
build
5m 51s
build
Fit to window
Zoom out
Zoom in