Skip to content

Actions: AMICI-dev/AMICI

Actions

Deploy Protected

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
438 workflow runs
438 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Document release process (#3059)
Deploy Protected #1696: Commit 5b6d241 pushed by dweindl
56m 13s main
Let froot depend on w (#3031)
Deploy Protected #1695: Commit 35c3492 pushed by github-merge-queue bot
55m 51s main
Replace min/max disguised as piecewise (#3053)
Deploy Protected #1694: Commit c84db32 pushed by github-merge-queue bot
1h 1m 42s main
Update sonarscanner (#3019)
Deploy Protected #1693: Commit 1293e9d pushed by github-merge-queue bot
1h 0m 57s main
Restore ordering of w (#3051)
Deploy Protected #1690: Commit 8fc33dc pushed by github-merge-queue bot
54m 58s main