Skip to content

Actions: knowsys/rulewerk

Actions

Rulewerk

Actions

Loading...

Showing runs from all workflows named Rulewerk
4 workflow run results
4 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix a typo Rulewerk Tests #88: Commit da85120 pushed by mmarx
July 11, 2023 17:17 26m 58s master
master
July 11, 2023 17:17 26m 58s
Pointer to Nemo Rulewerk Tests #87: Commit f549891 pushed by mkroetzsch
July 11, 2023 13:05 27s master
master
July 11, 2023 13:05 27s
Fix a typo Rulewerk VLog Integration Tests #35: Commit da85120 pushed by mmarx
July 11, 2023 17:17 13m 27s master
master
July 11, 2023 17:17 13m 27s
Pointer to Nemo Rulewerk VLog Integration Tests #34: Commit f549891 pushed by mkroetzsch
July 11, 2023 13:05 28s master
master
July 11, 2023 13:05 28s