Skip to content

Actions: ultimate-pa/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

local changes from bench02 REUSE Compliance Check #8: Commit e7d1e7f pushed by danieldietsch
October 27, 2024 17:05 22s memory_assignment
memory_assignment
October 27, 2024 17:05 22s
local changes from bench02 REUSE Compliance Check #7: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 21s memory_assignment
memory_assignment
October 27, 2024 16:49 21s
local changes from bench02 JavaScript Pipeline #6: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 1m 22s memory_assignment
memory_assignment
October 27, 2024 16:49 1m 22s
local changes from bench02 Ruff #7: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 17s memory_assignment
memory_assignment
October 27, 2024 16:49 17s
local changes from bench02 Check code format #7: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 20s memory_assignment
memory_assignment
October 27, 2024 16:49 20s
Normalize line endings JavaScript Pipeline #5: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 1m 14s main
main
October 27, 2024 16:48 1m 14s
Normalize line endings Ruff #6: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 18s main
main
October 27, 2024 16:48 18s
Normalize line endings Check code format #6: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 20s main
main
October 27, 2024 16:48 20s
Normalize line endings REUSE Compliance Check #6: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 23s main
main
October 27, 2024 16:48 23s
add Ultimate Referee, a witness validator REUSE Compliance Check #5: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 22s main
main
October 12, 2024 19:54 22s
add Ultimate Referee, a witness validator Ruff #5: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 16s main
main
October 12, 2024 19:54 16s
add Ultimate Referee, a witness validator Check code format #5: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 20s main
main
October 12, 2024 19:54 20s
add Ultimate Referee, a witness validator JavaScript Pipeline #4: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 1m 18s main
main
October 12, 2024 19:54 1m 18s
local changes from bench02 Check code format #4: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 24s memory_assignment
memory_assignment
October 9, 2024 07:06 24s
local changes from bench02 JavaScript Pipeline #3: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 1m 14s memory_assignment
memory_assignment
October 9, 2024 07:06 1m 14s
local changes from bench02 Ruff #4: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 15s memory_assignment
memory_assignment
October 9, 2024 07:06 15s
local changes from bench02 REUSE Compliance Check #4: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 20s memory_assignment
memory_assignment
October 9, 2024 07:06 20s
Fix development installation on Windows REUSE Compliance Check #3: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 24s main
main
October 9, 2024 07:06 24s
Fix development installation on Windows Check code format #3: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 19s main
main
October 9, 2024 07:06 19s
Fix development installation on Windows Ruff #3: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 18s main
main
October 9, 2024 07:06 18s
Fix development installation on Windows JavaScript Pipeline #2: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 1m 22s main
main
October 9, 2024 07:06 1m 22s
Disable some tests during build of Debian package Check code format #2: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 27s main
main
October 9, 2024 07:06 27s
Disable some tests during build of Debian package Ruff #2: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 23s main
main
October 9, 2024 07:06 23s
Disable some tests during build of Debian package REUSE Compliance Check #2: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 23s main
main
October 9, 2024 07:06 23s
Disable some tests during build of Debian package JavaScript Pipeline #1: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 1m 17s main
main
October 9, 2024 07:06 1m 17s