Skip to content
Post - Github activity (PRs)

Merge inf_dev_2021 into inf_dev_2024 #2

Sign in to view logs

Merge inf_dev_2021 into inf_dev_2024

Merge inf_dev_2021 into inf_dev_2024 #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run
0s
0s