Skip to content
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.

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

Patch check_target action #916

Merged
merged 29 commits into from
Dec 1, 2023
Merged
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
c5d8bbe
Version 2 RTD configuration file
MikeOpenHWGroup Jun 26, 2023
296ac73
Merge pull request #825 from MikeOpenHWGroup/v2_rtd_cfg
davideschiavone Jun 28, 2023
cd48ad0
Merge pull request #829 from openhwgroup/dev
davideschiavone Jul 5, 2023
8c2fa90
Merge pull request #835 from openhwgroup/dev
davideschiavone Jul 18, 2023
b14f1ad
Merge pull request #837 from openhwgroup/dev
davideschiavone Jul 18, 2023
ea8028f
Merge pull request #842 from openhwgroup/dev
davideschiavone Aug 3, 2023
b26176a
Merge pull request #845 from openhwgroup/dev
davideschiavone Aug 4, 2023
5f5fd49
Merge pull request #849 from openhwgroup/dev
davideschiavone Aug 11, 2023
f06ed4d
Merge pull request #852 from openhwgroup/dev
davideschiavone Aug 16, 2023
da5bf7c
Update .readthedocs.yaml
MikeOpenHWGroup Aug 23, 2023
12d0c48
Merge pull request #857 from MikeOpenHWGroup/mt-openhw-build.os
davideschiavone Aug 30, 2023
ed9fe0a
Merge pull request #866 from openhwgroup/dev
davideschiavone Sep 5, 2023
b1d11a4
Merge pull request #868 from openhwgroup/dev
davideschiavone Sep 6, 2023
c904868
Merge pull request #873 from openhwgroup/dev
davideschiavone Sep 14, 2023
57aacac
Merge pull request #875 from openhwgroup/dev
davideschiavone Sep 19, 2023
e387db7
Merge pull request #879 from openhwgroup/dev
davideschiavone Sep 29, 2023
358c295
Merge pull request #882 from openhwgroup/dev
davideschiavone Oct 4, 2023
29ffb5c
Merge pull request #884 from openhwgroup/dev
davideschiavone Oct 4, 2023
c8d6584
fix undriven signal (#885) (#886)
github-actions[bot] Oct 4, 2023
f35d6d3
Merge pull request #891 from openhwgroup/dev
davideschiavone Oct 10, 2023
c08638e
Merge pull request #893 from openhwgroup/dev
davideschiavone Oct 13, 2023
e70418e
Merge pull request #899 from openhwgroup/dev
davideschiavone Nov 7, 2023
de9dbe4
Merge pull request #903 from openhwgroup/dev
davideschiavone Nov 9, 2023
365f660
Merge pull request #905 from openhwgroup/dev
davideschiavone Nov 9, 2023
83354b6
Merge pull request #908 from openhwgroup/dev
davideschiavone Nov 22, 2023
2c83afa
Merge pull request #911 from openhwgroup/dev
davideschiavone Nov 27, 2023
16a29e0
Merge pull request #913 from openhwgroup/dev
davideschiavone Nov 28, 2023
94acfbf
Merge pull request #915 from openhwgroup/dev
davideschiavone Nov 30, 2023
13cefe8
Update check_target_on_pr.yml
suppamax Nov 30, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions .github/workflows/check_target_on_pr.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
name: check_target
on:
pull_request:
types: [opened, reopened, edited]
on: [push, pull_request]

jobs:
check_target:
runs-on: ubuntu-latest
Expand Down
Loading