- Jai Community Bug Tracker
- THIS IS JUST THE DEV REPO THE REAL ONE IS HERE
- Contributions
- Security
- Report a Bug in regard to security
- Report a Bug in the CI (not a Jai compiler bug)
- Report Small Bug (Single File)
- Report Big Bug (Multiple Files)
- Make your own Bug Tracker
- License
This project started as just a small tool, was made to keep track of all the compiler bugs I found. Since a few people liked the idea of it, I started making this project - a completely automated testing suite. It is simple and fast to add new bugs, as 99% of bugs are small crashes you can strip down to a single file or even a few lines of code. This tracker will keep track of all bugs across all new versions and platforms (windows 10, linux-ubuntu-22, macos (comming soon)), and notify you when they get fixed - or even when they break again.
THIS IS JUST THE DEV REPO THE REAL ONE IS HERE
As of now, we are not allowed to share the compiler itself. I had asked Jon if it's fine to 'share' it with Microsoft runners, but did not exactly get a straight answer. For that reason, I'm using my own self-hosted runners. Sadly, this, and the very nature of Jai's compile-time capabilities, represent a great threat. As I don't want to leak the compiler and even less, want to get my runners compromised, I tried to be as thorough as possible with security checks.
Since security is a tricky topic and VERY simple to get wrong or to overlook things, I'd highly appreciate you looking over the automation and giving feedback. This would mainly invole workflow 1 and workflow 2, as workflow 3 runs on push on master which is expected to be safe. Workflow 1 converts issues to PRs and keeps them up to date. I don't think there is much to do wrong, but you never know. The most important one to get right is workflow 2. If only want to audit one, do that one.
If you have any suggestions for improvements or ideas for missing bug categories, tell me by using the template.
If you find any bug or have something you're concerned about in regard to possible security implications, please the Security Issue template. Make sure to link the important code section via githubs permalinks. I will respond as fast as possible to resolve all secuirty problems.
When you happen to find any other bug thats not related to Jai nor security, please use the CI Issue template. Ofcourse, you can also create a PR fixing the issues instead!
If you want to report a bug that fits into a single file, the right place is to use the Bug Report - Single File (Automated PR) template. This pipeline is fully automated. It should be self-explanatory. If you have any suggestions for new bug categories, let me know, and I'll add them to the list.
No automation yet! - Just open a normal PR. The only 2 rules are:
- All files have to be in ONE folder named
0_0_[RC]EC<errorcode>
, whereR
andC
corresponds to runtime or compile time test, and<errorcode>
to the expected error code to pass the test. - That folder must contain a first.jai
If you want to make your own version of this, or use it for general testing and what not - you can do so! The main things to adjust are:
- main/master branch names
- @Mupu pings
- Have self-hosted runners and if needed adjust runs-on labels
- Create your own Bot or Access token to give to the workflows. This is needed to have workflows trigger other workflows.explanatory.
This project is licensed under the MIT License. See LICENSE.md