Skip to content
Repo Admin

Merge branch 'main' of github.com:propensive/rudiments #35

Sign in to view logs

Merge branch 'main' of github.com:propensive/rudiments

Merge branch 'main' of github.com:propensive/rudiments #35

Triggered via push July 5, 2023 14:04
@propensivepropensive
pushed 717d0ff
main
Status Success
Total duration 1m 26s
Artifacts –

admin.yml

on: push
admin
1m 16s
admin
Fit to window
Zoom out
Zoom in