Skip to content

Actions: dobios/btor2-opt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Usage error messgae in main Python application #14: Commit 65947d6 pushed by dobios
July 6, 2024 17:13 16s main
main
July 6, 2024 17:13 16s
Updated "use" instructions Python application #13: Commit d887fd6 pushed by dobios
July 6, 2024 17:10 19s main
main
July 6, 2024 17:10 19s
Added table of supported instrutions to readme Python application #12: Commit 52f090a pushed by dobios
July 6, 2024 17:07 19s main
main
July 6, 2024 17:07 19s
bump version 0.1.2 -> 0.1.3 Python application #11: Commit f3d5100 pushed by dobios
July 6, 2024 16:30 21s main
main
July 6, 2024 16:30 21s
Merge pull request #6 from dobios/dobios/make-imports-relative Python application #10: Commit 2096383 pushed by dobios
July 6, 2024 16:24 15s main
main
July 6, 2024 16:24 15s
Make all imports relative Python application #9: Pull request #6 opened by dobios
July 6, 2024 16:24 21s dobios/make-imports-relative
dobios/make-imports-relative
July 6, 2024 16:24 21s
bump ver 0.1.1 -> 0.1.2 Python application #8: Commit 3703885 pushed by dobios
July 4, 2024 20:28 22s main
main
July 4, 2024 20:28 22s
Merge pull request #4 from dobios/dobios/fix-ci Python application #7: Commit db88455 pushed by dobios
July 4, 2024 20:26 16s main
main
July 4, 2024 20:26 16s
Fix CI Python application #6: Pull request #4 synchronize by dobios
July 4, 2024 20:24 21s dobios/fix-ci
dobios/fix-ci
July 4, 2024 20:24 21s
Fix CI Python application #5: Pull request #4 opened by dobios
July 4, 2024 20:17 26s dobios/fix-ci
dobios/fix-ci
July 4, 2024 20:17 26s
fixing filenames Python application #4: Commit 6a77294 pushed by dobios
July 4, 2024 20:12 19s main
main
July 4, 2024 20:12 19s
updated package in test Python application #3: Commit 0a39cfb pushed by dobios
July 4, 2024 20:02 20s main
main
July 4, 2024 20:02 20s
Merge branch 'main' of github.com:dobios/btoropt Python application #2: Commit 6939b49 pushed by dobios
July 4, 2024 19:59 20s main
main
July 4, 2024 19:59 20s
Added basic CI Python application #1: Commit 366550d pushed by dobios
July 4, 2024 19:59 17s main
main
July 4, 2024 19:59 17s