Add a github workflow that prevents PRs to main that is not coming from dev #34
Job | Run time |
---|---|
1h 21m 17s | |
5m 18s | |
8m 9s | |
1h 20m 0s | |
1h 21m 41s | |
1h 20m 49s | |
5h 37m 14s |
Job | Run time |
---|---|
1h 21m 17s | |
5m 18s | |
8m 9s | |
1h 20m 0s | |
1h 21m 41s | |
1h 20m 49s | |
5h 37m 14s |