Skip to content

Actions: OCamlPro/seacoral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
936 workflow runs
936 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
Simplify dynamic array allocation in CBMC harnesses CI #593: Pull request #102 synchronize by nberth
4m 39s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
4m 39s
Simplify dynamic array allocation in CBMC harnesses PR Policies #374: Pull request #102 synchronize by nberth
14s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
14s
Simplify dynamic array allocation in CBMC harnesses PR Policies #373: Pull request #102 synchronize by nberth
10s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
10s
Simplify dynamic array allocation in CBMC harnesses CI #592: Pull request #102 synchronize by nberth
4m 56s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
4m 56s
Simplify dynamic array allocation in CBMC harnesses PR Policies #372: Pull request #102 synchronize by nberth
8s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
8s
Simplify dynamic array allocation in CBMC harnesses CI #591: Pull request #102 synchronize by nberth
5m 13s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
5m 13s
Simplify dynamic array allocation in CBMC harnesses CI #590: Pull request #102 synchronize by nberth
4m 21s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
4m 21s
Simplify dynamic array allocation in CBMC harnesses PR Policies #371: Pull request #102 synchronize by nberth
8s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
8s
Simplify dynamic array allocation in CBMC harnesses PR Policies #370: Pull request #102 opened by nberth
8s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
8s
Simplify dynamic array allocation in CBMC harnesses CI #589: Pull request #102 opened by nberth
4m 49s nberth:simplify-cbmc-dynamic-array-alloc
nberth:simplify-cbmc-dynamic-array-alloc
4m 49s
Merge pull request #101 from nberth/tacas-artifact-link CI #588: Commit d92e929 pushed by nberth
2m 45s main
main
2m 45s
Merge pull request #101 from nberth/tacas-artifact-link Publish documentation on GitHub Pages #7: Commit d92e929 pushed by nberth
16s main
main
16s
Add link to TACAS companion artifact in README.md PR Policies #369: Pull request #101 assigned by nberth
13s nberth:tacas-artifact-link
nberth:tacas-artifact-link
13s
Add link to TACAS companion artifact in README.md PR Policies #368: Pull request #101 opened by nberth
9s nberth:tacas-artifact-link
nberth:tacas-artifact-link
9s
Add link to TACAS companion artifact in README.md PR Policies #367: Pull request #101 labeled by nberth
13s nberth:tacas-artifact-link
nberth:tacas-artifact-link
13s
Add link to TACAS companion artifact in README.md CI #587: Pull request #101 opened by nberth
1m 28s nberth:tacas-artifact-link
nberth:tacas-artifact-link
1m 28s
Forcefully terminate libFuzzer upon end of generation PR Policies #366: Pull request #100 synchronize by nberth
8s nberth:libfuzzer-termination
nberth:libfuzzer-termination
8s
Forcefully terminate libFuzzer upon end of generation CI #586: Pull request #100 synchronize by nberth
4m 51s nberth:libfuzzer-termination
nberth:libfuzzer-termination
4m 51s
Merge pull request #98 from nberth/remove-unnecessary-temporary-vars-… Publish documentation on GitHub Pages #6: Commit 5b0bbe1 pushed by nberth
20s main
main
20s
Merge pull request #98 from nberth/remove-unnecessary-temporary-vars-… CI #585: Commit 5b0bbe1 pushed by nberth
6m 8s main
main
6m 8s
Forcefully terminate libFuzzer upon end of generation PR Policies #365: Pull request #100 synchronize by nberth
10s nberth:libfuzzer-termination
nberth:libfuzzer-termination
10s
Forcefully terminate libFuzzer upon end of generation CI #584: Pull request #100 synchronize by nberth
20m 51s nberth:libfuzzer-termination
nberth:libfuzzer-termination
20m 51s
Forcefully terminate libFuzzer upon end of generation PR Policies #364: Pull request #100 opened by nberth
8s nberth:libfuzzer-termination
nberth:libfuzzer-termination
8s
Forcefully terminate libFuzzer upon end of generation CI #583: Pull request #100 opened by nberth
16s nberth:libfuzzer-termination
nberth:libfuzzer-termination
16s
Remove some unnecessary temporary variables in CBMC harnesses PR Policies #363: Pull request #98 synchronize by nberth
8s nberth:remove-unnecessary-temporary-vars-in-cbmc-harnesses
nberth:remove-unnecessary-temporary-vars-in-cbmc-harnesses
8s