Skip to content

add some more interfaces to BaseInterfaces.jl #10

add some more interfaces to BaseInterfaces.jl

add some more interfaces to BaseInterfaces.jl #10

Triggered via pull request October 25, 2023 20:54
@rafaqzrafaqz
synchronize #27
more_interfaces
Status Success
Total duration 2m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

Documentation.yml

on: pull_request
Fit to window
Zoom out
Zoom in