Skip to content

Actions: jsiek/deduce

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_deduce.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add markdown doc testing Run Tests #135: Pull request #67 synchronize by mateidragony
January 23, 2025 02:45 In progress mateidragony:main
mateidragony:main
January 23, 2025 02:45 In progress
Add markdown doc testing Run Tests #134: Pull request #67 synchronize by mateidragony
January 23, 2025 02:39 2m 7s mateidragony:main
mateidragony:main
January 23, 2025 02:39 2m 7s
Add markdown doc testing Run Tests #133: Pull request #67 synchronize by mateidragony
January 23, 2025 02:35 2m 6s mateidragony:main
mateidragony:main
January 23, 2025 02:35 2m 6s
Add markdown doc testing Run Tests #132: Pull request #67 synchronize by mateidragony
January 23, 2025 02:32 2m 9s mateidragony:main
mateidragony:main
January 23, 2025 02:32 2m 9s
Add markdown doc testing Run Tests #131: Pull request #67 synchronize by mateidragony
January 23, 2025 02:26 2m 3s mateidragony:main
mateidragony:main
January 23, 2025 02:26 2m 3s
web page moved, removign index.md Run Tests #130: Commit f089f5d pushed by jsiek
January 23, 2025 02:10 2m 3s main
main
January 23, 2025 02:10 2m 3s
🔁 Migrate old docs Run Tests #129: Commit c9f35e6 pushed by mateidragony
January 23, 2025 01:00 2m 1s main
main
January 23, 2025 01:00 2m 1s
Add command line args to site Run Tests #128: Commit 20c464e pushed by mateidragony
January 22, 2025 23:43 2m 1s main
main
January 22, 2025 23:43 2m 1s
Add markdown doc testing Run Tests #127: Pull request #67 opened by mateidragony
January 22, 2025 23:16 2m 6s mateidragony:main
mateidragony:main
January 22, 2025 23:16 2m 6s
streamline home_example3.pf Run Tests #126: Commit a18b99b pushed by jsiek
January 22, 2025 20:59 2m 2s main
main
January 22, 2025 20:59 2m 2s
revise the purpose statment of Deduce Run Tests #125: Commit fbc2207 pushed by jsiek
January 22, 2025 20:42 2m 0s main
main
January 22, 2025 20:42 2m 0s
another tweak Run Tests #124: Commit da74cc0 pushed by jsiek
January 22, 2025 20:35 2m 3s main
main
January 22, 2025 20:35 2m 3s
tweak to example Run Tests #123: Commit d75748b pushed by jsiek
January 22, 2025 20:31 2m 3s main
main
January 22, 2025 20:31 2m 3s
reformat Run Tests #122: Commit 9dbc3a2 pushed by jsiek
January 22, 2025 20:27 1m 58s main
main
January 22, 2025 20:27 1m 58s
home example 2 Run Tests #121: Commit 7f8c67f pushed by jsiek
January 22, 2025 20:09 2m 2s main
main
January 22, 2025 20:09 2m 2s
Merge pull request #64 from Temperz87/gooder-releasing Run Tests #120: Commit 8607776 pushed by jsiek
January 22, 2025 19:23 2m 0s main
main
January 22, 2025 19:23 2m 0s
Merge pull request #66 from HalflingHelper/comma-advice Run Tests #119: Commit 3b055d7 pushed by jsiek
January 22, 2025 16:52 1m 57s main
main
January 22, 2025 16:52 1m 57s
support for rewriting with all quantified equations, issue #60 Run Tests #118: Commit 8fbdb19 pushed by jsiek
January 22, 2025 16:43 2m 7s main
main
January 22, 2025 16:43 2m 7s
Typo fix, and add comma suggestion (a la Python) Run Tests #117: Pull request #66 synchronize by HalflingHelper
January 22, 2025 16:04 1m 42s HalflingHelper:comma-advice
HalflingHelper:comma-advice
January 22, 2025 16:04 1m 42s
tweak to wording Run Tests #116: Commit 7da6e61 pushed by jsiek
January 22, 2025 15:45 1m 41s main
main
January 22, 2025 15:45 1m 41s
Merge branch 'main' of https://github.com/jsiek/deduce Run Tests #115: Commit 55e9327 pushed by jsiek
January 22, 2025 15:41 1m 41s main
main
January 22, 2025 15:41 1m 41s
renaming instances of suppose to assume Run Tests #114: Commit 88bde4c pushed by HalflingHelper
January 22, 2025 15:38 1m 41s main
main
January 22, 2025 15:38 1m 41s
Add make target for releasing Run Tests #113: Pull request #64 opened by Temperz87
January 22, 2025 14:52 1m 41s Temperz87:gooder-releasing
Temperz87:gooder-releasing
January 22, 2025 14:52 1m 41s
Merge pull request #59 from mateidragony/site Run Tests #112: Commit 3071d77 pushed by jsiek
January 22, 2025 14:02 1m 41s main
main
January 22, 2025 14:02 1m 41s
The Site! Run Tests #111: Pull request #59 synchronize by mateidragony
January 22, 2025 13:59 1m 42s mateidragony:site
mateidragony:site
January 22, 2025 13:59 1m 42s