8000 Workflow runs · uuverifiers/eldarica · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: uuverifiers/eldarica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version Scala CI #130: Commit 3c815cf pushed by pruemmer
April 19, 2025 18:32 12m 9s master
master
April 19, 2025 18:32 12m 9s
Merge pull request #75 from gernst/master Scala CI #129: Commit add2aff pushed by pruemmer
April 17, 2025 18:34 12m 26s master
master
April 17, 2025 18:34 12m 26s
Make eld command robust against spaces in current dir Scala CI #127: Pull request #75 opened by gernst
April 17, 2025 15:12 Action required gernst:master
gernst:master
April 17, 2025 15:12 Action required
merge with master Scala CI #126: Commit 34960d3 pushed by pruemmer
April 6, 2025 14:01 12m 12s master
master
April 6, 2025 14:01 12m 12s
new Princess version Scala CI #125: Commit a5fe429 pushed by pruemmer
April 3, 2025 09:45 12m 13s master
master
April 3, 2025 09:45 12m 13s
Extended quantifiers support Scala CI #124: Pull request #74 synchronize by zafer-esen
March 6, 2025 09:58 1h 41m 13s zafer-esen:master
zafer-esen:master
March 6, 2025 09:58 1h 41m 13s
Extended quantifiers support Scala CI #123: Pull request #74 opened by zafer-esen
March 6, 2025 09:16 5m 32s zafer-esen:master
zafer-esen:master
March 6, 2025 09:16 5m 32s
Update answers Scala CI #122: Commit 1d4e82c pushed by zafer-esen
March 4, 2025 15:55 12m 36s master
master
March 4, 2025 15:55 12m 36s
Update runner os in workflow Scala CI #121: Commit 70c8583 pushed by zafer-esen
March 4, 2025 15:46 1m 46s master
master
March 4, 2025 15:46 1m 46s
Add workflow file Scala CI #120: Commit 440d2b0 pushed by zafer-esen
March 4, 2025 15:23 5m 28s master
master
March 4, 2025 15:23 5m 28s
Update answers Scala CI #119: Commit 5e1592a pushed by zafer-esen
March 4, 2025 14:47 5m 35s master
master
March 4, 2025 14:47 5m 35s
Scala CI Scala CI #118: Manually run by zafer-esen
March 4, 2025 13:47 5m 31s master
master
March 4, 2025 13:47 5m 31s
Scala CI Scala CI #117: Manually run by zafer-esen
March 4, 2025 13:42 13s master
master
March 4, 2025 13:42 13s
Scala CI Scala CI #116: Manually run by zafer-esen
March 4, 2025 13:39 Startup failure master
master
March 4, 2025 13:39 Startup failure
Add workflow file Scala CI #115: Commit 440d2b0 pushed by zafer-esen
March 4, 2025 13:36 Startup failure master
master
March 4, 2025 13:36 Startup failure
Rebase master onto Scala 2.13 Scala CI #114: Pull request #65 synchronize by sankalpgambhir
September 18, 2024 12:49 6m 20s sankalpgambhir:scala213-rebase
sankalpgambhir:scala213-rebase
September 18, 2024 12:49 6m 20s
Merge pull request #64 from sankalpgambhir/model-printing-fix2 Scala CI #113: Commit 45ae3bb pushed by pruemmer
September 18, 2024 11:25 11m 43s master
master
September 18, 2024 11:25 11m 43s
Print models according to SMTLIB standard Scala CI #112: Pull request #64 synchronize by sankalpgambhir
September 18, 2024 08:00 12m 7s sankalpgambhir:model-printing-fix2
sankalpgambhir:model-printing-fix2
September 18, 2024 08:00 12m 7s
Print models according to SMTLIB standard Scala CI #111: Pull request #64 opened by sankalpgambhir
September 17, 2024 14:30 3m 18s sankalpgambhir:model-printing-fix2
sankalpgambhir:model-printing-fix2
September 17, 2024 14:30 3m 18s
Merge pull request #63 from uuverifiers/symex-cleanup Scala CI #110: Commit af01d3e pushed by zafer-esen
September 16, 2024 07:29 11m 35s master
master
September 16, 2024 07:29 11m 35s
Cleans up and addresses some comments in Symex Scala CI #109: Pull request #63 synchronize by zafer-esen
September 15, 2024 18:58 11m 34s symex-cleanup
symex-cleanup
September 15, 2024 18:58 11m 34s
Cleans up and addresses some comments in Symex Scala CI #108: Pull request #63 opened by zafer-esen
September 15, 2024 18:54 11m 29s symex-cleanup
symex-cleanup
September 15, 2024 18:54 11m 29s
replaced addAssertion with addAssertionPreproc Scala CI #107: Commit 706b31a pushed by pruemmer
September 15, 2024 15:25 5m 51s master
master
September 15, 2024 15:25 5m 51s
some comments Scala CI #106: Commit be9f17c pushed by pruemmer
September 14, 2024 20:12 11m 45s master
master
September 14, 2024 20:12 11m 45s
updated answers Scala CI #105: Commit ceeddef pushed by pruemmer
August 27, 2024 14:09 5m 54s master
master
August 27, 2024 14:09 5m 54s
0