Skip to content

Actions: gabrielegenovese/chorer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor gendocs #64: Commit e8a5fef pushed by gabrielegenovese
February 13, 2025 17:58 38s master
master
February 13, 2025 17:58 38s
dow added gendocs #63: Commit a542f82 pushed by gabrielegenovese
February 10, 2025 14:37 41s master
master
February 10, 2025 14:37 41s
ranaming and better table gendocs #62: Commit 10ac09c pushed by gabrielegenovese
February 10, 2025 11:33 45s master
master
February 10, 2025 11:33 45s
new table, better comments and added some correct_gv gendocs #61: Commit b2255eb pushed by gabrielegenovese
February 10, 2025 11:12 38s master
master
February 10, 2025 11:12 38s
fix bug in table generation gendocs #60: Commit e55d626 pushed by gabrielegenovese
February 10, 2025 09:28 38s master
master
February 10, 2025 09:28 38s
better table and test can now check correctedness gendocs #59: Commit 3d68b7c pushed by gabrielegenovese
February 7, 2025 14:53 37s master
master
February 7, 2025 14:53 37s
better table gendocs #58: Commit 1bec7ce pushed by gabrielegenovese
February 7, 2025 12:40 43s master
master
February 7, 2025 12:40 43s
added some comments gendocs #57: Commit b0bacb5 pushed by gabrielegenovese
February 7, 2025 11:20 33s master
master
February 7, 2025 11:20 33s
better naming gendocs #56: Commit a20908f pushed by gabrielegenovese
February 7, 2025 11:17 34s master
master
February 7, 2025 11:17 34s
better tests gendocs #55: Commit 23ec586 pushed by gabrielegenovese
February 7, 2025 11:15 37s master
master
February 7, 2025 11:15 37s
test on everything and time added gendocs #54: Commit d81812f pushed by gabrielegenovese
February 4, 2025 14:46 42s master
master
February 4, 2025 14:46 42s
showing some info about the graph gendocs #53: Commit 071922d pushed by gabrielegenovese
February 4, 2025 11:37 40s master
master
February 4, 2025 11:37 40s
better cli gendocs #52: Commit e7f6a3c pushed by gabrielegenovese
February 3, 2025 13:49 50s master
master
February 3, 2025 13:49 50s
format readme of new examples gendocs #51: Commit afe90c5 pushed by gabrielegenovese
February 3, 2025 13:33 45s master
master
February 3, 2025 13:33 45s
error message for deadlock and red state gendocs #50: Commit df98204 pushed by gabrielegenovese
February 3, 2025 13:30 42s master
master
February 3, 2025 13:30 42s
new example: bank account gendocs #49: Commit 6235ce1 pushed by gabrielegenovese
February 3, 2025 13:02 40s master
master
February 3, 2025 13:02 40s
fix bug in global view gendocs #48: Commit e31e468 pushed by gabrielegenovese
February 3, 2025 11:17 40s master
master
February 3, 2025 11:17 40s
add idea discussed with antonio ravara gendocs #47: Commit 1c596bb pushed by gabrielegenovese
January 29, 2025 12:39 43s master
master
January 29, 2025 12:39 43s
fix gendocs #46: Commit e9b5442 pushed by gabrielegenovese
January 29, 2025 11:36 35s master
master
January 29, 2025 11:36 35s
update main gendocs #45: Commit 08ae1c5 pushed by gabrielegenovese
January 29, 2025 11:30 21s master
master
January 29, 2025 11:30 21s
update readme gendocs #44: Commit 4e96612 pushed by gabrielegenovese
January 29, 2025 11:27 32s master
master
January 29, 2025 11:27 32s
better cli and readme gendocs #43: Commit 06b3686 pushed by gabrielegenovese
January 29, 2025 11:26 22s master
master
January 29, 2025 11:26 22s
Merge pull request #9 from gabrielegenovese/feat/value-passing gendocs #42: Commit 2977c8a pushed by gabrielegenovese
January 22, 2025 17:15 36s master
master
January 22, 2025 17:15 36s
Minor change gendocs #41: Commit 78e6872 pushed by german-vidal
June 11, 2024 22:09 42s master
master
June 11, 2024 22:09 42s
Some more examples gendocs #40: Commit 92f1aaf pushed by german-vidal
June 10, 2024 22:41 39s master
master
June 10, 2024 22:41 39s