Skip to content

Actions: bitwuzla/ocaml-bitwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade bitwuzla '0.6.1' CI #123: Commit 6642f7a pushed by recoules
November 14, 2024 17:10 9m 11s 0.6.1
0.6.1
November 14, 2024 17:10 9m 11s
Upgrade bitwuzla '0.6.1' CI #122: Commit 6642f7a pushed by recoules
November 14, 2024 17:08 9m 29s master
master
November 14, 2024 17:08 9m 29s
Disable 'arm32' Opam support CI #121: Commit 90fa035 pushed by recoules
November 5, 2024 15:07 6m 36s master
master
November 5, 2024 15:07 6m 36s
Fix compilation with dune 3.16.1 CI #120: Commit 8db729a pushed by recoules
November 4, 2024 21:46 6m 34s 0.6.0
0.6.0
November 4, 2024 21:46 6m 34s
Fix compilation with dune 3.16.1 CI #119: Commit 8db729a pushed by recoules
November 4, 2024 21:41 6m 47s master
master
November 4, 2024 21:41 6m 47s
Upgrade bitwuzla '0.6.0' CI #118: Commit 7e027f4 pushed by recoules
November 4, 2024 18:20 6m 27s 0.6.0
0.6.0
November 4, 2024 18:20 6m 27s
Upgrade bitwuzla '0.6.0' CI #117: Commit 7e027f4 pushed by recoules
November 4, 2024 18:17 6m 18s master
master
November 4, 2024 18:17 6m 18s
Upgrade bitwuzla '0.6.0' CI #116: Commit ff52f95 pushed by recoules
November 4, 2024 18:10 9m 22s master
master
November 4, 2024 18:10 9m 22s
Fix inclusion path order in 'MacOS' CI #115: Commit 535acad pushed by recoules
September 26, 2024 06:59 9m 1s master
master
September 26, 2024 06:59 9m 1s
Fix compilation issue on 'MacOS' CI #114: Commit af33fe1 pushed by recoules
June 10, 2024 11:58 5m 57s master
master
June 10, 2024 11:58 5m 57s
Fix compilation issues on 'ArchLinux' and 'Fedora' CI #113: Commit c0b2316 pushed by recoules
June 6, 2024 09:01 6m 14s 0.5.0
0.5.0
June 6, 2024 09:01 6m 14s
Fix compilation issues on 'ArchLinux' and 'Fedora' CI #112: Commit c0b2316 pushed by recoules
June 6, 2024 08:57 5m 43s master
master
June 6, 2024 08:57 5m 43s
Upgrade bitwuzla '0.5.0' CI #111: Commit 13c1b57 pushed by recoules
June 5, 2024 14:57 9m 6s 0.5.0
0.5.0
June 5, 2024 14:57 9m 6s
Upgrade bitwuzla '0.5.0' CI #110: Commit 13c1b57 pushed by recoules
June 5, 2024 14:54 9m 4s master
master
June 5, 2024 14:54 9m 4s
Add a test for OCaml 5 CI #109: Commit f79e1db pushed by recoules
March 8, 2024 11:07 6m 12s 0.4.0
0.4.0
March 8, 2024 11:07 6m 12s
Add a test for OCaml 5 CI #108: Commit f79e1db pushed by recoules
March 8, 2024 11:02 9m 3s master
master
March 8, 2024 11:02 9m 3s
fetch 'bitwuzla' from 'b772cd25' CI #107: Commit ccb1587 pushed by recoules
March 3, 2024 20:44 8m 47s refactor-node-manager
refactor-node-manager
March 3, 2024 20:44 8m 47s
Upgrade bitwuzla '0.3.0' CI #106: Commit 6bd3011 pushed by recoules
December 12, 2023 17:42 9m 7s master
master
December 12, 2023 17:42 9m 7s
CI CI #105: by recoules
December 12, 2023 17:41 8m 40s 0.3.0
0.3.0
December 12, 2023 17:41 8m 40s
upgrade bitwuzla 'refactor-node-manager' CI #104: Commit 6daeee5 pushed by recoules
November 8, 2023 18:38 7m 53s refactor-node-manager
refactor-node-manager
November 8, 2023 18:38 7m 53s
upgrade bitwuzla 'refactor-node-manager' CI #103: Commit 1f4cff5 pushed by recoules
November 8, 2023 18:06 11m 40s refactor-node-manager
refactor-node-manager
November 8, 2023 18:06 11m 40s
Return Val_unit instead of void CI #102: Commit fde0058 pushed by recoules
October 4, 2023 08:26 9m 9s master
master
October 4, 2023 08:26 9m 9s
Recover from exceptions during placement new CI #101: Commit 47a30d5 pushed by recoules
October 4, 2023 07:57 13m 28s master
master
October 4, 2023 07:57 13m 28s
Return Val_unit instead of void from api functions CI #100: Pull request #6 opened by smuenzel
October 2, 2023 01:04 14m 59s smuenzel:return-Val_unit
smuenzel:return-Val_unit
October 2, 2023 01:04 14m 59s
Recover from exceptions during placement new CI #99: Pull request #5 opened by smuenzel
October 1, 2023 06:08 14m 17s smuenzel:protect-allocation
smuenzel:protect-allocation
October 1, 2023 06:08 14m 17s