checks

Improve formulation of axioms #148

Sign in to view logs

Triggered via push May 10, 2024 12:54

miawlu

main

Status Success

Total duration 43s

Billable time 3m

Artifacts –

ci.yml

on: push