Skip to content

Actions: formalsec/ocaml-cvc5

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CI build dependencies Build #65: Commit b7aade5 pushed by joaomhmpereira
October 23, 2024 23:09 32m 52s main
main
October 23, 2024 23:09 32m 52s
Add stub-side variable bookkeeping Build #64: Commit cfe0959 pushed by joaomhmpereira
October 23, 2024 22:34 35m 19s main
main
October 23, 2024 22:34 35m 19s
Add missing python dependencies Build #63: Commit 217eebb pushed by joaomhmpereira
September 9, 2024 14:42 2m 48s main
main
September 9, 2024 14:42 2m 48s
Missing dependencies Build #62: Pull request #31 opened by joaomhmpereira
September 9, 2024 14:39 1m 58s missing-deps
missing-deps
September 9, 2024 14:39 1m 58s
Update CHANGES.md Build #61: Commit a981f30 pushed by joaomhmpereira
September 9, 2024 13:42 35m 15s main
main
September 9, 2024 13:42 35m 15s
Prepare version 1.2.0 Build #60: Pull request #27 synchronize by joaomhmpereira
September 9, 2024 13:42 2m 44s prepare-1.2.0
prepare-1.2.0
September 9, 2024 13:42 2m 44s
Prepare version 1.2.0 Build #59: Pull request #27 synchronize by joaomhmpereira
September 9, 2024 11:18 35m 46s prepare-1.2.0
prepare-1.2.0
September 9, 2024 11:18 35m 46s
Prepare version 1.2.0 Build #58: Pull request #27 synchronize by joaomhmpereira
September 2, 2024 20:17 18m 22s prepare-1.2.0
prepare-1.2.0
September 2, 2024 20:17 18m 22s
Add Term.{is_fp, get_fp} Build #57: Commit f05c169 pushed by joaomhmpereira
August 21, 2024 13:36 3m 4s main
main
August 21, 2024 13:36 3m 4s
Adds Term.{is_fp, get_fp} Build #56: Pull request #30 opened by filipeom
August 21, 2024 12:48 2m 21s filipeom:fp_val_get
filipeom:fp_val_get
August 21, 2024 12:48 2m 21s
Prepare version 1.2.0 Build #55: Pull request #27 synchronize by joaomhmpereira
August 20, 2024 21:30 14m 56s prepare-1.2.0
prepare-1.2.0
August 20, 2024 21:30 14m 56s
Fix release workflow Build #54: Commit ca5af33 pushed by joaomhmpereira
August 15, 2024 22:00 17m 13s main
main
August 15, 2024 22:00 17m 13s
Automate new package releases Build #53: Pull request #28 synchronize by joaomhmpereira
August 15, 2024 21:58 1m 55s automate-releases
automate-releases
August 15, 2024 21:58 1m 55s
Automate new package releases Build #52: Pull request #28 opened by joaomhmpereira
August 15, 2024 13:44 16m 21s automate-releases
automate-releases
August 15, 2024 13:44 16m 21s
Prepare version 1.2.0 Build #51: Pull request #27 opened by joaomhmpereira
August 15, 2024 13:32 17m 23s prepare-1.2.0
prepare-1.2.0
August 15, 2024 13:32 17m 23s
Update README.md Build #50: Commit e49b3b2 pushed by joaomhmpereira
August 5, 2024 15:03 2m 13s main
main
August 5, 2024 15:03 2m 13s
Missing header Build #49: Commit 3f25ca1 pushed by joaomhmpereira
August 2, 2024 10:07 16m 32s main
main
August 2, 2024 10:07 16m 32s
Missing header Build #48: Pull request #25 opened by filipeom
August 2, 2024 09:30 16m 54s filipeom:fix-debian-unstable
filipeom:fix-debian-unstable
August 2, 2024 09:30 16m 54s
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