Skip to content

Actions: SMT-COMP/smt-comp.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Submission for smtinterpol Main #41: Pull request #45 opened by jhoenicke
May 15, 2024 20:05 40s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 15, 2024 20:05 40s
Benchmark selection Main #40: Pull request #41 synchronize by bobot
May 15, 2024 13:25 1m 7s bobot:benchmark_selection
bobot:benchmark_selection
May 15, 2024 13:25 1m 7s
Benchmark selection Main #39: Pull request #41 synchronize by bobot
May 15, 2024 13:24 53s bobot:benchmark_selection
bobot:benchmark_selection
May 15, 2024 13:24 53s
Benchmark selection Main #38: Pull request #41 synchronize by bobot
May 15, 2024 13:08 1m 16s bobot:benchmark_selection
bobot:benchmark_selection
May 15, 2024 13:08 1m 16s
Benchmark selection Main #37: Pull request #41 synchronize by bobot
May 15, 2024 12:53 1m 5s bobot:benchmark_selection
bobot:benchmark_selection
May 15, 2024 12:53 1m 5s
Benchmark selection Main #36: Pull request #41 synchronize by bobot
May 15, 2024 12:47 46s bobot:benchmark_selection
bobot:benchmark_selection
May 15, 2024 12:47 46s
2024scrambling Main #35: Pull request #43 synchronize by mbromber
May 14, 2024 15:56 31s 2024scrambling
2024scrambling
May 14, 2024 15:56 31s
Embed trace executor directly into the generated Benchexec XML. Deploy Website to Pages #18: Commit a9d60c2 pushed by martinjonas
May 14, 2024 14:57 1m 17s master
master
May 14, 2024 14:57 1m 17s
pages build and deployment pages-build-deployment #106: by martinjonas
May 14, 2024 14:57 47s master
master
May 14, 2024 14:57 47s
Bump tj-actions/changed-files from 40 to 41 in /.github/workflows Deploy Website to Pages #17: Commit 8901a7b pushed by bobot
May 14, 2024 09:15 1m 10s master
master
May 14, 2024 09:15 1m 10s
pages build and deployment pages-build-deployment #105: by bobot
May 14, 2024 09:15 47s master
master
May 14, 2024 09:15 47s
Run make check Deploy Website to Pages #16: Commit 8c29706 pushed by bobot
May 14, 2024 09:12 1m 3s master
master
May 14, 2024 09:12 1m 3s
pages build and deployment pages-build-deployment #104: by bobot
May 14, 2024 09:12 50s master
master
May 14, 2024 09:12 50s
COLIBRI submission Main #34: Pull request #44 synchronize by bobot
May 14, 2024 08:38 1m 1s submission/colibri
submission/colibri
May 14, 2024 08:38 1m 1s
COLIBRI submission Main #33: Pull request #44 synchronize by bobot
May 14, 2024 08:37 42s submission/colibri
submission/colibri
May 14, 2024 08:37 42s
COLIBRI submission Main #32: Pull request #44 opened by bobot
May 14, 2024 08:35 55s submission/colibri
submission/colibri
May 14, 2024 08:35 55s
Fix submission branch to master Deploy Website to Pages #15: Commit 8ba0da9 pushed by bobot
May 14, 2024 08:22 1m 17s master
master
May 14, 2024 08:22 1m 17s
pages build and deployment pages-build-deployment #103: by bobot
May 14, 2024 08:22 57s master
master
May 14, 2024 08:22 57s
Added the new rules for this year. Deploy Website to Pages #14: Commit b1ccb0d pushed by mbromber
May 10, 2024 12:24 1m 30s master
master
May 10, 2024 12:24 1m 30s
pages build and deployment pages-build-deployment #102: by mbromber
May 10, 2024 12:24 1m 8s master
master
May 10, 2024 12:24 1m 8s
2024scrambling Main #31: Pull request #43 synchronize by mbromber
May 10, 2024 12:21 1m 18s 2024scrambling
2024scrambling
May 10, 2024 12:21 1m 18s
2024scrambling Main #30: Pull request #43 opened by mbromber
May 10, 2024 11:29 55s 2024scrambling
2024scrambling
May 10, 2024 11:29 55s
Adding Algaroba to SMTCOMP 2024 Main #29: Pull request #42 synchronize by amarshah1
May 8, 2024 22:26 1m 4s amarshah1:master
amarshah1:master
May 8, 2024 22:26 1m 4s
Shorten menu label to fit into the sidebar. Deploy Website to Pages #13: Commit 25c727f pushed by martinjonas
May 7, 2024 11:13 1m 11s master
master
May 7, 2024 11:13 1m 11s
pages build and deployment pages-build-deployment #101: by martinjonas
May 7, 2024 11:13 1m 6s master
master
May 7, 2024 11:13 1m 6s