Skip to content

Actions: AeneasVerif/scylla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 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
Merge pull request #61 from mtzguido/patch-no-krml-home Build Scylla and run tests #283: Commit 416af8c pushed by protz
4m 30s main
main
4m 30s
Update karamel flake, tweak karamel misc setup line Build Scylla and run tests #282: Pull request #61 opened by mtzguido
11m 26s mtzguido:patch-no-krml-home
mtzguido:patch-no-krml-home
11m 26s
Update nix Build Scylla and run tests #281: Pull request #60 synchronize by Nadrieril
18m 42s protz/nix
protz/nix
18m 42s
Use LLVM 18 Build Scylla and run tests #280: Commit 1a4950f pushed by Nadrieril
18m 37s protz/nix
protz/nix
18m 37s
Update nix Build Scylla and run tests #279: Pull request #60 opened by protz
43s protz/nix
protz/nix
43s
Update nix Build Scylla and run tests #278: Commit 120e4c7 pushed by protz
53s protz/nix
protz/nix
53s
A more idiomatic translation scheme for do-while Build Scylla and run tests #277: Commit e18aca9 pushed by protz
11m 12s main
main
11m 12s
Merge pull request #59 from AeneasVerif/protz/promotion Build Scylla and run tests #276: Commit ab61687 pushed by protz
4m 14s main
main
4m 14s
Add missing step in integer promotion algorithm Build Scylla and run tests #275: Pull request #59 synchronize by protz
4m 17s protz/promotion
protz/promotion
4m 17s
Remove leftover intermediary state Build Scylla and run tests #274: Commit b9cce3b pushed by protz
4m 17s protz/promotion
protz/promotion
4m 17s
Add missing step in integer promotion algorithm Build Scylla and run tests #273: Pull request #59 synchronize by protz
4m 20s protz/promotion
protz/promotion
4m 20s
Refresh Build Scylla and run tests #272: Commit edb7f8a pushed by protz
4m 17s protz/promotion
protz/promotion
4m 17s
Add missing step in integer promotion algorithm Build Scylla and run tests #271: Pull request #59 synchronize by protz
26s protz/promotion
protz/promotion
26s
Revert "Recover code quality by coalescing casts" Build Scylla and run tests #270: Commit ebcfa8d pushed by protz
23s protz/promotion
protz/promotion
23s
Add missing step in integer promotion algorithm Build Scylla and run tests #269: Pull request #59 synchronize by protz
3m 23s protz/promotion
protz/promotion
3m 23s
Missing file Build Scylla and run tests #268: Commit c07ac49 pushed by protz
3m 24s protz/promotion
protz/promotion
3m 24s
Recover code quality by coalescing casts Build Scylla and run tests #267: Commit 1a5bedc pushed by protz
54s protz/promotion
protz/promotion
54s
Add missing step in integer promotion algorithm Build Scylla and run tests #266: Pull request #59 synchronize by protz
58s protz/promotion
protz/promotion
58s
Add missing step in integer promotion algorithm Build Scylla and run tests #265: Pull request #59 opened by protz
4m 13s protz/promotion
protz/promotion
4m 13s
Add missing step in integer promotion algorithm Build Scylla and run tests #264: Commit 387bed0 pushed by protz
4m 14s protz/promotion
protz/promotion
4m 14s
Merge pull request #58 from AeneasVerif/protz/do-while Build Scylla and run tests #263: Commit cbf9a36 pushed by protz
4m 15s main
main
4m 15s
Code quality improvementwhen generating do-while loops; bring in requ… Build Scylla and run tests #262: Pull request #58 synchronize by protz
4m 51s protz/do-while
protz/do-while
4m 51s
Pull in the correct version of krml with an updated fix Build Scylla and run tests #261: Commit e8afd15 pushed by protz
4m 51s protz/do-while
protz/do-while
4m 51s
Code quality improvementwhen generating do-while loops; bring in requ… Build Scylla and run tests #260: Pull request #58 opened by protz
4m 9s protz/do-while
protz/do-while
4m 9s
Code quality improvementwhen generating do-while loops; bring in requ… Build Scylla and run tests #259: Commit abac122 pushed by protz
4m 32s protz/do-while
protz/do-while
4m 32s