Workflow runs · The-Laug/VerificationProject · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

3 workflow runs

3 workflow runs

Tried to implement IVL to DSA CI #3: Commit 4c3afb8 pushed by The-Laug

October 3, 2024 14:22

39s main

October 3, 2024 14:22

39s

Added assume and sequence CI #2: Commit 8c1db16 pushed by The-Laug

September 26, 2024 13:43

6m 19s main

September 26, 2024 13:43

6m 19s

first commit CI #1: Commit c925f63 pushed by The-Laug

September 26, 2024 11:27

2h 20m 19s main

September 26, 2024 11:27

2h 20m 19s