Skip to content

Actions: colomoto/colomoto-conda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove pyeda (now in conda-forge)
autobuild #87: Commit c8c2c7e pushed by pauleve
September 26, 2024 08:55 31s master
September 26, 2024 08:55 31s
pyboolnet: fix graphviz configuration
autobuild #86: Commit 41b726a pushed by pauleve
September 25, 2024 20:44 3m 8s master
September 25, 2024 20:44 3m 8s
pyboolnet: add script for linux
autobuild #85: Commit cff2958 pushed by pauleve
September 25, 2024 20:37 3m 21s master
September 25, 2024 20:37 3m 21s
typo
autobuild #84: Commit 7b9c92e pushed by pauleve
September 25, 2024 20:30 2m 11s master
September 25, 2024 20:30 2m 11s
pyboolnet: use NuSMV-a package
autobuild #83: Commit 9bab8f1 pushed by pauleve
September 25, 2024 20:26 2m 11s master
September 25, 2024 20:26 2m 11s
pyboolnet: add dependency for NuSMV-a
autobuild #82: Commit fbfd35e pushed by pauleve
September 25, 2024 20:02 1m 57s master
September 25, 2024 20:02 1m 57s
BooN 1.26
autobuild #81: Commit 4de8a8b pushed by pauleve
September 24, 2024 16:59 2m 35s master
September 24, 2024 16:59 2m 35s
pyboolnet: update to 3.0.14 + embed binaries
autobuild #80: Commit bea161e pushed by pauleve
September 24, 2024 15:08 3m 16s master
September 24, 2024 15:08 3m 16s
pyboolnet: update to 3.0.14 + embed binaries
autobuild #79: Commit 863015e pushed by pauleve
September 24, 2024 15:05 1m 45s master
September 24, 2024 15:05 1m 45s
BooN 1.25
autobuild #78: Commit 8a6c975 pushed by pauleve
September 22, 2024 17:24 2m 37s master
September 22, 2024 17:24 2m 37s
BooN 1.21
autobuild #77: Commit a9c04ea pushed by pauleve
September 20, 2024 13:32 2m 49s master
September 20, 2024 13:32 2m 49s
Update BooN to 1.20
autobuild #76: Commit 88b81f6 pushed by pauleve
September 20, 2024 11:53 2m 36s master
September 20, 2024 11:53 2m 36s
add boon package
autobuild #75: Commit 6ab8fba pushed by pauleve
September 17, 2024 10:04 3m 24s master
September 17, 2024 10:04 3m 24s
August 28, 2024 13:50 33s
z3-solver: python variants
autobuild #73: Commit aadab08 pushed by pauleve
June 28, 2024 14:13 34m 54s master
June 28, 2024 14:13 34m 54s
fix z3-solver host dependencies
autobuild #72: Commit ae9962c pushed by pauleve
June 28, 2024 13:51 18m 22s master
June 28, 2024 13:51 18m 22s
Update meta.yaml
autobuild #71: Commit 50151a4 pushed by pauleve
June 27, 2024 22:50 15m 25s master
June 27, 2024 22:50 15m 25s
Update push.yml
autobuild #70: Commit 78306b5 pushed by pauleve
June 27, 2024 22:50 34s master
June 27, 2024 22:50 34s
give a try to z3-solver
autobuild #69: Commit 2e6ae84 pushed by pauleve
June 27, 2024 20:19 30s master
June 27, 2024 20:19 30s
upgrade packages to python 3.12
autobuild #68: Commit ce3dcc6 pushed by pauleve
May 7, 2024 13:45 28s master
May 7, 2024 13:45 28s
pystablemotifs 3.0.6
autobuild #67: Commit c97dba1 pushed by pauleve
December 17, 2023 09:50 2m 18s master
December 17, 2023 09:50 2m 18s
Revert "pyeda/win64: rename espresso.exe to avoid conflict with espre…
autobuild #66: Commit 1a7ae5c pushed by pauleve
November 28, 2023 09:19 13m 3s master
November 28, 2023 09:19 13m 3s
pyeda/win64: rename espresso.exe to avoid conflict with espresso pkg
autobuild #65: Commit dc932c7 pushed by pauleve
November 28, 2023 09:07 5m 18s master
November 28, 2023 09:07 5m 18s
espresso mac++
autobuild #64: Commit d7fd6ee pushed by pauleve
November 22, 2023 11:14 8m 6s master
November 22, 2023 11:14 8m 6s
pyeda/macos: try clang 15
autobuild #63: Commit 9468b08 pushed by pauleve
November 21, 2023 01:05 9m 21s master
November 21, 2023 01:05 9m 21s