Skip to content

Actions: smuenzel/ocaml_z3i

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize Builds, tests & co #11: Commit 7cf9a40 pushed by smuenzel
34m 53s master
master
34m 53s
Regenerate opam Builds, tests & co #10: Commit d6047bd pushed by smuenzel
22m 19s master
master
22m 19s
Update typed_list Builds, tests & co #9: Commit 0468b79 pushed by smuenzel
22m 6s master
master
22m 6s
Add symbol kind Builds, tests & co #8: Commit 2e5e5b5 pushed by smuenzel
23m 29s master
master
23m 29s
Copyright notice Builds, tests & co #7: Commit 7a550d4 pushed by smuenzel
29m 1s master
master
29m 1s
move license Builds, tests & co #6: Commit 95d16dc pushed by smuenzel
16m 52s master
master
16m 52s
Gitmodules Builds, tests & co #5: Commit f2df696 pushed by smuenzel
29m 40s master
master
29m 40s
Update gitmodules Builds, tests & co #4: Commit c553dff pushed by smuenzel
17m 22s master
master
17m 22s
Vresion Builds, tests & co #3: Commit ac74052 pushed by smuenzel
20m 20s master
master
20m 20s
Update Builds, tests & co #2: Commit a7ace52 pushed by smuenzel
15m 4s master
master
15m 4s
Add workflow Builds, tests & co #1: Commit 9395f51 pushed by smuenzel
14m 0s master
master
14m 0s