Skip to content

Actions: jcrozum/biobalm

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce the amount of logging. test #571: Commit 39268c6 pushed by daemontus
September 6, 2024 18:58 49s skip-nodes
skip-nodes
September 6, 2024 18:58 49s
Some sort of bug in mk_dnf? test #570: Commit 2c5a9e2 pushed by daemontus
September 6, 2024 11:14 4m 16s skip-nodes
skip-nodes
September 6, 2024 11:14 4m 16s
Formally introduce skip nodes with optimized attractor detection. test #569: Commit fe53b80 pushed by daemontus
September 6, 2024 09:39 4m 34s skip-nodes
skip-nodes
September 6, 2024 09:39 4m 34s
Formally introduce skip nodes with optimized attractor detection. test #568: Commit d28ffc3 pushed by daemontus
September 6, 2024 09:27 4m 38s skip-nodes
skip-nodes
September 6, 2024 09:27 4m 38s
Formally introduce skip nodes with optimized attractor detection. test #567: Commit 042179e pushed by daemontus
September 6, 2024 09:25 47s skip-nodes
skip-nodes
September 6, 2024 09:25 47s
Merge pull request #124 from jcrozum/two-way-reachability test #566: Commit 1928794 pushed by daemontus
September 4, 2024 20:14 5m 14s main
main
September 4, 2024 20:14 5m 14s
Alternative two-way reachability method test #565: Pull request #124 opened by daemontus
September 4, 2024 20:08 4m 28s two-way-reachability
two-way-reachability
September 4, 2024 20:08 4m 28s
Alternative two-way reachability method. test #564: Commit 1689082 pushed by daemontus
September 4, 2024 20:04 4m 37s two-way-reachability
two-way-reachability
September 4, 2024 20:04 4m 37s
Merge pull request #123 from jcrozum/symbolic-fallback test #563: Commit 0c6202e pushed by daemontus
August 29, 2024 18:36 4m 35s main
main
August 29, 2024 18:36 4m 35s
Add a fallback to the fully symbolic attractor detection if the NFVS search fails test #562: Pull request #123 synchronize by daemontus
August 29, 2024 18:13 4m 39s symbolic-fallback
symbolic-fallback
August 29, 2024 18:13 4m 39s
Add a test. test #561: Commit 7b10ab1 pushed by daemontus
August 29, 2024 18:13 5m 36s symbolic-fallback
symbolic-fallback
August 29, 2024 18:13 5m 36s
Add a fallback to the fully symbolic attractor detection if the NFVS search fails test #560: Pull request #123 synchronize by daemontus
August 24, 2024 20:16 4m 22s symbolic-fallback
symbolic-fallback
August 24, 2024 20:16 4m 22s
Add a test. test #559: Commit c42214e pushed by daemontus
August 24, 2024 20:16 4m 16s symbolic-fallback
symbolic-fallback
August 24, 2024 20:16 4m 16s
Add a fallback to the fully symbolic attractor detection if the NFVS search fails test #558: Pull request #123 synchronize by daemontus
August 24, 2024 20:08 4m 32s symbolic-fallback
symbolic-fallback
August 24, 2024 20:08 4m 32s
Add a test. test #557: Commit d0b156e pushed by daemontus
August 24, 2024 20:08 5m 10s symbolic-fallback
symbolic-fallback
August 24, 2024 20:08 5m 10s
Update aeon dependency. test #556: Commit 2bbc2db pushed by daemontus
August 24, 2024 20:07 4m 36s main
main
August 24, 2024 20:07 4m 36s
Add a test. test #555: Commit 03d88f9 pushed by daemontus
August 24, 2024 20:07 5m 26s main
main
August 24, 2024 20:07 5m 26s
Add a fallback to the fully symbolic attractor detection if the NFVS search fails test #554: Pull request #123 opened by daemontus
August 24, 2024 20:03 4m 20s symbolic-fallback
symbolic-fallback
August 24, 2024 20:03 4m 20s
Add a fallback to the fully symbolic attractor detection if the NFVS … test #553: Commit b4f3fae pushed by daemontus
August 24, 2024 19:48 4m 12s symbolic-fallback
symbolic-fallback
August 24, 2024 19:48 4m 12s
Proposal for skipping independent blocks. test #552: Commit 78fc078 pushed by daemontus
August 24, 2024 19:38 41s independent-blocks
independent-blocks
August 24, 2024 19:38 41s
Update aeon dependency. test #551: Commit 2bbc2db pushed by daemontus
August 24, 2024 19:37 4m 10s main
main
August 24, 2024 19:37 4m 10s
Merge pull request #122 from jcrozum/source-fast-forward test #550: Commit bafdf60 pushed by daemontus
August 23, 2024 10:46 4m 18s main
main
August 23, 2024 10:46 4m 18s
Fast-forward source node expansion anywhere in the succession diagram test #549: Pull request #122 synchronize by daemontus
August 23, 2024 10:40 4m 7s source-fast-forward
source-fast-forward
August 23, 2024 10:40 4m 7s
Remove unused import. test #548: Commit b124b61 pushed by daemontus
August 23, 2024 10:40 4m 3s source-fast-forward
source-fast-forward
August 23, 2024 10:40 4m 3s
Fast-forward source node expansion anywhere in the succession diagram test #547: Pull request #122 opened by daemontus
August 23, 2024 10:39 44s source-fast-forward
source-fast-forward
August 23, 2024 10:39 44s