Skip to content

Commit

Permalink
Probe time
Browse files Browse the repository at this point in the history
  • Loading branch information
@j-woz
j-woz committed Sep 11, 2024
1 parent 4e7a57f commit 280d10c
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions dev/jenkins/anaconda.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,12 @@ set -eux
# JENKINS_HOME: Set by Jenkins, else unset
# GITHUB_ACTION: Set by GitHub, else unset


ls /opt/homebrew/opt/gnu-time/libexec/gnubin
which time

exit

setopt PUSHD_SILENT

# Defaults:
Expand Down

0 comments on commit 280d10c

Please sign in to comment.