Skip to content
GitHub macOS CI

ci-menhir: don't set version to $(date) if already done #2756

Sign in to view logs

ci-menhir: don't set version to $(date) if already done

ci-menhir: don't set version to $(date) if already done #2756

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
1h 0m 31s
1h 0m 31s