Skip to content
Back to pull request #248

Web3 id fixes #1023

Sign in to view logs

Web3 id fixes

Web3 id fixes #1023

Triggered via pull request August 28, 2023 13:00
@shjortConcordiumshjortConcordium
opened #248
web3Id-fixes
Status Success
Total duration 4m 25s
Artifacts 1

pipeline.yml

on: pull_request
build
2m 52s
build
rust_lint_fmt
16s
rust_lint_fmt
lint
49s
lint
markdown-lint
26s
markdown-lint
markdown-linkcheck
28s
markdown-linkcheck
typecheck-examples
26s
typecheck-examples
common-tests
58s
common-tests
typedoc
1m 14s
typedoc
rust_lint_clippy
48s
rust_lint_clippy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build-debug Expired
9.2 MB