Skip to content

Actions: epfl-lara/inox

Actions

Inox CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
inox-CI.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change license in build.sbt to match repository (#232) Inox CI #27: Commit 0ee45be pushed by vkuncak
February 5, 2025 16:31 6m 5s main
main
February 5, 2025 16:31 6m 5s
Change license in build.sbt to match repository Inox CI #26: Pull request #232 opened by sankalpgambhir
February 5, 2025 16:15 6m 26s sankalpgambhir:fix-build-sbt-license
sankalpgambhir:fix-build-sbt-license
February 5, 2025 16:15 6m 26s
Update to scala-smtlib with FP support (#231) Inox CI #25: Commit d66063f pushed by vkuncak
February 5, 2025 16:11 6m 4s main
main
February 5, 2025 16:11 6m 4s
Update to scala-smtlib with FP support Inox CI #24: Pull request #231 opened by sankalpgambhir
February 5, 2025 12:40 6m 29s sankalpgambhir:update-smtlib-fp
sankalpgambhir:update-smtlib-fp
February 5, 2025 12:40 6m 29s
Fix cross-version conflict errors in the "docs" subproject. Inox CI #23: Pull request #230 opened by iswoqqe
February 4, 2025 10:27 6m 11s iswoqqe:main
iswoqqe:main
February 4, 2025 10:27 6m 11s
Merge pull request #229 from samuelchassot/sam/cleanup Inox CI #22: Commit dfb9377 pushed by samuelchassot
January 20, 2025 23:55 6m 13s main
main
January 20, 2025 23:55 6m 13s
Remove useless larabot file Inox CI #21: Pull request #229 opened by samuelchassot
January 16, 2025 14:18 6m 9s samuelchassot:sam/cleanup
samuelchassot:sam/cleanup
January 16, 2025 14:18 6m 9s
Merge pull request #228 from sankalpgambhir/sg/pin-princess-version Inox CI #20: Commit 67e46d1 pushed by samuelchassot
January 14, 2025 14:47 6m 10s main
main
January 14, 2025 14:47 6m 10s
Pin princess version to 2024/11 in build Inox CI #19: Pull request #228 opened by sankalpgambhir
January 10, 2025 07:50 6m 16s sankalpgambhir:sg/pin-princess-version
sankalpgambhir:sg/pin-princess-version
January 10, 2025 07:50 6m 16s
Fail silently solvers by default (#227) Inox CI #18: Commit 854bcdf pushed by vkuncak
December 4, 2024 15:03 6m 11s main
main
December 4, 2024 15:03 6m 11s
Fail silently solvers by default Inox CI #17: Pull request #227 synchronize by samuelchassot
December 4, 2024 12:53 6m 17s samuelchassot:sam/failsilently
samuelchassot:sam/failsilently
December 4, 2024 12:53 6m 17s
Fail silently solvers by default Inox CI #16: Pull request #227 opened by samuelchassot
December 4, 2024 10:36 6m 4s samuelchassot:sam/failsilently
samuelchassot:sam/failsilently
December 4, 2024 10:36 6m 4s
CI: setup-java@v3 -> setup-java@v4 Inox CI #15: Commit 30c142c pushed by vkuncak
November 24, 2024 16:22 6m 1s main
main
November 24, 2024 16:22 6m 1s
Add new temp folder in CI (#226) Inox CI #14: Commit 73fce3b pushed by vkuncak
November 5, 2024 10:18 6m 15s main
main
November 5, 2024 10:18 6m 15s
Add new temp folder in CI Inox CI #13: Pull request #226 opened by samuelchassot
November 5, 2024 06:13 4m 14s sam/ci
sam/ci
November 5, 2024 06:13 4m 14s
Bump scalaVersion to 3.5.2 (#225) Inox CI #12: Commit 7fdb944 pushed by vkuncak
November 4, 2024 21:12 6m 10s main
main
November 4, 2024 21:12 6m 10s
Bump scalaVersion to 3.5.2 Inox CI #11: Pull request #225 opened by vkuncak
November 4, 2024 21:12 52s vk/scala352
vk/scala352
November 4, 2024 21:12 52s
Invariant Solver (#214) Inox CI #10: Commit 6062f8f pushed by vkuncak
September 25, 2024 07:21 6m 2s main
main
September 25, 2024 07:21 6m 2s
Invariant Solver Inox CI #9: Pull request #214 synchronize by sankalpgambhir
September 24, 2024 06:51 6m 34s sankalpgambhir:invariant-solver
sankalpgambhir:invariant-solver
September 24, 2024 06:51 6m 34s
Invariant Solver Inox CI #8: Pull request #214 synchronize by sankalpgambhir
September 17, 2024 12:34 14s sankalpgambhir:invariant-solver
sankalpgambhir:invariant-solver
September 17, 2024 12:34 14s
Bump sbt version to 1.10.1, download sbt in CI (#224) Inox CI #7: Commit e1f8612 pushed by vkuncak
September 8, 2024 09:01 6m 6s main
main
September 8, 2024 09:01 6m 6s
Bump version of sbt slightly Inox CI #6: Pull request #224 synchronize by vkuncak
September 8, 2024 08:31 6m 15s vk/sbt-version
vk/sbt-version
September 8, 2024 08:31 6m 15s
Bump version of sbt slightly Inox CI #5: Pull request #224 opened by vkuncak
September 8, 2024 08:18 6m 7s vk/sbt-version
vk/sbt-version
September 8, 2024 08:18 6m 7s
Update README.md with status badge (#222) Inox CI #4: Commit 3e4cd67 pushed by vkuncak
September 5, 2024 09:57 5m 45s main
main
September 5, 2024 09:57 5m 45s
Update README.md with status badge Inox CI #3: Pull request #222 opened by vkuncak
September 5, 2024 09:50 6m 6s vkuncak-patch-1
vkuncak-patch-1
September 5, 2024 09:50 6m 6s