Skip to content
Docker CI

reorganize files under standard theories directory #15

Sign in to view logs

reorganize files under standard theories directory

reorganize files under standard theories directory #15

Triggered via pull request October 21, 2023 15:43
@palmskogpalmskog
opened #143
theories-dir
Status Success
Total duration 4m 0s
Artifacts –

docker-action.yml

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