Skip to content

Actions: epfl-lara/inox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable fail-fast in CI matrix Inox CI #101: Pull request #250 opened by mbovel
6m 47s mb/ci-fail-fast
mb/ci-fail-fast
6m 47s
Isolate sbt global base per workspace in CI Inox CI #100: Pull request #249 synchronize by mbovel
7m 26s mb/clean-sbt-staging
mb/clean-sbt-staging
7m 26s
Isolate sbt global base per workspace in CI Inox CI #99: Pull request #249 synchronize by mbovel
1m 59s mb/clean-sbt-staging
mb/clean-sbt-staging
1m 59s
Isolate sbt global base per workspace in CI Inox CI #98: Pull request #249 opened by mbovel
1m 9s mb/clean-sbt-staging
mb/clean-sbt-staging
1m 9s
Handle short form of z3 (_ map op) in model parsing Inox CI #97: Pull request #248 synchronize by mbovel
3m 49s mbovel-patch-1
mbovel-patch-1
3m 49s
Handle short form of z3 (_ map op) in model parsing Inox CI #96: Pull request #248 synchronize by mbovel
5m 56s mbovel-patch-1
mbovel-patch-1
5m 56s
Handle short form of z3 (_ map op) in model parsing Inox CI #95: Pull request #248 opened by mbovel
1m 12s mbovel-patch-1
mbovel-patch-1
1m 12s
Update scala-smtlib to 6a42c3b (#247) Inox CI #94: Commit 8fc9cf8 pushed by sankalpgambhir
3m 11s main
main
3m 11s
Update scala-smtlib to 6a42c3b Inox CI #93: Pull request #247 synchronize by mbovel
6m 57s mbovel-patch-1
mbovel-patch-1
6m 57s
Update scala-smtlib to 6a42c3b Inox CI #92: Pull request #247 synchronize by mbovel
35s mbovel-patch-1
mbovel-patch-1
35s
Update scala-smtlib to 6a42c3b Inox CI #91: Pull request #247 opened by mbovel
1d 0h 0m 1s mbovel-patch-1
mbovel-patch-1
1d 0h 0m 1s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 (#246) Inox CI #90: Commit f2815d5 pushed by vkuncak
1d 0h 0m 2s main
main
1d 0h 0m 2s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #89: Pull request #246 synchronize by mbovel
1d 0h 0m 1s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
1d 0h 0m 1s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #88: Pull request #246 synchronize by mbovel
35s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
35s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #87: Pull request #246 synchronize by mbovel
36s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
36s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #86: Pull request #246 synchronize by mbovel
3m 35s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
3m 35s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #85: Pull request #246 synchronize by mbovel
37m 34s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
37m 34s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #84: Pull request #246 synchronize by mbovel
1m 3s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
1m 3s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #83: Pull request #246 synchronize by mbovel
1m 10s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
1m 10s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #82: Pull request #246 synchronize by mbovel
1m 5s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
1m 5s
Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 Inox CI #81: Pull request #246 opened by mbovel
22h 8m 54s mb/lara-dotty-3.8.3
mb/lara-dotty-3.8.3
22h 8m 54s
Add bitwuzla installation to CI Inox CI #80: Pull request #245 synchronize by sankalpgambhir
2m 1s sankalpgambhir:sg/bitwuzla-ci
sankalpgambhir:sg/bitwuzla-ci
2m 1s
Add bitwuzla installation to CI Inox CI #79: Pull request #245 opened by sankalpgambhir
46s sankalpgambhir:sg/bitwuzla-ci
sankalpgambhir:sg/bitwuzla-ci
46s
Additional floating-point support and Bitwuzla solver (#244) Inox CI #78: Commit cd57355 pushed by sankalpgambhir
5m 26s main
main
5m 26s
Additional floating-point support and Bitwuzla solver Inox CI #77: Pull request #244 opened by agilot
4m 38s iswoqqe:bitwuzla
iswoqqe:bitwuzla
4m 38s