Skip to content
Repo Admin

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

Sign in to view logs

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

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

Triggered via push November 14, 2023 05:45
@propensivepropensive
pushed e7b2766
main
Status Success
Total duration 1m 27s
Artifacts –

admin.yml

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