Skip to content

Actions: thoni56/c-xrefactory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #536: by github-pages bot
January 7, 2025 22:55 21s gh-pages
gh-pages
January 7, 2025 22:55 21s
[readme] Update link to Travis status Build and Deploy Documentation #112: Commit 8144990 pushed by thoni56
January 7, 2025 22:54 49s main
main
January 7, 2025 22:54 49s
pages build and deployment pages-build-deployment #535: by github-pages bot
January 7, 2025 22:49 25s gh-pages
gh-pages
January 7, 2025 22:49 25s
[readme] Update on LSP and "Rename Included File" Build and Deploy Documentation #111: Commit 4837241 pushed by thoni56
January 7, 2025 22:47 2m 8s main
main
January 7, 2025 22:47 2m 8s
pages build and deployment pages-build-deployment #534: by github-pages bot
January 7, 2025 21:47 26s gh-pages
gh-pages
January 7, 2025 21:47 26s
[emacs] Fix an error when checking for a valid #include Build and Deploy Documentation #110: Commit 0d3eeec pushed by thoni56
January 7, 2025 21:46 56s main
main
January 7, 2025 21:46 56s
pages build and deployment pages-build-deployment #533: by github-pages bot
January 7, 2025 14:22 28s gh-pages
gh-pages
January 7, 2025 14:22 28s
[editor] Eval-and-compile refactorings so they are updated on upgrade Build and Deploy Documentation #109: Commit 72e00fc pushed by thoni56
January 7, 2025 14:21 1m 3s main
main
January 7, 2025 14:21 1m 3s
pages build and deployment pages-build-deployment #532: by github-pages bot
January 6, 2025 23:06 24s gh-pages
gh-pages
January 6, 2025 23:06 24s
[tidy] Clean up after "Rename Included File" Build and Deploy Documentation #108: Commit 5ae47bc pushed by thoni56
January 6, 2025 23:05 1m 1s main
main
January 6, 2025 23:05 1m 1s
pages build and deployment pages-build-deployment #531: by github-pages bot
January 4, 2025 23:41 22s gh-pages
gh-pages
January 4, 2025 23:41 22s
[tidy] Move function to its only use Build and Deploy Documentation #107: Commit cd352fd pushed by thoni56
January 4, 2025 23:40 52s main
main
January 4, 2025 23:40 52s
pages build and deployment pages-build-deployment #530: by github-pages bot
January 4, 2025 12:32 22s gh-pages
gh-pages
January 4, 2025 12:32 22s
[tests] Add test for pushing an include reference Build and Deploy Documentation #106: Commit b2a833f pushed by thoni56
January 4, 2025 12:28 4m 13s main
main
January 4, 2025 12:28 4m 13s
pages build and deployment pages-build-deployment #529: by github-pages bot
January 3, 2025 13:13 23s gh-pages
gh-pages
January 3, 2025 13:13 23s
[tidy] Use same naming for include guards Build and Deploy Documentation #105: Commit c64e8e9 pushed by thoni56
January 3, 2025 13:13 49s main
main
January 3, 2025 13:13 49s
pages build and deployment pages-build-deployment #528: by github-pages bot
January 2, 2025 21:34 22s gh-pages
gh-pages
January 2, 2025 21:34 22s
[build] Add back the dependency from options.c to options_config.h Build and Deploy Documentation #104: Commit 0d2323d pushed by thoni56
January 2, 2025 21:33 50s main
main
January 2, 2025 21:33 50s
pages build and deployment pages-build-deployment #527: by github-pages bot
January 2, 2025 21:27 23s gh-pages
gh-pages
January 2, 2025 21:27 23s
[emacs] Delete tmpFile before writing the region to it Build and Deploy Documentation #103: Commit 3b6279b pushed by thoni56
January 2, 2025 21:25 1m 45s main
main
January 2, 2025 21:25 1m 45s
pages build and deployment pages-build-deployment #526: by github-pages bot
January 2, 2025 15:44 25s gh-pages
gh-pages
January 2, 2025 15:44 25s
[db] Removed unused Java related keys from "db" format Build and Deploy Documentation #102: Commit b7df720 pushed by thoni56
January 2, 2025 15:43 56s main
main
January 2, 2025 15:43 56s
pages build and deployment pages-build-deployment #525: by github-pages bot
January 2, 2025 15:40 23s gh-pages
gh-pages
January 2, 2025 15:40 23s
[db] Removed unused Java related keys from "db" format Build and Deploy Documentation #101: Commit 075117e pushed by thoni56
January 2, 2025 15:39 56s main
main
January 2, 2025 15:39 56s
pages build and deployment pages-build-deployment #524: by github-pages bot
January 2, 2025 11:13 25s gh-pages
gh-pages
January 2, 2025 11:13 25s