Skip to content

Actions: ultimate-pa/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Address flake8 hints Ruff #1: Commit 13a86bb pushed by maul-esel
November 29, 2023 19:15 16s main
main
November 29, 2023 19:15 16s
Address flake8 hints Check code format #1: Commit 13a86bb pushed by maul-esel
November 29, 2023 19:15 20s main
main
November 29, 2023 19:15 20s
Address flake8 hints REUSE Compliance Check #1: Commit 13a86bb pushed by maul-esel
November 29, 2023 19:15 17s main
main
November 29, 2023 19:15 17s