Skip to content

Merge pull request #2738 from pi8027/fix-algebra-tactics-dev #157

Merge pull request #2738 from pi8027/fix-algebra-tactics-dev

Merge pull request #2738 from pi8027/fix-algebra-tactics-dev #157

Triggered via push September 27, 2023 14:51
Status Success
Total duration 6m 30s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in