Skip to content

Actions: staticafi/symbiotic

Actions

Linux CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add SV-COMP 2024 medals and publication to index.md Linux CI #206: Commit de984a7 pushed by strejcek
October 30, 2024 15:36 29m 27s main
main
October 30, 2024 15:36 29m 27s
Update team.md Linux CI #205: Commit acd1da0 pushed by strejcek
October 30, 2024 15:28 34m 36s main
main
October 30, 2024 15:28 34m 36s
CI: replace Ubuntu 20.04 with Ubuntu 22.04 Linux CI #204: Pull request #254 synchronize by vmihalko
October 10, 2024 08:34 19m 11s vmihalko-CI-bump
vmihalko-CI-bump
October 10, 2024 08:34 19m 11s