Skip to content

Actions: RedPRL/bantorra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #863770290 Dependabot Updates #10: by dependabot bot
August 1, 2024 16:23 33s
August 1, 2024 16:23 33s
github_actions in /. - Update #863111501 Dependabot Updates #9: by dependabot bot
July 31, 2024 16:20 32s
July 31, 2024 16:20 32s
github_actions in /. - Update #862612898 Dependabot Updates #8: by dependabot bot
July 30, 2024 16:38 32s
July 30, 2024 16:38 32s
github_actions in /. - Update #861915094 Dependabot Updates #7: by dependabot bot
July 29, 2024 16:45 41s
July 29, 2024 16:45 41s
github_actions in /. - Update #861087455 Dependabot Updates #6: by dependabot bot
July 26, 2024 16:59 36s
July 26, 2024 16:59 36s
github_actions in /. - Update #860639351 Dependabot Updates #5: by dependabot bot
July 25, 2024 16:53 39s
July 25, 2024 16:53 39s
github_actions in /. - Update #860158465 Dependabot Updates #4: by dependabot bot
July 24, 2024 16:43 32s
July 24, 2024 16:43 32s
github_actions in /. - Update #859611783 Dependabot Updates #3: by dependabot bot
July 23, 2024 16:50 36s
July 23, 2024 16:50 36s
github_actions in /. - Update #858967061 Dependabot Updates #2: by dependabot bot
July 22, 2024 16:38 33s
July 22, 2024 16:38 33s
github_actions in /. - Update #858100094 Dependabot Updates #1: by dependabot bot
July 19, 2024 16:29 34s
July 19, 2024 16:29 34s
pages build and deployment pages-build-deployment #22: by github-pages bot
October 2, 2023 17:31 29s
October 2, 2023 17:31 29s
docs: print the warning only once Build, test, and doc update #390: Commit e83d74b pushed by favonia
October 2, 2023 17:26 11m 28s main
main
October 2, 2023 17:26 11m 28s
build: use asai 0.1 Build, test, and doc update #389: Commit 4fd5868 pushed by favonia
October 2, 2023 17:22 11m 1s main
main
October 2, 2023 17:22 11m 1s
build: use asai 0.1.1 Build, test, and doc update #388: Commit 0d00798 pushed by favonia
October 2, 2023 17:22 12m 3s main
main
October 2, 2023 17:22 12m 3s
pages build and deployment pages-build-deployment #21: by github-pages bot
September 25, 2023 12:26 36s
September 25, 2023 12:26 36s
ci: use OCaml 5.1 Build, test, and doc update #387: Commit c9539c3 pushed by favonia
September 25, 2023 12:16 12m 22s main
main
September 25, 2023 12:16 12m 22s
refactor: use Mutex.protect Build, test, and doc update #386: Commit e96d79f pushed by favonia
September 24, 2023 03:33 2m 20s main
main
September 24, 2023 03:33 2m 20s
refactor: use Mutex.protect Build, test, and doc update #385: Commit 1095910 pushed by favonia
September 20, 2023 15:02 3m 27s main
main
September 20, 2023 15:02 3m 27s
pages build and deployment pages-build-deployment #20: by github-pages bot
September 17, 2023 16:35 47s
September 17, 2023 16:35 47s
fix: impose max numbers of rewrites and embrace the new asai Build, test, and doc update #384: Commit 2b63b06 pushed by favonia
September 17, 2023 16:25 12m 18s main
main
September 17, 2023 16:25 12m 18s
build(deps): bump actions/checkout from 3 to 4 (#75) Build, test, and doc update #383: Commit 5e02b38 pushed by favonia
September 4, 2023 22:49 11m 15s main
main
September 4, 2023 22:49 11m 15s
build(deps): bump actions/checkout from 3 to 4 Build, test, and doc update #382: Pull request #75 opened by dependabot bot
September 4, 2023 16:17 10m 50s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 16:17 10m 50s
pages build and deployment pages-build-deployment #19: by github-pages bot
August 27, 2023 18:31 31s
August 27, 2023 18:31 31s
build: upgrade asai Build, test, and doc update #381: Commit 611cc12 pushed by favonia
August 27, 2023 18:19 11m 35s main
main
August 27, 2023 18:19 11m 35s