Skip to content

Actions: JacquesCarette/Drasil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,976 workflow runs
1,976 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #238: by drasil-bot
March 3, 2025 20:24 1m 0s gh-pages
gh-pages
March 3, 2025 20:24 1m 0s
Merge pull request #4017 from JacquesCarette/dependabot/github_action… Build #4321: Commit f8e88e5 pushed by balacij
March 3, 2025 20:01 22m 45s main
main
March 3, 2025 20:01 22m 45s
Bump actions/cache from 4.2.1 to 4.2.2 Build #4320: Pull request #4017 opened by dependabot bot
March 3, 2025 19:49 9m 48s dependabot/github_actions/actions/cache-4.2.2
dependabot/github_actions/actions/cache-4.2.2
March 3, 2025 19:49 9m 48s
Bump actions/cache from 4.2.1 to 4.2.2 Linter #622: Pull request #4017 opened by dependabot bot
March 3, 2025 19:49 17s dependabot/github_actions/actions/cache-4.2.2
dependabot/github_actions/actions/cache-4.2.2
March 3, 2025 19:49 17s
Bump actions/cache from 4.2.1 to 4.2.2 Build #4319: Commit be07d40 pushed by dependabot bot
March 3, 2025 19:49 3s dependabot/github_actions/actions/cache-4.2.2
dependabot/github_actions/actions/cache-4.2.2
March 3, 2025 19:49 3s
github_actions in /. - Update #974040352 Dependabot Updates #36: by dependabot bot
March 3, 2025 19:48 43s main
main
March 3, 2025 19:48 43s
pages build and deployment pages-build-deployment #237: by drasil-bot
March 2, 2025 23:00 59s gh-pages
gh-pages
March 2, 2025 23:00 59s
Merge pull request #4016 from JacquesCarette/uidClean Build #4318: Commit e1790c7 pushed by JacquesCarette
March 2, 2025 22:39 21m 16s main
main
March 2, 2025 22:39 21m 16s
drasil-lang: clean up UID-related stuff and move it away from the other modules Linter #621: Pull request #4016 synchronize by balacij
March 2, 2025 20:50 1m 0s uidClean
uidClean
March 2, 2025 20:50 1m 0s
drasil-lang: clean up UID-related stuff and move it away from the other modules Build #4317: Pull request #4016 synchronize by balacij
March 2, 2025 20:50 9m 39s uidClean
uidClean
March 2, 2025 20:50 9m 39s
UIDs: nesting appends from the right Build #4316: Commit e2f687c pushed by balacij
March 2, 2025 20:50 2s uidClean
uidClean
March 2, 2025 20:50 2s
drasil-lang: clean up UID-related stuff and move it away from the other modules Build #4315: Pull request #4016 synchronize by balacij
March 2, 2025 18:25 10m 35s uidClean
uidClean
March 2, 2025 18:25 10m 35s
drasil-lang: clean up UID-related stuff and move it away from the other modules Linter #620: Pull request #4016 synchronize by balacij
March 2, 2025 18:25 1m 2s uidClean
uidClean
March 2, 2025 18:25 1m 2s
Undo UID order rearranging. Build #4314: Commit 361b507 pushed by balacij
March 2, 2025 18:25 3s uidClean
uidClean
March 2, 2025 18:25 3s
pages build and deployment pages-build-deployment #236: by drasil-bot
March 1, 2025 15:22 58s gh-pages
gh-pages
March 1, 2025 15:22 58s
Merge pull request #4015 from JacquesCarette/rmUnusedChunkDBField Build #4313: Commit 1330bc4 pushed by JacquesCarette
March 1, 2025 15:00 21m 57s main
main
March 1, 2025 15:00 21m 57s
Remove unused SectionTable from ChunkDB. Linter #619: Pull request #4015 synchronize by balacij
February 28, 2025 22:23 1m 7s rmUnusedChunkDBField
rmUnusedChunkDBField
February 28, 2025 22:23 1m 7s
Remove unused SectionTable from ChunkDB. Build #4312: Pull request #4015 synchronize by balacij
February 28, 2025 22:23 11m 11s rmUnusedChunkDBField
rmUnusedChunkDBField
February 28, 2025 22:23 11m 11s
Editing cdb's comment to remove section. Build #4311: Commit ccb1b72 pushed by balacij
February 28, 2025 22:23 2s rmUnusedChunkDBField
rmUnusedChunkDBField
February 28, 2025 22:23 2s
drasil-lang: clean up UID-related stuff and move it away from the other modules Build #4310: Pull request #4016 opened by balacij
February 28, 2025 21:15 10m 1s uidClean
uidClean
February 28, 2025 21:15 10m 1s
drasil-lang: clean up UID-related stuff and move it away from the other modules Linter #618: Pull request #4016 opened by balacij
February 28, 2025 21:15 1m 4s uidClean
uidClean
February 28, 2025 21:15 1m 4s
#2885 : Move UID away from Language.Drasil Build #4309: Commit 008671a pushed by balacij
February 28, 2025 21:13 3s uidClean
uidClean
February 28, 2025 21:13 3s
Remove unused SectionTable from ChunkDB. Build #4308: Pull request #4015 synchronize by balacij
February 28, 2025 21:06 10m 51s rmUnusedChunkDBField
rmUnusedChunkDBField
February 28, 2025 21:06 10m 51s
Remove unused SectionTable from ChunkDB. Linter #617: Pull request #4015 synchronize by balacij
February 28, 2025 21:06 1m 7s rmUnusedChunkDBField
rmUnusedChunkDBField
February 28, 2025 21:06 1m 7s
Move UID away from Language.Drasil Build #4307: Commit 5dbdfeb pushed by balacij
February 28, 2025 21:06 2s uidClean
uidClean
February 28, 2025 21:06 2s