Skip to content

Actions: Deducteam/lambdapi-logics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove some opaque symbols in Zenon library (#9) .github/workflows/main.yml #28: Commit 1f705d4 pushed by fblanqui
July 10, 2024 15:32 8m 55s master
master
July 10, 2024 15:32 8m 55s
Remove some opaque symbols in Zenon library .github/workflows/main.yml #27: Pull request #9 opened by gburel
June 28, 2024 14:32 5m 24s gburel:master
gburel:master
June 28, 2024 14:32 5m 24s
opam file: remove invalid field uninstall + add field build .github/workflows/main.yml #26: Commit 715ccc9 pushed by fblanqui
June 21, 2024 19:28 5m 31s master
master
June 21, 2024 19:28 5m 31s
ci: test new versions of lambdapi (#8) .github/workflows/main.yml #25: Commit 4a773e1 pushed by fblanqui
June 20, 2024 10:06 5m 21s 0.0.1
0.0.1
June 20, 2024 10:06 5m 21s
ci: test new versions of lambdapi (#8) .github/workflows/main.yml #24: Commit 4a773e1 pushed by fblanqui
June 20, 2024 10:05 5m 39s master
master
June 20, 2024 10:05 5m 39s
ci: test new versions of lambdapi .github/workflows/main.yml #23: Pull request #8 opened by fblanqui
June 20, 2024 09:57 7m 25s fblanqui:zo
fblanqui:zo
June 20, 2024 09:57 7m 25s
prepare new release .github/workflows/main.yml #22: Commit ef5f59d pushed by fblanqui
June 20, 2024 09:49 8m 12s master
master
June 20, 2024 09:49 8m 12s
ci: test newer versions of lambdapi (#7) .github/workflows/main.yml #21: Commit 83cd3e1 pushed by fblanqui
October 20, 2023 05:48 12m 22s master
master
October 20, 2023 05:48 12m 22s
ci: test newer versions of lambdapi .github/workflows/main.yml #20: Pull request #7 synchronize by fblanqui
October 19, 2023 21:06 8m 53s fblanqui:ci
fblanqui:ci
October 19, 2023 21:06 8m 53s
ci: test newer versions of lambdapi .github/workflows/main.yml #19: Pull request #7 opened by fblanqui
October 19, 2023 20:23 11m 37s fblanqui:ci
fblanqui:ci
October 19, 2023 20:23 11m 37s