Skip to content

Actions: bruhhgnik/stone-prover

Actions

Release Fedora Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed dockerfile error
Release Fedora Package #33: Commit 97105c2 pushed by bruhhgnik
October 2, 2024 22:54 29m 52s v4.0.0
October 2, 2024 22:54 29m 52s
fix2
Release Fedora Package #32: Commit 5134476 pushed by bruhhgnik
October 2, 2024 20:03 29m 21s v3.0.4
October 2, 2024 20:03 29m 21s
syntax fixed
Release Fedora Package #31: Commit cde796d pushed by bruhhgnik
October 2, 2024 19:59 1m 32s v3.0.3
October 2, 2024 19:59 1m 32s
elfuitils added
Release Fedora Package #30: Commit 0519604 pushed by bruhhgnik
October 2, 2024 19:57 19s v3.0.2
October 2, 2024 19:57 19s
updated dockerfile
Release Fedora Package #29: Commit 74a5e18 pushed by bruhhgnik
October 2, 2024 19:51 3m 14s v3.0.1
October 2, 2024 19:51 3m 14s
capital D
Release Fedora Package #28: Commit 678934a pushed by bruhhgnik
October 2, 2024 19:37 1m 3s v3.0.0
October 2, 2024 19:37 1m 3s
updated for only fedora with addded dockerfile.fedora
Release Fedora Package #27: Commit 886e8c4 pushed by bruhhgnik
October 2, 2024 19:15 22s v2.0.15
October 2, 2024 19:15 22s
updated with matrix approach
Release Fedora Package #26: Commit 2fb8b73 pushed by bruhhgnik
October 2, 2024 19:10 46s v2.0.14
October 2, 2024 19:10 46s
yaml updated
Release Fedora Package #25: Commit 35262df pushed by bruhhgnik
October 2, 2024 18:08 1m 11s v2.0.13
October 2, 2024 18:08 1m 11s
changed dockerfile
Release Fedora Package #24: Commit ea48b63 pushed by bruhhgnik
October 2, 2024 18:02 19s v2.0.12
October 2, 2024 18:02 19s
updated all again
Release Fedora Package #23: Commit 05d6b48 pushed by bruhhgnik
October 2, 2024 17:56 52s v2.0.11
October 2, 2024 17:56 52s
Update Fedora packaging workflow and scripts2
Release Fedora Package #22: Commit 690447f pushed by bruhhgnik
October 2, 2024 16:37 32m 54s v2.0.9
October 2, 2024 16:37 32m 54s
Update Fedora packaging workflow and scripts
Release Fedora Package #21: Commit 67d1a81 pushed by bruhhgnik
October 2, 2024 15:53 37m 28s v2.0.8
October 2, 2024 15:53 37m 28s
Update Fedora packaging workflow and scripts
Release Fedora Package #20: Commit 651fab5 pushed by bruhhgnik
October 2, 2024 15:46 49s v2.0.7
October 2, 2024 15:46 49s
rewrite becasue wrong bazel link
Release Fedora Package #19: Commit e9b11be pushed by bruhhgnik
October 2, 2024 13:37 32m 8s v2.0.5
October 2, 2024 13:37 32m 8s
copy stonen prove.spec again
Release Fedora Package #18: Commit ba7e84e pushed by bruhhgnik
October 2, 2024 12:46 29m 42s v2.0.4
October 2, 2024 12:46 29m 42s
Add bazelisk manual link in yml file
Release Fedora Package #17: Commit d5c2b14 pushed by bruhhgnik
October 2, 2024 12:07 31m 38s v2.0.3
October 2, 2024 12:07 31m 38s
Add bazelisk as BuildRequires in .spec file
Release Fedora Package #16: Commit d6b8a43 pushed by bruhhgnik
October 2, 2024 11:31 30m 17s v2.0.2
October 2, 2024 11:31 30m 17s
Fix missing bazelisk dependency in Fedora build
Release Fedora Package #15: Commit 912d176 pushed by bruhhgnik
October 2, 2024 10:51 32m 10s v2.0.1
October 2, 2024 10:51 32m 10s
Update workflow and add spec file for RPM packaging
Release Fedora Package #14: Commit 924c9a8 pushed by bruhhgnik
October 2, 2024 10:17 30m 30s v2.0.0
October 2, 2024 10:17 30m 30s
Fix again Fedora dependencies and update build.sh
Release Fedora Package #13: Commit 2ad1851 pushed by bruhhgnik
October 2, 2024 09:18 32m 50s v1.0.15
October 2, 2024 09:18 32m 50s
Fix again Fedora dependencies and update build.sh
Release Fedora Package #12: Commit a318f41 pushed by bruhhgnik
October 2, 2024 09:11 3m 48s v1.0.13
October 2, 2024 09:11 3m 48s
Fix Fedora dependencies and update build.sh
Release Fedora Package #11: Commit 14bb826 pushed by bruhhgnik
October 2, 2024 09:05 3m 36s v1.0.11
October 2, 2024 09:05 3m 36s
Update build.sh to support Fedora, Debian, and C++17
Release Fedora Package #10: Commit 26d60d2 pushed by bruhhgnik
October 2, 2024 09:02 43s v1.0.10
October 2, 2024 09:02 43s
Fix missing git installation in Fedora container
Release Fedora Package #9: Commit c8d520d pushed by bruhhgnik
October 2, 2024 08:55 3m 29s v1.0.9
October 2, 2024 08:55 3m 29s