Skip to content

Actions: viperproject/SecurityProtocolImplementations

Actions

Verification of Reusable Verification Library for Gobra

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
library.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: modifies Dockerfile to create a multi-architecture image Verification of Reusable Verification Library for Gobra #15: Commit dc1d679 pushed by ArquintL
December 8, 2023 09:29 3m 58s arm-docker-image
arm-docker-image
December 8, 2023 09:29 3m 58s
fixes README Verification of Reusable Verification Library for Gobra #14: Commit 8a07c63 pushed by ArquintL
December 8, 2023 09:19 4m 3s main
main
December 8, 2023 09:19 4m 3s
Updates README Verification of Reusable Verification Library for Gobra #13: Commit bfe5d47 pushed by ArquintL
December 7, 2023 17:15 3m 54s main
main
December 7, 2023 17:15 3m 54s
Create CITATION.bib Verification of Reusable Verification Library for Gobra #12: Commit ba78d20 pushed by ArquintL
December 7, 2023 15:28 3m 52s main
main
December 7, 2023 15:28 3m 52s
Updates README Verification of Reusable Verification Library for Gobra #11: Commit 647edd2 pushed by ArquintL
December 7, 2023 15:27 4m 6s main
main
December 7, 2023 15:27 4m 6s
adds links to published paper and Zenodo Verification of Reusable Verification Library for Gobra #10: Commit 9b683b9 pushed by ArquintL
December 7, 2023 13:58 3m 55s main
main
December 7, 2023 13:58 3m 55s
another try Verification of Reusable Verification Library for Gobra #9: Commit ff2ba14 pushed by ArquintL
November 5, 2023 20:45 5m 39s arm-docker-image
arm-docker-image
November 5, 2023 20:45 5m 39s
builds and uploads a Doker image for M1 macs Verification of Reusable Verification Library for Gobra #8: Commit 2cc1efe pushed by ArquintL
November 5, 2023 19:49 3m 52s arm-docker-image
arm-docker-image
November 5, 2023 19:49 3m 52s
increases time limit for artifact CI Verification of Reusable Verification Library for Gobra #7: Commit 7ee1707 pushed by ArquintL
October 25, 2023 07:17 7m 27s main
main
October 25, 2023 07:17 7m 27s
extends README with instructions on how to use the artifact Verification of Reusable Verification Library for Gobra #6: Commit 5a88a94 pushed by ArquintL
October 25, 2023 06:56 5m 56s main
main
October 25, 2023 06:56 5m 56s
extends CI to test artifact Verification of Reusable Verification Library for Gobra #5: Commit 160fd60 pushed by ArquintL
October 25, 2023 06:40 5m 26s main
main
October 25, 2023 06:40 5m 26s
fixes artifact image creation Verification of Reusable Verification Library for Gobra #4: Commit fade50c pushed by ArquintL
October 25, 2023 05:51 5m 34s main
main
October 25, 2023 05:51 5m 34s
adds artifact Docker image Verification of Reusable Verification Library for Gobra #3: Commit 47773a7 pushed by ArquintL
October 25, 2023 05:50 6m 30s main
main
October 25, 2023 05:50 6m 30s
adds papaer artifact Verification of Reusable Verification Library for Gobra #2: Commit bae637c pushed by ArquintL
September 10, 2023 05:53 5m 44s CCS_23
CCS_23
September 10, 2023 05:53 5m 44s
adds papaer artifact Verification of Reusable Verification Library for Gobra #1: Commit bae637c pushed by ArquintL
September 10, 2023 05:27 6m 56s main
main
September 10, 2023 05:27 6m 56s