Mgrabovs's Projects
mgrabovs/HiGHS
- EPEL 8 : x86_64
- EPEL 9 : x86_64
- Fedora 37 : x86_64
- Fedora 38 : x86_64
- Fedora 39 : x86_64
- Fedora rawhide : x86_64
- Rhel 9 : x86_64
mgrabovs/python-wtforms-sqlalchemy
- EPEL 8 : x86_64
- Fedora 37 : x86_64
- Fedora 38 : x86_64
- Fedora 39 : x86_64
- Fedora rawhide : x86_64
mgrabovs/lean3-community
- EPEL 8 : x86_64
- Fedora 37 : x86_64
- Fedora 38 : x86_64
- Fedora 39 : x86_64
- Fedora rawhide : x86_64
mgrabovs/lean3
- Fedora 37 : x86_64
- Fedora 38 : x86_64
- Fedora 39 : x86_64
- Fedora rawhide : x86_64
News - Read All
Task Queue
Recent Builds - View All
kernel-mainline-sbc
Project: codedude45/kernel-mainline-sbc
Build: 6737253
State: succeeded
Finished: 3 minutes ago
libtalloc
Project: ligenix/enterprise-samba-AD-DC
Build: 6737277
State: succeeded
Finished: 6 minutes ago
mindustry-git
Project: georgewoodall82/Mindustry
Build: 6737283
State: failed
Finished: 14 minutes ago
gr-osmosdr
Project: rezso/SDR
Build: 6737273
State: failed
Finished: 18 minutes ago