Skip to content

Actions: epfl-lara/inox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new temp folder in CI (#226) Inox CI #14: Commit 73fce3b pushed by vkuncak
November 5, 2024 10:18 6m 8s main
main
November 5, 2024 10:18 6m 8s
Add new temp folder in CI Inox CI #13: Pull request #226 opened by samuelchassot
November 5, 2024 06:13 6m 13s sam/ci
sam/ci
November 5, 2024 06:13 6m 13s
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
java options Inox CI #2: Commit 516bf21 pushed by samuelchassot
September 5, 2024 07:48 6m 17s main
main
September 5, 2024 07:48 6m 17s
Merge pull request #221 from samuelchassot/sam/ci Inox CI #1: Commit b6b3be9 pushed by samuelchassot
September 5, 2024 07:45 33s main
main
September 5, 2024 07:45 33s