Skip to content

Actions: johanwk/elot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

types vs. facts for individuals
Auto-Update README.md from README.org #21: Commit 4b6df7a pushed by johanwk
March 28, 2025 12:38 41s main
March 28, 2025 12:38 41s
start developing a prompt for gptel, aidermacs, etc.
Auto-Update README.md from README.org #20: Commit ae64828 pushed by johanwk
March 28, 2025 08:54 37s main
March 28, 2025 08:54 37s
replace org-id-goto with elot-org-link-search
Auto-Update README.md from README.org #19: Commit 5e8dbaa pushed by johanwk
March 27, 2025 12:54 44s main
March 27, 2025 12:54 44s
link try again
Auto-Update README.md from README.org #18: Commit 74e9477 pushed by johanwk
March 24, 2025 20:32 40s main
March 24, 2025 20:32 40s
link fix
Auto-Update README.md from README.org #17: Commit 6a3e848 pushed by johanwk
March 24, 2025 20:30 38s main
March 24, 2025 20:30 38s
another example
Auto-Update README.md from README.org #16: Commit 9c63609 pushed by johanwk
March 24, 2025 20:28 42s main
March 24, 2025 20:28 42s
plant ontology png
Auto-Update README.md from README.org #15: Commit 9cd8bc8 pushed by johanwk
March 24, 2025 20:19 37s main
March 24, 2025 20:19 37s
Import of Plant ontology, MacOS Emacs 29.2
Auto-Update README.md from README.org #14: Commit cf07b6d pushed by johanwk
March 24, 2025 20:17 34s main
March 24, 2025 20:17 34s
snap
Auto-Update README.md from README.org #13: Commit c591728 pushed by johanwk
March 24, 2025 13:55 37s main
March 24, 2025 13:55 37s
format
Auto-Update README.md from README.org #12: Commit 938c6a1 pushed by johanwk
March 24, 2025 01:45 33s main
March 24, 2025 01:45 33s
minor formatting
Auto-Update README.md from README.org #11: Commit 171a45d pushed by johanwk
March 23, 2025 10:18 41s main
March 23, 2025 10:18 41s
progress with equivalence axioms
Auto-Update README.md from README.org #10: Commit a685723 pushed by johanwk
March 22, 2025 11:52 36s main
March 22, 2025 11:52 36s
update from Git version. Still missing equivalent classes etc
Auto-Update README.md from README.org #9: Commit 1eb9b8c pushed by johanwk
March 22, 2025 11:30 42s main
March 22, 2025 11:30 42s
improved elot-exporter to get title and annotations on individuals
Auto-Update README.md from README.org #8: Commit c267512 pushed by johanwk
March 22, 2025 10:18 34s main
March 22, 2025 10:18 34s
opening HTML note
Auto-Update README.md from README.org #7: Commit fdc6cd5 pushed by johanwk
March 17, 2025 16:09 40s main
March 17, 2025 16:09 40s
Slides from online meeting with IOF, May 2024
Auto-Update README.md from README.org #5: Commit 6a9d344 pushed by johanwk
March 17, 2025 15:52 41s main
March 17, 2025 15:52 41s
describe older examples
Auto-Update README.md from README.org #4: Commit d655448 pushed by johanwk
March 17, 2025 14:29 38s main
March 17, 2025 14:29 38s
retry with permission
Auto-Update README.md from README.org #3: Commit ae9371e pushed by johanwk
March 17, 2025 11:48 44s main
March 17, 2025 11:48 44s