Skip to content

Actions: ddsmt/ddSMT

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Rename main workflow to ci. ci #5: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:38 1m 25s v2.0.5
v2.0.5
April 22, 2024 20:38 1m 25s
ci: Rename main workflow to ci. ci #4: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:32 1m 33s master
master
April 22, 2024 20:32 1m 33s
ci: Rename main workflow to ci. ci #3: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:31 53s test-readme
test-readme
April 22, 2024 20:31 53s
Fix. ci #2: Commit 0b8d81d pushed by mpreiner
April 22, 2024 20:27 42s test-readme
test-readme
April 22, 2024 20:27 42s
Rename. ci #1: Commit aca7696 pushed by mpreiner
April 22, 2024 20:26 46s test-readme
test-readme
April 22, 2024 20:26 46s