Workflow runs · vocdoni/smtverifier-noir · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

4 workflow runs

4 workflow runs

Merge pull request #3 from ax0/main Main #11: Commit a37a830 pushed by lucasmenendez

January 26, 2024 13:37

51s main

main

January 26, 2024 13:37

51s

Remove src Main #10: Pull request #3 opened by ax0

January 25, 2024 23:46

47s ax0:main

ax0:main

January 25, 2024 23:46

47s

Merge pull request #2 from ax0/main Main #9: Commit 1453c4b pushed by lucasmenendez

January 25, 2024 18:00

53s main

main

January 25, 2024 18:00

53s

Compatibility with recent versions of Noir and minor restructuring Main #8: Pull request #2 opened by ax0

January 25, 2024 01:18

54s ax0:main

ax0:main

January 25, 2024 01:18

54s