Skip to content

Change definition of "introduced_in" field in the history tables (#354) #128

Change definition of "introduced_in" field in the history tables (#354)

Change definition of "introduced_in" field in the history tables (#354) #128

Triggered via push June 29, 2023 12:04
Status Success
Total duration 44s
Artifacts

test.yml

on: push
run-tests
34s
run-tests
check-consistency
31s
check-consistency
Fit to window
Zoom out
Zoom in