Skip to content

Actions: filipeom/smtml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Expr.Set.get_symbols Deploy documentation to Pages #67: Commit 7b90213 pushed by filipeom
March 4, 2025 19:52 1m 43s main
main
March 4, 2025 19:52 1m 43s
Fix encoding order of nary arguments Deploy documentation to Pages #66: Commit 54beae2 pushed by filipeom
March 4, 2025 01:58 2m 55s main
main
March 4, 2025 01:58 2m 55s
Fix encoding order of nary arguments Deploy documentation to Pages #65: Commit 869c34b pushed by filipeom
March 3, 2025 21:18 1m 36s main
main
March 3, 2025 21:18 1m 36s
Refactor solver tests Deploy documentation to Pages #64: Commit 7f1417e pushed by filipeom
March 2, 2025 23:29 1m 36s main
main
March 2, 2025 23:29 1m 36s
Remove runner's core_unix dependency Deploy documentation to Pages #63: Commit fcf50fa pushed by filipeom
March 2, 2025 18:32 1m 36s main
main
March 2, 2025 18:32 1m 36s
Update OCaml compiler in CI and don't run on main push Deploy documentation to Pages #62: Commit 8a73a37 pushed by filipeom
March 1, 2025 16:23 1m 49s main
main
March 1, 2025 16:23 1m 49s
Exclude Altergo mappings from coverage report Test Z3 #41: Commit 030a5d6 pushed by filipeom
March 1, 2025 09:48 15m 11s main
main
March 1, 2025 09:48 15m 11s
Exclude Altergo mappings from coverage report Deploy documentation to Pages #61: Commit 030a5d6 pushed by filipeom
March 1, 2025 09:48 1m 29s main
main
March 1, 2025 09:48 1m 29s
Exclude Altergo mappings from coverage report Build #61: Commit 030a5d6 pushed by filipeom
March 1, 2025 09:48 4m 30s main
main
March 1, 2025 09:48 4m 30s
Update CHANGES.md Test Z3 #40: Commit bd4b406 pushed by filipeom
February 28, 2025 10:19 14m 28s main
main
February 28, 2025 10:19 14m 28s
Update CHANGES.md Deploy documentation to Pages #60: Commit bd4b406 pushed by filipeom
February 28, 2025 10:19 2m 47s main
main
February 28, 2025 10:19 2m 47s
Update CHANGES.md Build #60: Commit bd4b406 pushed by filipeom
February 28, 2025 10:19 6m 53s main
main
February 28, 2025 10:19 6m 53s
Update doc index Deploy documentation to Pages #59: Commit 226768d pushed by filipeom
February 28, 2025 09:41 2m 11s main
main
February 28, 2025 09:41 2m 11s
Update doc index Build #59: Commit 226768d pushed by filipeom
February 28, 2025 09:41 7m 33s main
main
February 28, 2025 09:41 7m 33s
Update doc index Test Z3 #39: Commit 226768d pushed by filipeom
February 28, 2025 09:41 14m 38s main
main
February 28, 2025 09:41 14m 38s
Use Unix.gettimeofday instead of Rusage Deploy documentation to Pages #58: Commit 7d96035 pushed by filipeom
February 27, 2025 20:06 1m 34s main
main
February 27, 2025 20:06 1m 34s
Use Unix.gettimeofday instead of Rusage Build #58: Commit 7d96035 pushed by filipeom
February 27, 2025 20:06 5m 52s main
main
February 27, 2025 20:06 5m 52s
Use Unix.gettimeofday instead of Rusage Test Z3 #38: Commit 7d96035 pushed by filipeom
February 27, 2025 20:06 14m 58s main
main
February 27, 2025 20:06 14m 58s
Bring Owi's missing simplifications into extract2 and concat3 Build #57: Commit 1c60420 pushed by filipeom
February 27, 2025 15:32 7m 2s main
main
February 27, 2025 15:32 7m 2s
Bring Owi's missing simplifications into extract2 and concat3 Test Z3 #37: Commit 1c60420 pushed by filipeom
February 27, 2025 15:32 19m 39s main
main
February 27, 2025 15:32 19m 39s
Bring Owi's missing simplifications into extract2 and concat3 Deploy documentation to Pages #57: Commit 1c60420 pushed by filipeom
February 27, 2025 15:32 4m 40s main
main
February 27, 2025 15:32 4m 40s
Update CHANGES.md Build #56: Commit 3d65b8a pushed by filipeom
February 24, 2025 23:57 4m 40s main
main
February 24, 2025 23:57 4m 40s
Update CHANGES.md Test Z3 #36: Commit 3d65b8a pushed by filipeom
February 24, 2025 23:57 15m 6s main
main
February 24, 2025 23:57 15m 6s
Update CHANGES.md Deploy documentation to Pages #56: Commit 3d65b8a pushed by filipeom
February 24, 2025 23:57 1m 45s main
main
February 24, 2025 23:57 1m 45s
optimize Expr.equal, cache Expr.simplify Deploy documentation to Pages #55: Commit 9805061 pushed by filipeom
February 15, 2025 21:55 4m 37s main
main
February 15, 2025 21:55 4m 37s