Skip to content

Add GitHub template and workflows needed on the default branch #136

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Mar 19, 2024
Merged

Add GitHub template and workflows needed on the default branch #136

merged 1 commit into from
Mar 19, 2024

Conversation

@Drvi
Copy link
Member

@Drvi Drvi commented Mar 19, 2024 •
edited
Loading

Copied from the v1.9.2+RAI branch via git checkout v1.9.2+RAI -- .github

@github-actions github-actions bot added port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Mar 19, 2024
@Drvi Drvi removed port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Mar 19, 2024
@Drvi Drvi merged commit 5000fc3 into master+RAI Mar 19, 2024
@Drvi Drvi deleted the td-workflows-for-master+RAI branch March 19, 2024 17:34
DelveCI pushed a commit that referenced this pull request Mar 20, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
d2b37fe
DelveCI pushed a commit that referenced this pull request Mar 21, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
a6986bb
DelveCI pushed a commit that referenced this pull request Mar 22, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
14076dc
DelveCI pushed a commit that referenced this pull request Mar 23, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
a4061b6
DelveCI pushed a commit that referenced this pull request Mar 24, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
26581bb
DelveCI pushed a commit that referenced this pull request Mar 26, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
d494d30
DelveCI pushed a commit that referenced this pull request Mar 27, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
82f265b
DelveCI pushed a commit that referenced this pull request Mar 28, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
7e8bb1f
DelveCI pushed a commit that referenced this pull request Mar 29, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
31e7cad
DelveCI pushed a commit that referenced this pull request Mar 30, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
5faa9b8
DelveCI pushed a commit that referenced this pull request Mar 31, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
b03b304
DelveCI pushed a commit that referenced this pull request Apr 1, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
d84c7e4
DelveCI pushed a commit that referenced this pull request Apr 2, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
5878751
DelveCI pushed a commit that referenced this pull request Apr 3, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
61c4034
DelveCI pushed a commit that referenced this pull request Apr 4, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
caaacf1
DelveCI pushed a commit that referenced this pull request Apr 5, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
3581825
DelveCI pushed a commit that referenced this pull request Apr 6, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
64d09ee
DelveCI pushed a commit that referenced this pull request Apr 7, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
97c194c
DelveCI pushed a commit that referenced this pull request Apr 8, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
83be937
DelveCI pushed a commit that referenced this pull request Apr 9, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
6794f48
DelveCI pushed a commit that referenced this pull request Apr 10, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
09ebc32
DelveCI pushed a commit that referenced this pull request Apr 11, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
332708c
DelveCI pushed a commit that referenced this pull request Apr 12, 2024
@Drvi
Add GitHub template and workflows needed on the default branch (#136)
18c0aa9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@NHDaly NHDaly NHDaly approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Drvi @NHDaly