Skip to content

Actions: epfl-lara/scala-smtlib

Actions

scala-smtlib CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala-smtlib-CI.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Readme and cleanup scala-smtlib CI #11: Pull request #17 synchronize by sankalpgambhir
1m 40s sankalpgambhir:readme-update
sankalpgambhir:readme-update
1m 40s
Update Readme and cleanup scala-smtlib CI #10: Pull request #17 opened by sankalpgambhir
1m 41s sankalpgambhir:readme-update
sankalpgambhir:readme-update
1m 41s
Bitwuzla (#16) scala-smtlib CI #9: Commit a8fc084 pushed by sankalpgambhir
1m 43s master
master
1m 43s
Bitwuzla scala-smtlib CI #8: Pull request #16 synchronize by sankalpgambhir
1m 48s agilot:bitwuzla
agilot:bitwuzla
1m 48s
Bitwuzla scala-smtlib CI #7: Pull request #16 synchronize by sankalpgambhir
16s agilot:bitwuzla
agilot:bitwuzla
16s
Bitwuzla scala-smtlib CI #6: Pull request #16 synchronize by sankalpgambhir
1m 36s agilot:bitwuzla
agilot:bitwuzla
1m 36s
Bitwuzla scala-smtlib CI #5: Pull request #16 opened by agilot
1m 45s agilot:bitwuzla
agilot:bitwuzla
1m 45s
Fix interpreter mistreating complex executable names (#15) scala-smtlib CI #4: Commit 1432172 pushed by vkuncak
1m 45s master
master
1m 45s
Fix interpreter mistreating complex executable names scala-smtlib CI #3: Pull request #15 opened by sankalpgambhir
1m 39s sankalpgambhir:interpreter-fix
sankalpgambhir:interpreter-fix
1m 39s
Trigger CI (#14) scala-smtlib CI #2: Commit 358d3f1 pushed by vkuncak
1m 36s master
master
1m 36s
Trigger CI (empty) scala-smtlib CI #1: Pull request #14 opened by sankalpgambhir
1m 41s sankalpgambhir:empty-ci-test
sankalpgambhir:empty-ci-test
1m 41s