Skip to content
Unsoundness checks

ci: Create Jira tasks from issues (#32) #9

Sign in to view logs

ci: Create Jira tasks from issues (#32)

ci: Create Jira tasks from issues (#32) #9

Triggered via push July 12, 2023 10:02
@aborgna-qaborgna-q
pushed a152d18
main
Status Success
Total duration 1m 57s
Artifacts –

unsoundness.yml

on: push
Miri
1m 46s
Miri
Fit to window
Zoom out
Zoom in