Skip to content

Actions: aya-prover/aya-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

syntax: update vsix #121: Commit ee5f54f pushed by ice1000
May 31, 2024 05:21 48s main
main
May 31, 2024 05:21 48s
misc: it looks like I've broken the extension :( vsix #120: Commit 5647d03 pushed by ice1000
May 30, 2024 00:18 1m 0s main
main
May 30, 2024 00:18 1m 0s
build: more (maybe) vsix #119: Commit dea6aee pushed by ice1000
May 29, 2024 23:57 45s main
main
May 29, 2024 23:57 45s
syntax: update vsix #118: Commit 5acce20 pushed by ice1000
May 29, 2024 23:39 48s main
main
May 29, 2024 23:39 48s
build: update lock and syntax vsix #117: Commit b585bf0 pushed by ice1000
May 29, 2024 23:22 45s main
main
May 29, 2024 23:22 45s