Skip to content

Merge pull request #53 from JohnTitor/forgetting_copy_types #138

Merge pull request #53 from JohnTitor/forgetting_copy_types

Merge pull request #53 from JohnTitor/forgetting_copy_types #138

Triggered via push June 10, 2023 22:07
Status Success
Total duration 6m 3s
Artifacts

windows.yml

on: push
Matrix: build_and_test
Fit to window
Zoom out
Zoom in