Skip to content

Actions: adomasbaliuka/formal-qkd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adds Badge to README build #14: Commit 1ca4567 pushed by adomasbaliuka
November 29, 2024 12:53 1m 36s main
main
November 29, 2024 12:53 1m 36s
Minor changes to README build #13: Commit 7178196 pushed by adomasbaliuka
November 29, 2024 11:19 11m 19s main
main
November 29, 2024 11:19 11m 19s
Adjusts REAMDE build #12: Commit feeac69 pushed by adomasbaliuka
November 29, 2024 11:16 1m 39s dev
dev
November 29, 2024 11:16 1m 39s
First version (#1) build #11: Commit c0c6b3e pushed by adomasbaliuka
November 29, 2024 11:08 11m 7s main
main
November 29, 2024 11:08 11m 7s
First version build #10: Pull request #1 synchronize by adomasbaliuka
November 29, 2024 11:04 1m 51s dev
dev
November 29, 2024 11:04 1m 51s
Update lean.yml build #9: Commit 20d97eb pushed by adomasbaliuka
November 29, 2024 11:04 2m 12s dev
dev
November 29, 2024 11:04 2m 12s
First version build #8: Pull request #1 synchronize by adomasbaliuka
November 29, 2024 10:58 1s dev
dev
November 29, 2024 10:58 1s
Towards fixing CI build #7: Commit 926d7c1 pushed by adomasbaliuka
November 29, 2024 10:58 1s dev
dev
November 29, 2024 10:58 1s
First version build #6: Pull request #1 synchronize by adomasbaliuka
November 29, 2024 10:50 1s dev
dev
November 29, 2024 10:50 1s
Runs tests in CI. Maybe runs executable in CI build #5: Commit 796ad42 pushed by adomasbaliuka
November 29, 2024 10:50 1s dev
dev
November 29, 2024 10:50 1s
First version build #4: Pull request #1 synchronize by adomasbaliuka
November 29, 2024 10:29 1m 40s dev
dev
November 29, 2024 10:29 1m 40s
Adds names to acknowledgements build #3: Commit 282cc16 pushed by adomasbaliuka
November 29, 2024 10:29 1m 39s dev
dev
November 29, 2024 10:29 1m 39s
First version build #2: Pull request #1 opened by adomasbaliuka
November 27, 2024 15:13 10m 54s dev
dev
November 27, 2024 15:13 10m 54s
Adds lean sources and manifest build #1: Commit 5c874f7 pushed by adomasbaliuka
November 27, 2024 14:48 11m 17s dev
dev
November 27, 2024 14:48 11m 17s