Skip to content

Actions: novafacing/yices2-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix some clippy issues, bump dependencies Tests #17: Commit 85fbc26 pushed by novafacing
June 18, 2024 06:48 4m 13s various-fixes
various-fixes
June 18, 2024 06:48 4m 13s
Fix brew arg Tests #16: Commit dd93442 pushed by novafacing
September 1, 2023 08:52 8m 54s main
main
September 1, 2023 08:52 8m 54s
Fix dnf arg Tests #15: Commit 69ec09e pushed by novafacing
September 1, 2023 08:50 1m 42s main
main
September 1, 2023 08:50 1m 42s
Add fedora and macos builds Tests #14: Commit be5ecdd pushed by novafacing
September 1, 2023 08:45 3m 38s main
main
September 1, 2023 08:45 3m 38s
Add more doc Tests #13: Commit 81520c3 pushed by novafacing
September 1, 2023 08:11 5m 40s v0.1.4
v0.1.4
September 1, 2023 08:11 5m 40s
Add more doc Tests #12: Commit 81520c3 pushed by novafacing
September 1, 2023 08:06 6m 16s main
main
September 1, 2023 08:06 6m 16s
Bump yices2 version to require new pic build script for sys crate Tests #11: Commit e17fc0d pushed by novafacing
September 1, 2023 08:00 6m 22s main
main
September 1, 2023 08:00 6m 22s
Add patch version for tweaked sys library while keeping yices2 version Tests #10: Commit dfe41bc pushed by novafacing
September 1, 2023 07:57 36s main
main
September 1, 2023 07:57 36s
Fix use-generated feature Tests #9: Commit e5ed693 pushed by novafacing
September 1, 2023 07:55 5m 35s main
main
September 1, 2023 07:55 5m 35s
Update readme with lib.rs code comment Tests #8: Commit b1f5976 pushed by novafacing
September 1, 2023 07:51 5m 24s main
main
September 1, 2023 07:51 5m 24s
Fix test cases Tests #7: Commit 2e88716 pushed by novafacing
August 25, 2023 17:30 6m 13s v0.1.2
v0.1.2
August 25, 2023 17:30 6m 13s
Fix test cases Tests #6: Commit 2e88716 pushed by novafacing
August 25, 2023 06:29 6m 16s main
main
August 25, 2023 06:29 6m 16s
Dont include readme.md in doc Tests #5: Commit 191f1d0 pushed by novafacing
August 25, 2023 06:20 5m 25s main
main
August 25, 2023 06:20 5m 25s
Add model setters to API Tests #4: Commit 08c7188 pushed by novafacing
August 25, 2023 06:10 5m 14s main
main
August 25, 2023 06:10 5m 14s
Use sudo in workflow commands Tests #3: Commit 146d788 pushed by novafacing
August 23, 2023 06:15 5m 39s main
main
August 23, 2023 06:15 5m 39s
Add dependency list Tests #2: Commit 61036a9 pushed by novafacing
August 23, 2023 06:10 14s main
main
August 23, 2023 06:10 14s
Add test workflows Tests #1: Commit 090d5c7 pushed by novafacing
August 23, 2023 05:57 4m 52s main
main
August 23, 2023 05:57 4m 52s