Skip to content

Actions: sfu-rsl/leaf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 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
Upgrade z3 to the latest version Deploy the book #29: Commit 22d4fd5 pushed by momvart
16s main
main
16s
Upgrade z3 to the latest version Test #112: Commit 22d4fd5 pushed by momvart
5m 52s main
main
5m 52s
#564 Update Z3 and devcontainer configuration Test #111: Pull request #40 opened by momvart
5m 50s sfu-rsl:564-z3
sfu-rsl:564-z3
5m 50s
Set license of the subpackages Deploy the book #28: Commit 6a5f719 pushed by momvart
42s main
main
42s
Set license of the subpackages Test #110: Commit 6a5f719 pushed by momvart
5m 34s main
main
5m 34s
#566 Update and revise docs with the recent changes Test #109: Pull request #39 opened by momvart
5m 36s sfu-rsl:566-docs
sfu-rsl:566-docs
5m 36s
Bump up version to 0.3.0 Test #108: Commit ba9cb75 pushed by momvart
4m 45s main
main
4m 45s
Bump up version to 0.3.0 Deploy the book #27: Commit ba9cb75 pushed by momvart
20s main
main
20s
#565 Remove unused stuff and restructure projects Test #107: Pull request #38 synchronize by momvart
4m 34s sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
4m 34s
#565 Remove unused stuff and restructure projects Test #106: Pull request #38 synchronize by momvart
54s sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
54s
#565 Remove unused stuff and restructure projects Test #105: Pull request #38 opened by momvart
4m 42s sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
4m 42s
Update dependencies Deploy the book #26: Commit 70930ad pushed by momvart
20s main
main
20s
Update dependencies Test #104: Commit 70930ad pushed by momvart
8m 11s main
main
8m 11s
#563 Upgrade toolchain to the latest version Test #103: Pull request #37 synchronize by momvart
9m 37s sfu-rsl:563-toolchain_upgrade
sfu-rsl:563-toolchain_upgrade
9m 37s
#563 Upgrade toolchain to the latest version Test #102: Pull request #37 opened by momvart
9m 21s sfu-rsl:563-toolchain_upgrade
sfu-rsl:563-toolchain_upgrade
9m 21s
Add support for enabling/disabling passes Deploy the book #25: Commit eba19f9 pushed by momvart
20s main
main
20s
Add support for enabling/disabling passes Test #101: Commit eba19f9 pushed by momvart
8m 0s main
main
8m 0s
#562 Fix various minor issues Test #100: Pull request #36 synchronize by momvart
8m 23s sfu-rsl:562-fixes
sfu-rsl:562-fixes
8m 23s
Rename MemoryHandler to LifetimeHandler Deploy the book #24: Commit 7e9d44c pushed by momvart
15s main
main
15s
Rename MemoryHandler to LifetimeHandler Test #99: Commit 7e9d44c pushed by momvart
9m 3s main
main
9m 3s
#560 Add ManuallyDrop Sanitizer Test #98: Pull request #35 synchronize by momvart
8m 17s sfu-rsl:560-md_san
sfu-rsl:560-md_san
8m 17s
#560 Add ManuallyDrop Sanitizer Test #97: Pull request #35 synchronize by momvart
8m 20s sfu-rsl:560-md_san
sfu-rsl:560-md_san
8m 20s
#560 Add ManuallyDrop Sanitizer Test #96: Pull request #35 synchronize by momvart
9m 35s sfu-rsl:560-md_san
sfu-rsl:560-md_san
9m 35s
#560 Add ManuallyDrop Sanitizer Test #95: Pull request #35 opened by momvart
9m 30s sfu-rsl:560-md_san
sfu-rsl:560-md_san
9m 30s
Fix problem in type resolution Deploy the book #23: Commit 417722d pushed by momvart
19s main
main
19s