Skip to content

Actions: lorepozo/program-induction

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

publish version 0.9.0 CI #12: Commit 41933cd pushed by lorepozo
December 18, 2023 13:52 1m 13s main
main
December 18, 2023 13:52 1m 13s
cosmetic changes to ci config CI #11: Commit d66fed8 pushed by lorepozo
December 18, 2023 13:43 1m 11s main
main
December 18, 2023 13:43 1m 11s
add ci badge to README CI #10: Commit b4c6223 pushed by lorepozo
December 18, 2023 13:42 1m 8s main
main
December 18, 2023 13:42 1m 8s
add ci badge to README CI #9: Commit b4c6223 pushed by lorepozo
December 18, 2023 13:41 1m 16s master
master
December 18, 2023 13:41 1m 16s
futz with random test seed CI #8: Commit 6cd226b pushed by lorepozo
December 18, 2023 12:34 1m 17s master
master
December 18, 2023 12:34 1m 17s
update polytype to 7.0 CI #7: Commit 5ee3542 pushed by lorepozo
December 15, 2023 21:28 56s master
master
December 15, 2023 21:28 56s
update polytype to 7.0 CI #6: Commit d688aa4 pushed by lorepozo
December 15, 2023 21:23 31s master
master
December 15, 2023 21:23 31s
clippy 1.74.1 CI #5: Commit ba2d184 pushed by lorepozo
December 15, 2023 18:59 1m 10s master
master
December 15, 2023 18:59 1m 10s
clippy 1.74.1 CI #4: Commit 6a44f05 pushed by lorepozo
December 15, 2023 18:49 1m 0s master
master
December 15, 2023 18:49 1m 0s
replace nom with winnow CI #3: Commit a515148 pushed by lorepozo
December 15, 2023 18:31 1m 7s master
master
December 15, 2023 18:31 1m 7s
replace nom with winnow CI #2: Commit 744344e pushed by lorepozo
December 15, 2023 18:24 57s master
master
December 15, 2023 18:24 57s
switch travis ci to github ci CI #1: Commit 9d6faa0 pushed by lorepozo
December 14, 2023 11:36 1m 9s master
master
December 14, 2023 11:36 1m 9s