Skip to content
.github/workflows/main.yml

Merge pull request #2 from tweag/fixup-minor-issues #20

Sign in to view logs

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

Merge pull request #2 from tweag/fixup-minor-issues #20

Triggered via push May 10, 2024 23:02
@obscurerichardobscurerichard
pushed 2c222bc
main
Status Success
Total duration 24s
Artifacts –

main.yml

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