Skip to content

Actions: morxa/genfond

Actions

genfond

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update github workflow to use python 3.14 genfond #32: Commit 4bbc154 pushed by morxa
5m 54s main
main
5m 54s
github: refresh Ubuntu package index genfond #31: Commit d56d428 pushed by morxa
4m 11s main
main
4m 11s
Use released version of pddl genfond #30: Commit d726576 pushed by morxa
14s main
main
14s
Fix types in apply_effects genfond #29: Commit 774c329 pushed by morxa
4m 18s main
main
4m 18s
github: install pybind11-dev genfond #28: Commit bc35d05 pushed by morxa
4m 27s main
main
4m 27s
github: install boost-dev genfond #27: Commit 84e1f4d pushed by morxa
1m 31s main
main
1m 31s
Switch to dlplan without state space generator genfond #26: Commit d8fd2bc pushed by morxa
1m 19s main
main
1m 19s
Add missing action check in datalog policy genfond #25: Commit ed9821c pushed by morxa
15m 29s main
main
15m 29s
Update all dependencies genfond #24: Commit 0ed1349 pushed by morxa
16m 20s main
main
16m 20s
Update pddl dependency genfond #23: Commit 03d454e pushed by morxa
15m 24s main
main
15m 24s
Update pddl dependency genfond #22: Commit dd22b38 pushed by morxa
15m 31s main
main
15m 31s
github: check formatting instead of reformatting genfond #21: Commit b85cf90 pushed by morxa
15m 29s main
main
15m 29s
Generalise numeric action application (#3) genfond #20: Commit 42bd285 pushed by morxa
16m 26s main
main
16m 26s
Generalise numeric action application genfond #19: Pull request #3 synchronize by morxa
15m 30s numeric_state_space
numeric_state_space
15m 30s
Generalise numeric action application genfond #18: Pull request #3 synchronize by DillonZChen
15m 41s numeric_state_space
numeric_state_space
15m 41s
Generalise numeric action application genfond #17: Pull request #3 synchronize by DillonZChen
15m 34s numeric_state_space
numeric_state_space
15m 34s
Only run workflow on main and on PRs genfond #16: Commit f798530 pushed by morxa
15m 24s main
main
15m 24s
Merge branch 'github-workflow' genfond #15: Commit 4aa2d43 pushed by morxa
15m 53s main
main
15m 53s
Only run workflow on python 3.12 genfond #14: Commit 97604ca pushed by morxa
58s github-workflow
github-workflow
58s
Require at least python 3.12 genfond #13: Commit ff6f4f3 pushed by morxa
15m 35s github-workflow
github-workflow
15m 35s
Require at least python 3.12 genfond #12: Commit 3a6f499 pushed by morxa
32s github-workflow
github-workflow
32s
Do not use tox, run tests directly in gh workflow genfond #11: Commit ebfb9ad pushed by morxa
15m 21s github-workflow
github-workflow
15m 21s
Set up Github workflow genfond #10: Commit 35eabcb pushed by morxa
15m 16s github-workflow
github-workflow
15m 16s
Set up Github workflow genfond #9: Commit 4e33c1b pushed by morxa
40s github-workflow
github-workflow
40s
Set up Github workflow genfond #8: Commit a73f855 pushed by morxa
36s github-workflow
github-workflow
36s