1. Home
  2. mikelui

Mikelui's Projects

mikelui/extra-latest

Newer package versions than available in community CentOS 7 repos
  • EPEL 7 : x86_64

News - Read All

Task Queue

13 Build Batches 0 Importing 0 Pending 0 Starting 20 Running

Recent Builds - View All

buildtag

Project: @copr/copr-ping

Build: 9830546

State: succeeded

Finished: a minute ago

wezterm-nightly

Project: wezfurlong/wezterm-nightly

Build: 9830544

State: failed

Finished: 5 minutes ago

rehex

Project: solemnwarning/rehex

Build: 9830534

State: succeeded

Finished: 8 minutes ago

lean4

Project: petersen/lean4

Build: 9830450

State: succeeded

Finished: 10 minutes ago