Skip to content

reorganize files under standard theories directory #15

reorganize files under standard theories directory

reorganize files under standard theories directory #15

Triggered via pull request October 21, 2023 15:43
Status Success
Total duration 4m 0s
Artifacts

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in