Skip to content

Actions: aptos-labs/move-vscode-extension

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,132 workflow runs
1,132 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
cargo in /. for rand - Update #1334070979 Dependabot Updates #44: by dependabot Bot
44s main
main
44s
implement if-else, forall apply lemma for proofs (#373) CI #872: Commit 5d9a765 pushed by mkurnikov
3m 52s main
main
3m 52s
implement if-else, forall apply lemma for proofs CI #871: Pull request #373 synchronize by mkurnikov
5m 51s proofs-forall
proofs-forall
5m 51s
implement if-else for proofs CI #870: Pull request #374 opened by mkurnikov
4m 4s proofs-if-else
proofs-if-else
4m 4s
implement if-else, forall apply lemma for proofs CI #869: Pull request #373 opened by mkurnikov
6m 29s proofs-forall
proofs-forall
6m 29s
replace borrow_global functions with resource index expr (#372) release #219: Commit 008d12a pushed by mkurnikov
7m 54s release
release
7m 54s
replace borrow_global functions with resource index expr (#372) CI #868: Commit 008d12a pushed by mkurnikov
4m 31s main
main
4m 31s
replace borrow_global functions with resource index expr CI #867: Pull request #372 opened by mkurnikov
4m 32s borrow-global-to-index-expr
borrow-global-to-index-expr
4m 32s
don't type hint for stmt with borrow global index expr only (#371) CI #866: Commit 9c341d9 pushed by mkurnikov
5m 18s main
main
5m 18s
don't type hint for stmt with borrow global index expr only CI #865: Pull request #371 opened by mkurnikov
5m 15s redundant-type-hints
redundant-type-hints
5m 15s
parse friend native fun (#370) CI #864: Commit 7de85ab pushed by mkurnikov
4m 42s main
main
4m 42s
parse friend native fun CI #863: Pull request #370 opened by mkurnikov
5m 11s friend-inline-fun
friend-inline-fun
5m 11s
allow signer::address_of to be used as receiver style (#369) CI #862: Commit ef9af88 pushed by mkurnikov
4m 45s main
main
4m 45s
allow signer::address_of to be used as receiver style CI #861: Pull request #369 opened by mkurnikov
5m 12s signer-address-of-receiver-style
signer-address-of-receiver-style
5m 12s
allow skipping trailing semicolon for blocks, some cleanups (#368) CI #860: Commit f408dc9 pushed by mkurnikov
4m 34s main
main
4m 34s
allow skipping trailing semicolon for blocks, some cleanups CI #859: Pull request #368 synchronize by mkurnikov
4m 14s allow-trailing-semicolon
allow-trailing-semicolon
4m 14s
allow skipping trailing semicolon for blocks, some cleanups CI #858: Pull request #368 opened by mkurnikov
5m 19s allow-trailing-semicolon
allow-trailing-semicolon
5m 19s
rudimentary proofs support in parser (#367) CI #857: Commit d2e9c8e pushed by mkurnikov
4m 33s main
main
4m 33s
rudimentary proofs support in parser CI #856: Pull request #367 opened by mkurnikov
4m 24s refactor-parser-blocks
refactor-parser-blocks
4m 24s
ord allows any type (#366) release #218: Commit 91c86bf pushed by mkurnikov
6m 53s release
release
6m 53s
ord allows any type (#366) CI #855: Commit 91c86bf pushed by mkurnikov
4m 28s main
main
4m 28s
ord allows any type CI #854: Pull request #366 opened by mkurnikov
5m 17s ord-any-type
ord-any-type
5m 17s
diagnostic: replace global<T>(addr) with T[addr] in specs CI #853: Commit 37ad8bb pushed by mkurnikov
5m 18s main
main
5m 18s
diagnostic: replace global<T>(addr) with T[addr] in specs CI #852: Pull request #365 opened by mkurnikov
4m 3s spec-global-index-expr
spec-global-index-expr
4m 3s
replace all Diagnostic::new usages with helpers (#364) CI #851: Commit 58033e8 pushed by mkurnikov
4m 42s main
main
4m 42s
⚡