Skip to content

Actions: XimeraProject/ximeraExamples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
Added sagemath and proof tests along with notes about lack of online … Ximera Workflow #64: Commit 44d1da4 pushed by xronosuf
30d 0h 2m 19s main
main
30d 0h 2m 19s
Added hints and only tests. Added more to hardcoded categorization (h… Ximera Workflow #63: Commit 0cc96bf pushed by xronosuf
30d 0h 3m 19s main
main
30d 0h 3m 19s
recompile Ximera Workflow #59: Commit 1a5724c pushed by wiobber
30d 0h 1m 7s main
main
30d 0h 1m 7s
Test: clean testXourses.TODO Ximera Workflow #55: Commit a2d195c pushed by wiobber
30d 0h 2m 47s main
main
30d 0h 2m 47s
structure: starrt test-xourses with "Tests:...", and add '(todo)' for… Ximera Workflow #53: Commit 0e2f696 pushed by wiobber
30d 0h 3m 27s main
main
30d 0h 3m 27s
update links test; also make handout and publish to ximera.osu.edu (#10) Ximera Workflow #52: Commit 22b04be pushed by wiobber
30d 0h 9m 11s main
main
30d 0h 9m 11s