Skip to content

Actions: formalsec/smtml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,783 workflow runs
2,783 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CHANGES.md Deploy documentation to Pages #301: Commit 44a02fe pushed by github-merge-queue bot
March 7, 2025 16:17 16m 31s main
main
March 7, 2025 16:17 16m 31s
Build Build #938: Merge group checks requested
March 7, 2025 16:02 4m 34s
March 7, 2025 16:02 4m 34s
Test Z3 Test Z3 #523: Merge group checks requested
March 7, 2025 16:02 14m 31s
March 7, 2025 16:02 14m 31s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test Alt-Ergo #54: Pull request #308 labeled by filipeom
March 7, 2025 15:48 3m 23s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 3m 23s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test cvc5 #269: Pull request #308 labeled by filipeom
March 7, 2025 15:48 1s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 1s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test Bitwuzla #401: Pull request #308 labeled by filipeom
March 7, 2025 15:48 1s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 1s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test Colibri2 #402: Pull request #308 labeled by filipeom
March 7, 2025 15:48 1s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 1s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Build #937: Pull request #308 synchronize by filipeom
March 7, 2025 15:48 5m 18s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 5m 18s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test Z3 #522: Pull request #308 synchronize by filipeom
March 7, 2025 15:48 14m 5s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:48 14m 5s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Build #936: Pull request #308 opened by filipeom
March 7, 2025 15:40 5m 19s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:40 5m 19s
Remove alt-ergo-lib pin and make it compile with 2.6.0 Test Z3 #521: Pull request #308 opened by filipeom
March 7, 2025 15:40 14m 47s filipeom:remove-alt-ergo-pin
filipeom:remove-alt-ergo-pin
March 7, 2025 15:40 14m 47s
Update CHANGES.md Deploy documentation to Pages #300: Commit ab18f81 pushed by github-merge-queue bot
March 6, 2025 20:16 15m 29s main
main
March 6, 2025 20:16 15m 29s
Build Build #935: Merge group checks requested
March 6, 2025 20:01 4m 16s
March 6, 2025 20:01 4m 16s
Test Z3 Test Z3 #520: Merge group checks requested
March 6, 2025 20:01 15m 8s
March 6, 2025 20:01 15m 8s
Fix model parsing Build #934: Pull request #307 synchronize by filipeom
March 6, 2025 19:45 5m 0s filipeom:fix-model-parsing
filipeom:fix-model-parsing
March 6, 2025 19:45 5m 0s
Fix model parsing Test Z3 #519: Pull request #307 synchronize by filipeom
March 6, 2025 19:45 15m 3s filipeom:fix-model-parsing
filipeom:fix-model-parsing
March 6, 2025 19:45 15m 3s
Fix model parsing Build #933: Pull request #307 opened by filipeom
March 6, 2025 19:43 4m 6s filipeom:fix-model-parsing
filipeom:fix-model-parsing
March 6, 2025 19:43 4m 6s
Fix model parsing Test Z3 #518: Pull request #307 opened by filipeom
March 6, 2025 19:43 15m 6s filipeom:fix-model-parsing
filipeom:fix-model-parsing
March 6, 2025 19:43 15m 6s
Update src/smtml/solver.ml Deploy documentation to Pages #299: Commit 333ee13 pushed by github-merge-queue bot
March 5, 2025 11:58 15m 44s main
main
March 5, 2025 11:58 15m 44s
Build Build #932: Merge group checks requested
March 5, 2025 11:43 4m 52s
March 5, 2025 11:43 4m 52s
Test Z3 Test Z3 #517: Merge group checks requested
March 5, 2025 11:43 14m 56s
March 5, 2025 11:43 14m 56s
Add get_sat_model and improve model documentation Build #931: Pull request #306 synchronize by filipeom
March 5, 2025 11:27 5m 1s filipeom:add-get-sat-model
filipeom:add-get-sat-model
March 5, 2025 11:27 5m 1s
Add get_sat_model and improve model documentation Test Z3 #516: Pull request #306 synchronize by filipeom
March 5, 2025 11:27 15m 28s filipeom:add-get-sat-model
filipeom:add-get-sat-model
March 5, 2025 11:27 15m 28s
Test Z3 Test Z3 #515: Merge group checks requested
March 5, 2025 11:14 14m 47s
March 5, 2025 11:14 14m 47s
Build Build #930: Merge group checks requested
March 5, 2025 11:14 5m 2s
March 5, 2025 11:14 5m 2s