Skip to content

Actions: ultimate-pa/benchexec

Actions

JavaScript Pipeline

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
javascript.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for different "modes" in table definitions: first match a… JavaScript Pipeline #8: Commit 0b03547 pushed by maul-esel
October 29, 2024 10:05 1m 46s memory_assignment
memory_assignment
October 29, 2024 10:05 1m 46s
local changes from bench02 JavaScript Pipeline #7: Commit e7d1e7f pushed by danieldietsch
October 27, 2024 17:05 1m 9s memory_assignment
memory_assignment
October 27, 2024 17:05 1m 9s
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
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
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 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
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 JavaScript Pipeline #1: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 1m 17s main
main
October 9, 2024 07:06 1m 17s