Skip to content
Test

Merge branch 'main' of https://github.com/leanprover-community/duper #350

Sign in to view logs

Merge branch 'main' of https://github.com/leanprover-community/duper

Merge branch 'main' of https://github.com/leanprover-community/duper #350

Triggered via push October 17, 2023 21:52
@JOSHCLUNEJOSHCLUNE
pushed 208789e
main
Status Success
Total duration 5h 41m 54s
Artifacts –

test.yml

on: push
Test
5h 41m
Test
Fit to window
Zoom out
Zoom in