Skip to content

Actions: sybila/biodivine-lib-param-bn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Version. build #259: Commit 2a71e53 pushed by daemontus
October 26, 2024 08:42 3m 33s 0.5.0
0.5.0
October 26, 2024 08:42 3m 33s
Version. build #258: Commit 2a71e53 pushed by daemontus
October 26, 2024 08:42 4m 0s master
master
October 26, 2024 08:42 4m 0s
Add nicer methods for creating sets of super-spaces or sub-spaces. build #257: Commit bef123b pushed by daemontus
October 26, 2024 08:36 3m 58s master
master
October 26, 2024 08:36 3m 58s
Version. build #256: Commit 57fb189 pushed by daemontus
October 25, 2024 12:48 3m 59s master
master
October 25, 2024 12:48 3m 59s
Version. build #255: Commit 57fb189 pushed by daemontus
October 25, 2024 12:48 4m 42s 0.5.0
0.5.0
October 25, 2024 12:48 4m 42s
Update CI versions. build #254: Commit 2df3c00 pushed by daemontus
October 25, 2024 12:39 3m 45s master
master
October 25, 2024 12:39 3m 45s
Apply latest clippy rules. build #253: Commit 22c552d pushed by daemontus
October 25, 2024 12:33 2m 23s master
master
October 25, 2024 12:33 2m 23s
Merge pull request #60 from matj1/patch-1 build #252: Commit 752673a pushed by daemontus
September 24, 2024 14:35 2m 29s master
master
September 24, 2024 14:35 2m 29s
Fixing a spelling mistake in a docstring build #251: Pull request #60 opened by matj1
September 24, 2024 14:16 2m 25s matj1:patch-1
matj1:patch-1
September 24, 2024 14:16 2m 25s
Version. build #250: Commit f9bf4ee pushed by daemontus
July 19, 2024 10:15 3m 52s master
master
July 19, 2024 10:15 3m 52s
Version. build #249: Commit f9bf4ee pushed by daemontus
July 19, 2024 10:13 3m 49s 0.5.0
0.5.0
July 19, 2024 10:13 3m 49s
Fixes a minor bug in parity cycle detection with self-loops. build #248: Commit b0de3e7 pushed by daemontus
July 19, 2024 10:13 3m 51s 0.5.0
0.5.0
July 19, 2024 10:13 3m 51s
Version. build #247: Commit b5074e1 pushed by daemontus
April 8, 2024 11:55 3m 45s 0.5.0
0.5.0
April 8, 2024 11:55 3m 45s
Clippy. build #246: Commit afec9dd pushed by daemontus
April 8, 2024 11:55 3m 52s master
master
April 8, 2024 11:55 3m 52s
Add a more complex constant elimination test, because we had a bug th… build #245: Commit 9f4a382 pushed by daemontus
March 21, 2024 12:57 4m 24s master
master
March 21, 2024 12:57 4m 24s
Remove redundant action. build #244: Commit 62a257e pushed by daemontus
February 15, 2024 17:53 3m 49s master
master
February 15, 2024 17:53 3m 49s
Bump version. build #243: Commit 817fc04 pushed by daemontus
February 15, 2024 17:48 3m 53s 0.5.0
0.5.0
February 15, 2024 17:48 3m 53s
Bump version. build #242: Commit c75675f pushed by daemontus
February 15, 2024 10:48 3m 57s 0.5.0
0.5.0
February 15, 2024 10:48 3m 57s
Allow "inputs parameters" to bypass static constraints. build #241: Commit 970821b pushed by daemontus
February 15, 2024 09:50 3m 44s master
master
February 15, 2024 09:50 3m 44s
Fix a bug in the FnUpdateTemp to FnUpdate translation. build #240: Commit e3f6153 pushed by daemontus
February 9, 2024 11:07 4m 24s master
master
February 9, 2024 11:07 4m 24s
Turn Regulation into a "proper" data class with visible fields. build #239: Commit 2737bda pushed by daemontus
February 8, 2024 17:55 3m 55s master
master
February 8, 2024 17:55 3m 55s
Bump version. build #238: Commit ebe0050 pushed by daemontus
February 8, 2024 13:07 4m 27s 0.5.0
0.5.0
February 8, 2024 13:07 4m 27s
Merge branch 'master' into 0.5.0 build #237: Commit f3494a0 pushed by daemontus
February 8, 2024 13:05 3m 59s 0.5.0
0.5.0
February 8, 2024 13:05 3m 59s
Make the most relevant algorithms cancellable. build #236: Commit e6d621f pushed by daemontus
February 8, 2024 13:05 3m 49s master
master
February 8, 2024 13:05 3m 49s
A minor bugfix for the cases where variable zero is repeatedly added … build #235: Commit c267750 pushed by daemontus
February 8, 2024 11:59 3m 48s master
master
February 8, 2024 11:59 3m 48s