Skip to content
.github/workflows/main.yml

Merge pull request #5 from tweag/fixup-minor-issues #45

Sign in to view logs

Merge pull request #5 from tweag/fixup-minor-issues

Merge pull request #5 from tweag/fixup-minor-issues #45

Triggered via push November 5, 2024 14:31
@obscurerichardobscurerichard
pushed 1b9b05d
main
Status Success
Total duration 20s
Artifacts –

main.yml

on: push
FawltyDeps
8s
FawltyDeps
Fit to window
Zoom out
Zoom in