Skip to content

Actions: Coloquinte/volute

Actions

Test

Actions

Loading...

Show workflow options

Create status badge

build.yml
94 workflow runs
94 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Action to check documentation on docs.rs Test #94: Commit b764719 pushed by Coloquinte
January 17, 2024 12:02 5m 9s doc
doc
January 17, 2024 12:02 5m 9s
Bump version number Test #93: Commit 0036ec9 pushed by Coloquinte
January 12, 2024 09:36 4m 51s main
main
January 12, 2024 09:36 4m 51s
Documentation improvements Test #92: Commit aa3b2b7 pushed by Coloquinte
January 12, 2024 09:33 5m 6s next
next
January 12, 2024 09:33 5m 6s
Bump version number Test #91: Commit 8c410cd pushed by Coloquinte
January 8, 2024 11:22 4m 53s main
main
January 8, 2024 11:22 4m 53s
Barebone string conversion Test #90: Commit 58ac621 pushed by Coloquinte
January 8, 2024 10:54 4m 49s main
main
January 8, 2024 10:54 4m 49s
Barebone string conversion + bump version number Test #89: Commit 8df8ef5 pushed by Coloquinte
January 8, 2024 10:28 5m 8s main
main
January 8, 2024 10:28 5m 8s
Barebone string conversion Test #88: Commit f4b3784 pushed by Coloquinte
January 8, 2024 10:19 4m 52s main
main
January 8, 2024 10:19 4m 52s
Fix docs.rs documentation: rustsat-kissat doc is broken, so do not bu… Test #87: Commit 4d80a1b pushed by Coloquinte
January 7, 2024 10:26 4m 43s main
main
January 7, 2024 10:26 4m 43s
Fix feature documentation and keywords + bump version number Test #86: Commit ff0744a pushed by Coloquinte
January 6, 2024 11:57 4m 38s main
main
January 6, 2024 11:57 4m 38s
Fix feature documentation + bump version number Test #85: Commit f828e00 pushed by Coloquinte
January 6, 2024 11:55 6m 38s main
main
January 6, 2024 11:55 6m 38s
SAT-based optimization for ESOP Test #84: Commit d50b55a pushed by Coloquinte
January 6, 2024 11:36 5m 0s sat
sat
January 6, 2024 11:36 5m 0s
Clean up CI matrix Test #83: Commit f43d788 pushed by Coloquinte
January 3, 2024 11:16 4m 30s sat
sat
January 3, 2024 11:16 4m 30s
Xor constraint refactored Test #82: Commit b8d91df pushed by Coloquinte
January 3, 2024 10:17 9m 16s main
main
January 3, 2024 10:17 9m 16s
Timeout added to workflow run to catch when Highs hangs Test #81: Commit 953ce5f pushed by Coloquinte
January 2, 2024 17:23 10m 4s main
main
January 2, 2024 17:23 10m 4s
Timeout added to workflow run to catch when Highs hangs Test #80: Commit 953ce5f pushed by Coloquinte
January 2, 2024 17:17 10m 3s esop
esop
January 2, 2024 17:17 10m 3s
Xor constraints for Esop optimization can be sparser Test #79: Commit e0a23e6 pushed by Coloquinte
January 2, 2024 16:54 23m 29s esop
esop
January 2, 2024 16:54 23m 29s
Xor constraints for Esop optimization can be sparser Test #78: Commit e57316a pushed by Coloquinte
January 2, 2024 16:30 3m 57s esop
esop
January 2, 2024 16:30 3m 57s
Esop can now be built directly from a Lut Test #77: Commit dd33412 pushed by Coloquinte
January 2, 2024 14:44 2h 33m 21s main
main
January 2, 2024 14:44 2h 33m 21s
Typo fixed Test #76: Commit 01156d6 pushed by Coloquinte
January 2, 2024 12:47 4h 30m 12s main
main
January 2, 2024 12:47 4h 30m 12s
Rustsat dependency added Test #75: Commit 64f1614 pushed by Coloquinte
January 2, 2024 10:49 3m 9s sat
sat
January 2, 2024 10:49 3m 9s
Rustsat dependency added Test #74: Commit c11cabe pushed by Coloquinte
January 2, 2024 10:42 3m 21s sat
sat
January 2, 2024 10:42 3m 21s
Bump version number Test #73: Commit 947ea69 pushed by Coloquinte
January 2, 2024 10:36 8m 46s main
main
January 2, 2024 10:36 8m 46s
Bump version number Test #72: Commit 947ea69 pushed by Coloquinte
January 2, 2024 10:35 9m 5s esop
esop
January 2, 2024 10:35 9m 5s
Bump version number Test #71: Commit de7c998 pushed by Coloquinte
January 2, 2024 10:32 2m 28s esop
esop
January 2, 2024 10:32 2m 28s
Exclusive Sum of Products implemented Test #70: Commit 5d8e995 pushed by Coloquinte
January 2, 2024 10:27 2m 27s esop
esop
January 2, 2024 10:27 2m 27s