Skip to content

Actions: cs-au-dk/dk.brics.automaton

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1 workflow run
1 workflow run
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #40 from turf00/master
build #7: Commit 76d4744 pushed by amoeller
May 31, 2023 16:27 2m 9s master
May 31, 2023 16:27 2m 9s