Skip to content

Actions: antmicro/Cores-VeeR-EL2

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add workflow for building a docker image
Build docker image #18: Pull request #11 synchronize by kamilrakoczy
December 23, 2024 13:49 21m 14s wsip/build_docker
December 23, 2024 13:49 21m 14s
add workflow for building a docker image
Build docker image #17: Pull request #11 synchronize by kamilrakoczy
December 23, 2024 11:54 21m 4s wsip/build_docker
December 23, 2024 11:54 21m 4s
add workflow for building a docker image
Build docker image #16: Pull request #11 synchronize by kamilrakoczy
December 23, 2024 11:44 20m 56s wsip/build_docker
December 23, 2024 11:44 20m 56s
add workflow for building a docker image
Build docker image #15: Pull request #11 synchronize by wsipak
November 29, 2024 11:56 20m 32s wsip/build_docker
November 29, 2024 11:56 20m 32s
add workflow for building a docker image
Build docker image #14: Pull request #11 synchronize by wsipak
November 29, 2024 11:52 18s wsip/build_docker
November 29, 2024 11:52 18s
add workflow for building a docker image
Build docker image #13: Pull request #11 synchronize by wsipak
November 29, 2024 11:49 24s wsip/build_docker
November 29, 2024 11:49 24s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #35: Pull request #12 synchronize by tmichalak
November 21, 2024 14:40 57s
November 21, 2024 14:40 57s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #34: Pull request #12 synchronize by tmichalak
November 21, 2024 14:32 1m 0s lint-log
November 21, 2024 14:32 1m 0s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #33: Pull request #12 synchronize by tmichalak
November 21, 2024 14:32 54s
November 21, 2024 14:32 54s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #32: Pull request #12 synchronize by tmichalak
November 21, 2024 14:16 6m 59s
November 21, 2024 14:16 6m 59s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #31: Commit 079e878 pushed by tmichalak
November 21, 2024 14:16 6m 1s lint-log
November 21, 2024 14:16 6m 1s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #30: Pull request #12 synchronize by tmichalak
November 21, 2024 13:56 59s
November 21, 2024 13:56 59s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #29: Commit 1a9e3e1 pushed by tmichalak
November 21, 2024 13:56 52s lint-log
November 21, 2024 13:56 52s
CI: Make reviewdog only upload linting and formatting logfiles
Verible formatter #28: Pull request #12 opened by tmichalak
November 21, 2024 13:55 49s
November 21, 2024 13:55 49s
CI: Upload linting results to logfile only
Verible linter #29: Commit ac436c9 pushed by tmichalak
November 21, 2024 13:18 1m 56s lint-log
November 21, 2024 13:18 1m 56s
CI: Upload linting results to logfile only
Verible linter #28: Commit ad65058 pushed by tmichalak
November 21, 2024 13:15 2m 26s lint-log
November 21, 2024 13:15 2m 26s
add workflow for building a docker image
Build docker image #12: Pull request #11 synchronize by wsipak
October 23, 2024 15:31 20m 38s wsip/build_docker
October 23, 2024 15:31 20m 38s
add workflow for building a docker image
Build docker image #11: Pull request #11 synchronize by wsipak
October 23, 2024 15:02 1m 28s wsip/build_docker
October 23, 2024 15:02 1m 28s
add workflow for building a docker image
Build docker image #10: Pull request #11 synchronize by wsipak
October 23, 2024 14:55 5m 20s wsip/build_docker
October 23, 2024 14:55 5m 20s
add workflow for building a docker image
Build docker image #9: Pull request #11 synchronize by tmichalak
October 15, 2024 07:24 16m 26s wsip/build_docker
October 15, 2024 07:24 16m 26s
add workflow for building a docker image
Build docker image #5: Pull request #11 synchronize by wsipak
October 14, 2024 09:36 16m 59s wsip/build_docker
October 14, 2024 09:36 16m 59s
add workflow for building a docker image
Build docker image #4: Pull request #11 synchronize by wsipak
October 10, 2024 13:35 16m 30s wsip/build_docker
October 10, 2024 13:35 16m 30s
add workflow for building a docker image
Build docker image #3: Pull request #11 synchronize by wsipak
October 10, 2024 13:00 17m 20s wsip/build_docker
October 10, 2024 13:00 17m 20s
add workflow for building a docker image
Build docker image #2: Pull request #11 opened by wsipak
October 10, 2024 11:46 17m 15s wsip/build_docker
October 10, 2024 11:46 17m 15s
build docker image in CI
Build docker image #1: Pull request #10 synchronize by wsipak
October 10, 2024 11:08 18m 24s wsip/ci_rework
October 10, 2024 11:08 18m 24s