Skip to content

Actions: serokell/motoko

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

motoko-san: method calls release #4: Commit f625ce9 pushed by int-index
April 22, 2024 14:19 6m 22s master
master
April 22, 2024 14:19 6m 22s
motoko-san: loop invariants release #3: Commit af3e765 pushed by int-index
April 15, 2024 18:21 6m 34s master
master
April 15, 2024 18:21 6m 34s
motoko-san: arguments and return values release #2: Commit 1b071eb pushed by int-index
April 8, 2024 11:18 11m 8s master
master
April 8, 2024 11:18 11m 8s
Split stdout and stderr in viper/* tests release #1: Commit 85b4ce8 pushed by int-index
April 8, 2024 09:46 5m 38s master
master
April 8, 2024 09:46 5m 38s