Skip to content

Merge branch 'master' of https://github.com/ersilia-os/ersilia #767

Merge branch 'master' of https://github.com/ersilia-os/ersilia

Merge branch 'master' of https://github.com/ersilia-os/ersilia #767

Triggered via push December 20, 2023 08:18
Status Success
Total duration 6m 11s
Artifacts

pr_check.yml

on: push
Fit to window
Zoom out
Zoom in