Skip to content
Mirror to Gitlab to trigger CI

Minor cleanup #801

Sign in to view logs

Minor cleanup

Minor cleanup #801

Triggered via push January 22, 2025 10:42
@brownbaerchenbrownbaerchen
pushed 9529f63
firedrake
Status Skipped
Total duration 14s
Artifacts –

gitlab_ci.yml

on: push
check_permission
0s
check_permission
mirror_to_gitlab
0s
mirror_to_gitlab
get_artifacts_from_other_workflow
0s
get_artifacts_from_other_workflow
Fit to window
Zoom out
Zoom in