Skip to content

Actions: Deducteam/lambdapi-zenon

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add cut rule (#6) .github/workflows/main.yml #17: Commit 1f29fc0 pushed by fblanqui
August 1, 2024 14:37 6m 21s 0.0.0
0.0.0
August 1, 2024 14:37 6m 21s
add cut rule (#6) .github/workflows/main.yml #16: Commit 1f29fc0 pushed by fblanqui
August 1, 2024 14:33 8m 20s main
main
August 1, 2024 14:33 8m 20s
add cut rule .github/workflows/main.yml #15: Pull request #6 synchronize by fblanqui
August 1, 2024 14:20 9m 43s fblanqui:cut
fblanqui:cut
August 1, 2024 14:20 9m 43s
add cut rule .github/workflows/main.yml #14: Pull request #6 opened by fblanqui
August 1, 2024 14:17 11m 34s fblanqui:cut
fblanqui:cut
August 1, 2024 14:17 11m 34s
add iota and select (#5) .github/workflows/main.yml #13: Commit 48b4e90 pushed by fblanqui
July 16, 2024 14:23 4m 17s 0.0.0
0.0.0
July 16, 2024 14:23 4m 17s
add iota and select (#5) .github/workflows/main.yml #12: Commit 48b4e90 pushed by fblanqui
July 16, 2024 14:15 7m 24s main
main
July 16, 2024 14:15 7m 24s
add iota and select .github/workflows/main.yml #11: Pull request #5 opened by fblanqui
July 16, 2024 14:02 7m 52s fblanqui:select
fblanqui:select
July 16, 2024 14:02 7m 52s
Bump ocaml/setup-ocaml from 2 to 3 (#4) .github/workflows/main.yml #10: Commit 80b852e pushed by fblanqui
July 9, 2024 06:47 7m 35s main
main
July 9, 2024 06:47 7m 35s
Bump ocaml/setup-ocaml from 2 to 3 .github/workflows/main.yml #9: Pull request #4 opened by dependabot bot
July 9, 2024 00:11 7m 40s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 9, 2024 00:11 7m 40s
Bump ocaml/setup-ocaml from 2 to 3 .github/workflows/main.yml #8: Commit 710fbc0 pushed by dependabot bot
July 9, 2024 00:11 7m 51s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 9, 2024 00:11 7m 51s
README: add link to Lambdapi .github/workflows/main.yml #7: Commit a69e0f1 pushed by fblanqui
June 26, 2024 11:31 6m 5s 0.0.0
0.0.0
June 26, 2024 11:31 6m 5s
README: add link to Lambdapi .github/workflows/main.yml #6: Commit a69e0f1 pushed by fblanqui
June 26, 2024 11:29 6m 17s main
main
June 26, 2024 11:29 6m 17s
remove renamings (#3) .github/workflows/main.yml #5: Commit 05d3f31 pushed by fblanqui
June 24, 2024 13:06 6m 13s main
main
June 24, 2024 13:06 6m 13s
remove renamings .github/workflows/main.yml #4: Pull request #3 opened by fblanqui
June 24, 2024 12:56 6m 16s fblanqui:remove-renamings
fblanqui:remove-renamings
June 24, 2024 12:56 6m 16s
use Stdlib instead of Logics.U (#2) .github/workflows/main.yml #3: Commit f18d8e6 pushed by fblanqui
June 21, 2024 18:47 6m 55s main
main
June 21, 2024 18:47 6m 55s
use Stdlib instead of Logics.U .github/workflows/main.yml #2: Pull request #2 opened by fblanqui
June 21, 2024 17:49 6m 11s fblanqui:stdlib
fblanqui:stdlib
June 21, 2024 17:49 6m 11s
add CI .github/workflows/main.yml #1: Commit 78f18ae pushed by fblanqui
June 20, 2024 16:36 8m 28s main
main
June 20, 2024 16:36 8m 28s