Skip to content

Merge branch 'main' into update-mathscinet #102

Merge branch 'main' into update-mathscinet

Merge branch 'main' into update-mathscinet #102

Triggered via push November 1, 2024 15:50
Status Success
Total duration 14s
Artifacts

automerge.yml

on: push
github-actions
5s
github-actions
Fit to window
Zoom out
Zoom in