use-github-actions

rename a label, to disambiguate w other method #125

Sign in to view logs

Triggered via push February 5, 2025 10:14

shlomif

master

Status Success

Total duration 8m 12s

Artifacts –

use-github-actions.yml

on: push

test-black-hole-solver