Skip to content

Update and simplify Github Action for regression testing.#268

Closed
davexparker wants to merge 2 commits into
prismmodelchecker:masterfrom
davexparker:test-action
Closed

Update and simplify Github Action for regression testing.#268
davexparker wants to merge 2 commits into
prismmodelchecker:masterfrom
davexparker:test-action

Add source distribution to release building action.

ddd9490
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar