search

xtuml / munin

Apache License 2.0
1 stars 0 forks source link

job: #MUN2-103 automated benchmarking analysis #81

Closed cortlandstarrett closed 1 year ago

cortlandstarrett commented 1 year ago

Provide analysis for automated benchmarking of the Protocol Verifier.

github-actions[bot] commented 1 year ago

Test results for branch "MUN2-103_autobenchmark": https://s3.amazonaws.com/1f-outgoing/munin/MUN2-103_autobenchmark/index.html Permanent link for this run: https://s3.amazonaws.com/1f-outgoing/munin/0692ec5/index.html