Skip to content

Actions: OxiDD/oxidd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
547 workflow runs
547 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Silence clang-format version-specific fmt issue Python #93: Commit c6d99dd pushed by nhusung
October 16, 2024 08:05 22m 45s worker-api
worker-api
October 16, 2024 08:05 22m 45s
Silence clang-format version-specific fmt issue Rust #89: Commit c6d99dd pushed by nhusung
October 16, 2024 08:05 1m 57s worker-api
worker-api
October 16, 2024 08:05 1m 57s
Replace WorkerManager by HasWorker and WorkerPool Rust #88: Commit 03cf05a pushed by nhusung
October 16, 2024 07:26 1m 58s worker-api
worker-api
October 16, 2024 07:26 1m 58s
Replace WorkerManager by HasWorker and WorkerPool C++ #97: Commit 03cf05a pushed by nhusung
October 16, 2024 07:26 3m 37s worker-api
worker-api
October 16, 2024 07:26 3m 37s
Replace WorkerManager by HasWorker and WorkerPool Spell Check #126: Commit 03cf05a pushed by nhusung
October 16, 2024 07:26 16s worker-api
worker-api
October 16, 2024 07:26 16s
Replace WorkerManager by HasWorker and WorkerPool Python #92: Commit 03cf05a pushed by nhusung
October 16, 2024 07:26 22m 26s worker-api
worker-api
October 16, 2024 07:26 22m 26s
Replace WorkerManager by HasWorker and WorkerPool Spell Check #125: Commit aa6bc92 pushed by nhusung
October 15, 2024 22:26 14s worker-api
worker-api
October 15, 2024 22:26 14s
Replace WorkerManager by HasWorker and WorkerPool Rust #87: Commit aa6bc92 pushed by nhusung
October 15, 2024 22:26 1m 57s worker-api
worker-api
October 15, 2024 22:26 1m 57s
Replace WorkerManager by HasWorker and WorkerPool C++ #96: Commit aa6bc92 pushed by nhusung
October 15, 2024 22:26 3m 45s worker-api
worker-api
October 15, 2024 22:26 3m 45s
Replace WorkerManager by HasWorker and WorkerPool Python #91: Commit aa6bc92 pushed by nhusung
October 15, 2024 22:26 22m 46s worker-api
worker-api
October 15, 2024 22:26 22m 46s
Bump versions Spell Check #124: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:07 13s v0.8.1
v0.8.1
October 15, 2024 12:07 13s
Bump versions Python #90: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:07 23m 48s v0.8.1
v0.8.1
October 15, 2024 12:07 23m 48s
Bump versions Rust #86: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:07 1m 53s v0.8.1
v0.8.1
October 15, 2024 12:07 1m 53s
Bump versions C++ #95: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:07 2m 47s v0.8.1
v0.8.1
October 15, 2024 12:07 2m 47s
Bump versions Spell Check #123: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:06 15s main
main
October 15, 2024 12:06 15s
Bump versions Python #89: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:06 23m 23s main
main
October 15, 2024 12:06 23m 23s
Bump versions C++ #94: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:06 2m 53s main
main
October 15, 2024 12:06 2m 53s
Bump versions Rust #85: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:06 1m 51s main
main
October 15, 2024 12:06 1m 51s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python C++ #93: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 3m 14s v0.8.0
v0.8.0
October 14, 2024 14:19 3m 14s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python Python #88: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 23m 6s v0.8.0
v0.8.0
October 14, 2024 14:19 23m 6s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python Spell Check #122: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 18s v0.8.0
v0.8.0
October 14, 2024 14:19 18s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python Rust #84: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 1m 54s v0.8.0
v0.8.0
October 14, 2024 14:19 1m 54s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python Python #87: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 23m 6s main
main
October 14, 2024 14:19 23m 6s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python Spell Check #121: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 18s main
main
October 14, 2024 14:19 18s
Release OxiDD 0.8 Spell Check #120: Commit 1755c87 pushed by nhusung
October 14, 2024 13:52 17s v0.8.0
v0.8.0
October 14, 2024 13:52 17s