Skip to content

Actions: epfl-lara/inox

Actions

Inox CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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