Skip to content

Releases: PeterJCLaw/srcomp-validate-action

Seventh version

04 May 16:41
Compare
Choose a tag to compare

Now supports testing SRComp Scorer integrations too.

Sixth version

12 Feb 14:31
Compare
Choose a tag to compare

Fifth version

12 Feb 14:27
Compare
Choose a tag to compare

Fourth version

12 Feb 14:22
Compare
Choose a tag to compare

Third version

09 Apr 11:14
Compare
Choose a tag to compare

Second working version

27 Mar 21:55
Compare
Choose a tag to compare

This now runs the scorer tests before validating the compstate, to make the validation more useful when bootstrapping a compstate.

First working version

27 Mar 21:38
Compare
Choose a tag to compare
v0.1

Release first working version

Initial testing release

27 Mar 20:48
Compare
Choose a tag to compare
v0.0.1

Initial testing release