Skip to content

New version: DMRJtensor v0.14.0 #53619

New version: DMRJtensor v0.14.0

New version: DMRJtensor v0.14.0 #53619

Workflow file for this run

name: Manual PRs feed
on:
pull_request_target:
types: [ opened ]
permissions:
contents: read
jobs:
manual-prs-slack:
if: (github.event.pull_request.user.login != 'JuliaRegistrator') && (github.event.pull_request.user.login != 'jlbuild') && (github.event.pull_request.user.login != 'JuliaTagBot')
runs-on: ubuntu-latest
steps:
- uses: julia-actions/setup-julia@9b79636afcfb07ab02c256cede01fe2db6ba808c # v2.6.0
with:
version: 1.6.2
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
- name: Send to Slack
shell: julia --color=yes {0}
run: |
endpoint = ENV["SLACK_ENDPOINT"]
if isempty(endpoint)
@info "Endpoint not specified; missing secret? Exiting."
exit(0)
end
pr_number_str = ENV["PR_NUMBER"]
pr_number_int = parse(Int, ENV["PR_NUMBER"]) # make sure that it is indeed an integer
pr_url = "https://github.com/JuliaRegistries/General/pull/$(pr_number_int)"
const allowed_chars = vcat(
'A':'Z',
'a':'z',
'0':'9',
[' ', '-'],
)
const f = char -> char in allowed_chars ? char : '-'
const sanitize = str -> map(f, str)
const truncate = str -> first(str, 280)
pr_author = ENV["PR_AUTHOR"] |> sanitize |> truncate
pr_title = ENV["PR_TITLE"] |> sanitize |> truncate
text_lines = String[
"- Title: $(pr_title)",
"- Author: $(pr_author)",
"- URL: $(pr_url)",
]
text = join(text_lines, '\n')
using Pkg
Pkg.activate(mktempdir())
Pkg.add(name="Slack", version="0.1")
using Slack
attachment = Dict(
"color" => "#36a64f",
"fallback" => pr_title,
"title" => pr_title,
"title_link" => pr_url,
"text" => text,
)
data = Dict("attachments" => [attachment])
if !startswith(endpoint, "/")
endpoint = string("/", endpoint)
end
@info "Told Slack: $(data)"
response = sendattachmenttoslack(data, endpoint)
@info "Slack said: $response"
env:
SLACK_ENDPOINT: ${{ secrets.JULIALANGSLACKENDPOINT_MANUAL_PRS }}
PR_NUMBER: ${{ github.event.number }}
PR_TITLE: ${{ github.event.pull_request.title }}
PR_AUTHOR: ${{ github.event.pull_request.user.login }}