Skip to content

Actions: JanPastorek/AutoGraphForge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
agy llms teamwork instead of dedicated provers CI #17: Commit 510cf50 pushed by JanPastorek
2m 13s main
main
2m 13s
some more info CI #16: Commit 2bbf36e pushed by JanPastorek
2m 13s main
main
2m 13s
camera ready CI #15: Commit b036a06 pushed by JanPastorek
2m 11s main
main
2m 11s
results and camera ready CI #14: Commit b12f5ef pushed by JanPastorek
5m 9s main
main
5m 9s
cicm paper CI #13: Commit de4f5ab pushed by JanPastorek
2m 10s main
main
2m 10s
novelty filter updated CI #12: Commit 0145e92 pushed by JanPastorek
3m 30s main
main
3m 30s
cleaned CI #11: Commit e2d3616 pushed by JanPastorek
3m 29s main
main
3m 29s
cleaning CI #10: Commit 9117d43 pushed by JanPastorek
3m 28s main
main
3m 28s
cleaning CI #9: Commit ca8c602 pushed by JanPastorek
3m 25s main
main
3m 25s
cleaning CI #8: Commit aa2e288 pushed by JanPastorek
3m 17s main
main
3m 17s
before submission CI #7: Commit 818c339 pushed by JanPastorek
3m 21s main
main
3m 21s
prep for public 2 CI #6: Commit c920ed1 pushed by JanPastorek
7m 43s main
main
7m 43s
preparation for public CI #5: Commit 4ee58b2 pushed by JanPastorek
3m 22s main
main
3m 22s
paper CI #4: Commit d5f5b3f pushed by JanPastorek
3m 43s main
main
3m 43s
new CI #3: Commit ac057a3 pushed by JanPastorek
3m 33s main
main
3m 33s
novelty: catch conditioned classical results (perfect-graph + class d… CI #2: Commit 578bba2 pushed by JanPastorek
3m 37s main
main
3m 37s
prover: fix soundness false-positive in proof certification CI #1: Commit 815f6ca pushed by JanPastorek
3m 39s main
main
3m 39s