Skip to content

Actions: v--/notebook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 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
Fix handling of eigenvariables in the code Test #76: Commit 2b9f2ba pushed by v--
39s master
master
39s
Update Kolmogorov and Fomin's book's bibliography data Test #75: Commit 21edad6 pushed by v--
43s master
master
43s
Improve the checkcites command Test #74: Commit d781400 pushed by v--
45s master
master
45s
Remove obsolete figures Test #73: Commit 5034c19 pushed by v--
45s master
master
45s
Refine the logistic map bifurcation diagram Test #72: Commit 98883e7 pushed by v--
41s master
master
41s
Refine the logistic map bifurcation diagram Test #71: Commit abc62a8 pushed by v--
42s master
master
42s
Increase the quality of the logistic map figure Test #70: Commit 6aa55e4 pushed by v--
47s master
master
47s
Ignore __init__.py from Python figure compilation Test #69: Commit 289c570 pushed by v--
55s master
master
55s
Describe higher-order logic proof tree in more detail Test #68: Commit ddb79c8 pushed by v--
46s master
master
46s
Describe higher-order logic proof tree in more detail Test #67: Commit 686d723 pushed by v--
46s master
master
46s
Reformulate higher-order logic again Test #66: Commit b61ee89 pushed by v--
43s master
master
43s
Improve the \nb_superimpose macro Test #65: Commit 0d09ce8 pushed by v--
43s master
master
43s
Update the stop-words package Test #64: Commit 40ac99d pushed by v--
43s master
master
43s
Eigenvariables Test #63: Commit ef1925c pushed by v--
45s master
master
45s
Test on every push to master Test #62: Commit e8a307e pushed by v--
50s master
master
50s
Fix broken link in README Test #61: Commit f8fad23 pushed by v--
53s master
master
53s
Update GitHub Action for testing Test #60: Commit 13c6c8b pushed by v--
53s master
master
53s
pyupgrade to 3.14 Test #59: Commit bc1828d pushed by v--
29s master
master
29s
pyupgrade to 3.14 Test #58: Commit 615a6a2 pushed by v--
29s master
master
29s
pyupgrade to 3.14 Test #57: Commit 6b181a3 pushed by v--
28s master
master
28s
Fixes due to new Python version Test #56: Commit 102eec4 pushed by v--
59s master
master
59s
Fixes due to new Python version Test #55: Commit 68a5c45 pushed by v--
56s master
master
56s
Reformulate higher-order logic Test #54: Commit 1bf5137 pushed by v--
33s master
master
33s
Improve notation of HOL schemas Test #53: Commit 9c6b48f pushed by v--
52s master
master
52s
Improve notation of HOL schemas Test #52: Commit 4b8d9b6 pushed by v--
55s master
master
55s
ProTip! You can narrow down the results and go further in time using created:<2025-10-16 or the other filters available.