Skip to content

Actions: IBM/ACE-RISCV

Actions

Verification tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
378 workflow runs
378 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adjusted OpenSbi configuration (#71) Verification tests #348: Commit c157ec7 pushed by wojciechozga
September 5, 2024 09:18 57m 18s main
main
September 5, 2024 09:18 57m 18s
Adjusted OpenSBI configuration Verification tests #347: Pull request #71 opened by wojciechozga
September 5, 2024 09:11 57m 31s woz/opensbi_fix_config
woz/opensbi_fix_config
September 5, 2024 09:11 57m 31s
Adjusted OpenSbi configuration Verification tests #346: Commit 0698575 pushed by wojciechozga
September 5, 2024 09:09 57m 30s woz/opensbi_fix_config
woz/opensbi_fix_config
September 5, 2024 09:09 57m 30s
Pin RefinedRust to a specific version (#70) Verification tests #345: Commit ceccd81 pushed by wojciechozga
August 12, 2024 08:34 57m 49s main
main
August 12, 2024 08:34 57m 49s
Pin RefinedRust to a specific version Verification tests #344: Pull request #70 synchronize by wojciechozga
August 11, 2024 19:44 57m 0s lennard/pin-refinedrust
lennard/pin-refinedrust
August 11, 2024 19:44 57m 0s
Setting back rootfs sizes to 5G Verification tests #343: Commit 065ed7e pushed by wojciechozga
August 11, 2024 19:44 56m 42s lennard/pin-refinedrust
lennard/pin-refinedrust
August 11, 2024 19:44 56m 42s
Pin RefinedRust to a specific version Verification tests #342: Pull request #70 synchronize by wojciechozga
August 11, 2024 16:13 58m 3s lennard/pin-refinedrust
lennard/pin-refinedrust
August 11, 2024 16:13 58m 3s
Checking out the fixed version of Ubuntu in the CI Verification tests #341: Commit b552625 pushed by wojciechozga
August 11, 2024 16:13 1h 3m 26s lennard/pin-refinedrust
lennard/pin-refinedrust
August 11, 2024 16:13 1h 3m 26s
Pin RefinedRust to a specific version Verification tests #340: Pull request #70 synchronize by wojciechozga
August 9, 2024 14:00 1h 7m 51s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 14:00 1h 7m 51s
Decreased the size of test VM images by reducing the rootfs filesyste… Verification tests #339: Commit bed2450 pushed by wojciechozga
August 9, 2024 14:00 57m 30s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 14:00 57m 30s
Pin RefinedRust to a specific version Verification tests #338: Pull request #70 synchronize by lgaeher
August 9, 2024 10:14 58m 9s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 10:14 58m 9s
pin RefinedRust version Verification tests #337: Commit e607b6d pushed by lgaeher
August 9, 2024 10:14 57m 58s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 10:14 57m 58s
Pin RefinedRust to a specific version Verification tests #336: Pull request #70 opened by lgaeher
August 9, 2024 10:13 57m 55s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 10:13 57m 55s
pin RefinedRust version Verification tests #335: Commit 77c30b7 pushed by lgaeher
August 9, 2024 10:08 57m 47s lennard/pin-refinedrust
lennard/pin-refinedrust
August 9, 2024 10:08 57m 47s
Initial formal verification results (#69) Verification tests #334: Commit fb42733 pushed by wojciechozga
July 19, 2024 21:00 58m 5s main
main
July 19, 2024 21:00 58m 5s
Initial formal verification results Verification tests #333: Pull request #69 synchronize by lgaeher
July 19, 2024 17:58 57m 50s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 19, 2024 17:58 57m 50s
Initial formal verification results Verification tests #332: Pull request #69 synchronize by lgaeher
July 19, 2024 16:46 58m 21s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 19, 2024 16:46 58m 21s
Initial formal verification results Verification tests #331: Pull request #69 synchronize by lgaeher
July 17, 2024 18:02 58m 11s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 17, 2024 18:02 58m 11s
Initial formal verification results Verification tests #330: Pull request #69 synchronize by lgaeher
July 17, 2024 16:48 58m 30s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 17, 2024 16:48 58m 30s
Initial formal verification results Verification tests #329: Pull request #69 synchronize by lgaeher
July 17, 2024 10:39 59m 39s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 17, 2024 10:39 59m 39s
Initial formal verification results Verification tests #328: Pull request #69 synchronize by lgaeher
July 16, 2024 17:54 59m 12s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 17:54 59m 12s
Initial formal verification results Verification tests #327: Pull request #69 synchronize by lgaeher
July 16, 2024 13:31 41m 51s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:31 41m 51s
Initial formal verification results Verification tests #326: Pull request #69 synchronize by lgaeher
July 16, 2024 13:30 42m 43s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 16, 2024 13:30 42m 43s
Initial formal verification results Verification tests #325: Pull request #69 opened by lgaeher
July 12, 2024 14:01 41m 31s lgaeher:ci/lennard/verification
lgaeher:ci/lennard/verification
July 12, 2024 14:01 41m 31s
Cleaning (#68) Verification tests #324: Commit 3d46c7f pushed by wojciechozga
June 24, 2024 18:39 38m 45s main
main
June 24, 2024 18:39 38m 45s