Skip to content

Actions: rocq-prover/rocq-platform-starter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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
Merge pull request #25 from rocq-prover/gares-patch-1 CI #64: Commit 394d28d pushed by Justme0606
14m 27s main
main
14m 27s
Delete repository section from README CI #63: Pull request #25 opened by gares
13m 48s gares-patch-1
gares-patch-1
13m 48s
Release Release #3: Manually run by Justme0606
15s main
main
15s
Merge pull request #24 from Justme0606/feat/renaming CI #62: Commit 7cefbe5 pushed by Justme0606
12m 59s main
main
12m 59s
feat: renaming and fix bug when open doctor windows for the first time CI #61: Pull request #24 synchronize by Justme0606
13m 41s feat/renaming
feat/renaming
13m 41s
Merge pull request #23 from Justme0606/Justme0606-patch-2 CI #60: Commit 113732c pushed by Justme0606
12m 44s main
main
12m 44s
Rename project from 'rocq-bootstrap' to 'rocq-platform-starter' CI #59: Pull request #23 opened by Justme0606
13m 33s Justme0606-patch-2
Justme0606-patch-2
13m 33s
Merge pull request #22 from Justme0606/Justme0606-patch-1 CI #58: Commit 960bc75 pushed by Justme0606
1h 4m 56s main
main
1h 4m 56s
Update project status badge in README.md CI #57: Pull request #22 opened by Justme0606
13m 5s Justme0606-patch-1
Justme0606-patch-1
13m 5s
Release Release #2: Manually run by Justme0606
6m 19s main
main
6m 19s
Merge pull request #21 from Justme0606/fix/macos-mode-sombre CI #56: Commit 52bf12f pushed by Justme0606
14m 10s main
main
14m 10s
fix: solved issue with macos black mode env CI #55: Pull request #21 opened by Justme0606
13m 54s fix/macos-mode-sombre
fix/macos-mode-sombre
13m 54s
Trigger GitLab signing Trigger GitLab signing #1: Manually run by Justme0606
2m 23s main
main
2m 23s
Merge pull request #20 from Justme0606/feat/add-screenshots CI #54: Commit e1bdb5f pushed by Justme0606
13m 59s main
main
13m 59s
doc: add documentation, readme and screenshots CI #53: Pull request #20 opened by Justme0606
13m 56s feat/add-screenshots
feat/add-screenshots
13m 56s
Merge pull request #19 from Justme0606/feat/code-optimisation CI #52: Commit 9479278 pushed by Justme0606
13m 47s main
main
13m 47s
refactor: reduce code duplication across the three installers CI #51: Pull request #19 opened by Justme0606
13m 58s feat/code-optimisation
feat/code-optimisation
13m 58s
Merge pull request #18 from Justme0606/ci-manuel CI #50: Commit d907312 pushed by Justme0606
13m 44s main
main
13m 44s
ci: change to manualy sign action CI #49: Pull request #18 opened by Justme0606
14m 7s ci-manuel
ci-manuel
14m 7s
Merge pull request #17 from Justme0606/ci-sign CI #48: Commit 069716a pushed by Justme0606
13m 18s main
main
13m 18s
Release Release #1: Manually run by Justme0606
6m 41s main
main
6m 41s
ci: add process to macos signature CI #47: Pull request #17 opened by Justme0606
13m 26s ci-sign
ci-sign
13m 26s
Merge pull request #16 from Justme0606/fix/order-list CI #46: Commit bc5f8f9 pushed by Justme0606
13m 48s main
main
13m 48s
fix: correct order in a list of release CI #45: Pull request #16 opened by Justme0606
13m 37s fix/order-list
fix/order-list
13m 37s
Merge pull request #15 from Justme0606/feat/readme CI #44: Commit e91e919 pushed by Justme0606
15m 10s main
main
15m 10s