Skip to content

Merge pull request #2058 from tweag/dependabot/github_actions/renovat… #2603

Merge pull request #2058 from tweag/dependabot/github_actions/renovat…

Merge pull request #2058 from tweag/dependabot/github_actions/renovat… #2603

Triggered via push November 29, 2023 11:11
Status Success
Total duration 1h 15m 43s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

workflow.yaml

on: push
Format & Lint
2m 5s
Format & Lint
Matrix: Build & Test - bindist
Matrix: Build & Test - Nixpkgs
Fit to window
Zoom out
Zoom in