Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
351 workflow runs
351 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: test ocaml 5.1.0 .github/workflows/main.yml #2020: Pull request #1013 opened by fblanqui
September 15, 2023 08:16 21m 32s fblanqui:ocaml-5.1
fblanqui:ocaml-5.1
September 15, 2023 08:16 21m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-09-15 or the other filters available.