Skip to content

Actions: logsem/griotte

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
254 workflow runs
254 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
pages build and deployment pages-build-deployment #10: by github-pages Bot
32s gh-pages
gh-pages
32s
Proofmode optimisation (#81) Compilation for Griotte #470: Commit 69f418c pushed by JuneRousseau
27m 46s main
main
27m 46s
pages build and deployment pages-build-deployment #9: by github-pages Bot
25s gh-pages
gh-pages
25s
Binary model for confidentiality properties and contextual equivalenc… Compilation for Griotte #469: Commit e83eb56 pushed by JuneRousseau
24m 33s main
main
24m 33s
pages build and deployment pages-build-deployment #8: by github-pages Bot
24s gh-pages
gh-pages
24s
Compilation optimisation (#79) Compilation for Griotte #468: Commit b4823c5 pushed by JuneRousseau
28m 9s main
main
28m 9s
pages build and deployment pages-build-deployment #7: by github-pages Bot
28s gh-pages
gh-pages
28s
Improve compilation load (#78) Compilation for Griotte #467: Commit 0c5f700 pushed by JuneRousseau
34m 11s main
main
34m 11s
pages build and deployment pages-build-deployment #6: by github-pages Bot
28s gh-pages
gh-pages
28s
Machine instance (#77) Compilation for Griotte #466: Commit 71dc24b pushed by JuneRousseau
47m 19s main
main
47m 19s
Pretty timed (#73) Compilation for Griotte #465: Commit 0e7e12c pushed by JuneRousseau
46m 3s main
main
46m 3s
pages build and deployment pages-build-deployment #5: by github-pages Bot
31s gh-pages
gh-pages
31s
Refactoring, documentation, and Dockerfile (#72) Compilation for Griotte #464: Commit 827ddf7 pushed by JuneRousseau
35m 20s main
main
35m 20s
pages build and deployment pages-build-deployment #4: by github-pages Bot
28s gh-pages
gh-pages
28s
Fix the CI (again) and re-introduce dune _build caching (#71) Compilation for Griotte #463: Commit 7d495c4 pushed by JuneRousseau
57m 58s main
main
57m 58s
Fix caching opam (to use the OCaml version into account) Compilation for Griotte #462: Commit 6fe2c38 pushed by JuneRousseau
59m 27s tweak-ci
tweak-ci
59m 27s
Test Compilation for Griotte #461: Commit 6de70fc pushed by JuneRousseau
13m 0s tweak-ci
tweak-ci
13m 0s
Fix the CI (#70) Compilation for Griotte #460: Commit 114f732 pushed by JuneRousseau
1h 3m 24s main
main
1h 3m 24s
I think it will work now Compilation for Griotte #459: Commit 45f8c41 pushed by JuneRousseau
12m 47s ci-fix
ci-fix
12m 47s
debug hash Compilation for Griotte #458: Commit 6a9bb98 pushed by JuneRousseau
2m 29s ci-fix
ci-fix
2m 29s
Try hash opam Compilation for Griotte #457: Commit b956fde pushed by JuneRousseau
1m 20s ci-fix
ci-fix
1m 20s
test Compilation for Griotte #456: Commit a98e7b9 pushed by JuneRousseau
1m 53s ci-fix
ci-fix
1m 53s
Fix (?) cache for opam build Compilation for Griotte #455: Commit b342dd0 pushed by JuneRousseau
4m 39s ci-fix
ci-fix
4m 39s
pages build and deployment pages-build-deployment #3: by github-pages Bot
28s gh-pages
gh-pages
28s
Test deploy doc Compilation for Griotte #454: Commit 03a7f0e pushed by JuneRousseau
1m 2s ci-fix
ci-fix
1m 2s