Skip to content

Merge branch 'prajna-lang:dev' into dev #21

Merge branch 'prajna-lang:dev' into dev

Merge branch 'prajna-lang:dev' into dev #21

Triggered via push September 4, 2024 06:59
Status Cancelled
Total duration 45s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
deploy
Canceling since a higher priority waiting request for 'refs/heads/dev-workflow' exists