push: build and cache devShells

chore: update pr-agent #86

Sign in to view logs

Triggered via pull request January 7, 2025 13:36

dbarrosop

opened #29

pr-agent

Status Success

Total duration 1m 21s

Artifacts –

push_build_devShells.yaml

on: pull_request

Matrix: artifacts