Skip to content

Actions: viperproject/ReusableProtocolVerificationLibrary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates README Verification of Reusable Protocol Verification Library #10: Commit cfe0044 pushed by ArquintL
December 7, 2023 15:26 3m 58s main
main
December 7, 2023 15:26 3m 58s
Create CITATION.bib Verification of Reusable Protocol Verification Library #9: Commit da527b0 pushed by ArquintL
December 7, 2023 15:24 4m 1s main
main
December 7, 2023 15:24 4m 1s
adapts README to show citation for paper Verification of Reusable Protocol Verification Library #8: Commit 9138efa pushed by ArquintL
December 7, 2023 15:21 4m 4s main
main
December 7, 2023 15:21 4m 4s
rearranges badges Verification of Reusable Protocol Verification Library #7: Commit 60f503e pushed by ArquintL
December 7, 2023 13:59 4m 3s main
main
December 7, 2023 13:59 4m 3s
adds DOI badge to README Verification of Reusable Protocol Verification Library #6: Commit f64d7e1 pushed by ArquintL
December 7, 2023 13:54 3m 55s main
main
December 7, 2023 13:54 3m 55s
updates README and adds the published paper and how to cite the library Verification of Reusable Protocol Verification Library #5: Commit 68b997d pushed by ArquintL
December 7, 2023 13:50 3m 56s main
main
December 7, 2023 13:50 3m 56s
updates CI Verification of Reusable Protocol Verification Library #4: Commit 65b2e10 pushed by ArquintL
September 5, 2023 16:46 6m 3s main
main
September 5, 2023 16:46 6m 3s
adds maintainer Verification of Reusable Protocol Verification Library #3: Commit 91fa9ca pushed by ArquintL
September 5, 2023 16:44 7m 18s main
main
September 5, 2023 16:44 7m 18s
CI trigger Verification of Reusable Protocol Verification Library #2: Commit ee2cb4b pushed by ArquintL
September 5, 2023 16:43 6m 20s main
main
September 5, 2023 16:43 6m 20s
renames module and adds CI Verification of Reusable Protocol Verification Library #1: Commit 70230b6 pushed by ArquintL
September 5, 2023 16:43 7m 41s main
main
September 5, 2023 16:43 7m 41s