Skip to content

Actions: formalsec/ocaml-cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update CHANGES.md Build #47: Commit 7518eb8 pushed by joaomhmpereira
July 9, 2024 18:31 2m 16s main
main
July 9, 2024 18:31 2m 16s
Refactor stubs to safeguard GC interactions Build #46: Pull request #24 synchronize by joaomhmpereira
July 9, 2024 18:28 2m 22s gc-harmony
gc-harmony
July 9, 2024 18:28 2m 22s
Refactor stubs to safeguard GC interactions Build #45: Pull request #24 opened by joaomhmpereira
July 8, 2024 14:43 2m 5s gc-harmony
gc-harmony
July 8, 2024 14:43 2m 5s
Merge pull request #22 from formalsec/stub-side-rc Build #44: Commit 3becf5d pushed by joaomhmpereira
July 8, 2024 13:52 17m 4s main
main
July 8, 2024 13:52 17m 4s
Stub-side reference counting Build #43: Pull request #22 synchronize by joaomhmpereira
July 8, 2024 13:52 2m 2s stub-side-rc
stub-side-rc
July 8, 2024 13:52 2m 2s
Stub-side reference counting Build #42: Pull request #22 opened by joaomhmpereira
July 8, 2024 11:45 16m 38s stub-side-rc
stub-side-rc
July 8, 2024 11:45 16m 38s
Merge pull request #20 from formalsec/opam-jobs Build #41: Commit 08d8942 pushed by joaomhmpereira
June 13, 2024 12:51 16m 58s main
main
June 13, 2024 12:51 16m 58s
Build with opam's number of jobs Build #40: Pull request #20 opened by joaomhmpereira
June 13, 2024 12:32 16m 37s opam-jobs
opam-jobs
June 13, 2024 12:32 16m 37s
add missing dependency python-3-dev Build #39: Commit 9de2bbc pushed by joaomhmpereira
June 8, 2024 17:31 2m 12s main
main
June 8, 2024 17:31 2m 12s
Add change log Build #38: Commit 198c894 pushed by joaomhmpereira
June 8, 2024 12:48 2m 12s main
main
June 8, 2024 12:48 2m 12s
remove print command Build #37: Commit 767c61a pushed by joaomhmpereira
June 7, 2024 15:22 30m 7s main
main
June 7, 2024 15:22 30m 7s
build with a single job Build #36: Commit bc3f7af pushed by joaomhmpereira
June 7, 2024 14:37 33m 10s main
main
June 7, 2024 14:37 33m 10s
fix @untagged directives Build #35: Commit 6c62256 pushed by joaomhmpereira
May 20, 2024 15:50 2m 5s main
main
May 20, 2024 15:50 2m 5s
fix floating point stubs Build #34: Commit d4f5a0f pushed by joaomhmpereira
May 16, 2024 13:52 2m 9s main
main
May 16, 2024 13:52 2m 9s
fix mk_fp stub Build #33: Commit 806351e pushed by joaomhmpereira
May 10, 2024 16:37 2m 10s main
main
May 10, 2024 16:37 2m 10s
extend fp stubs Build #32: Commit 2dcddef pushed by joaomhmpereira
May 10, 2024 15:10 2m 34s main
main
May 10, 2024 15:10 2m 34s
add example for floating point arithmetic Build #31: Commit 4cde7e9 pushed by joaomhmpereira
May 10, 2024 00:09 2m 58s main
main
May 10, 2024 00:09 2m 58s
Merge pull request #18 from formalsec/add-function-decls Build #30: Commit 0c41848 pushed by joaomhmpereira
May 9, 2024 14:07 17m 9s main
main
May 9, 2024 14:07 17m 9s
Add support for uninterpreted functions Build #29: Pull request #18 opened by joaomhmpereira
May 9, 2024 00:16 17m 31s add-function-decls
add-function-decls
May 9, 2024 00:16 17m 31s
Merge pull request #16 from filipeom/use-github-runners Build #28: Commit d2a7546 pushed by joaomhmpereira
April 29, 2024 23:16 16m 53s main
main
April 29, 2024 23:16 16m 53s
Use github runners instead of self-hosted Build #27: Pull request #16 opened by filipeom
April 29, 2024 14:18 16m 45s filipeom:use-github-runners
filipeom:use-github-runners
April 29, 2024 14:18 16m 45s
Merge pull request #15 from formalsec/build_deps Build #26: Commit e7facb0 pushed by joaomhmpereira
April 28, 2024 11:57 12m 9s main
main
April 28, 2024 11:57 12m 9s
Build dependencies separately Build #25: Pull request #15 synchronize by joaomhmpereira
April 25, 2024 14:01 12m 18s build_deps
build_deps
April 25, 2024 14:01 12m 18s
Build dependencies separately Build #24: Pull request #15 opened by joaomhmpereira
April 24, 2024 23:08 11m 53s build_deps
build_deps
April 24, 2024 23:08 11m 53s
add logic to solver creation Build #23: Commit 3bec24e pushed by joaomhmpereira
April 23, 2024 10:14 11m 56s main
main
April 23, 2024 10:14 11m 56s