Skip to content

Actions: jonaprieto/eventb-lean

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
style: split every declaration that spans lines CI #87: Commit 1616915 pushed by jonaprieto
3m 39s main
main
3m 39s
style: apply the signature layout CI #86: Pull request #61 reopened by jonaprieto
3m 39s style/signature-layout
style/signature-layout
3m 39s
CI CI #85: Manually run by jonaprieto
3m 41s style/signature-layout
style/signature-layout
3m 41s
style: apply the signature layout CI #84: Pull request #61 synchronize by jonaprieto
2m 29s style/signature-layout
style/signature-layout
2m 29s
style: apply the signature layout CI #83: Pull request #61 synchronize by jonaprieto
2m 49s style/signature-layout
style/signature-layout
2m 49s
style: apply the signature layout CI #82: Pull request #61 synchronize by jonaprieto
3m 26s style/signature-layout
style/signature-layout
3m 26s
style: apply the signature layout CI #81: Pull request #61 synchronize by jonaprieto
2m 43s style/signature-layout
style/signature-layout
2m 43s
style: apply the signature layout CI #80: Pull request #61 synchronize by jonaprieto
2m 43s style/signature-layout
style/signature-layout
2m 43s
style: apply the signature layout CI #79: Pull request #61 opened by jonaprieto
3m 16s style/signature-layout
style/signature-layout
3m 16s
chore(release): set version 4.0.13 CI #78: Commit 7865cf5 pushed by jonaprieto
2m 45s main
main
2m 45s
build: refresh eventb dependencies CI #77: Commit ec7c247 pushed by jonaprieto
2m 47s main
main
2m 47s
chore(release): set version 4.0.12 CI #76: Commit fd5328e pushed by jonaprieto
3m 19s main
main
3m 19s
docs: mark eventb active development CI #75: Commit 33ce330 pushed by jonaprieto
3m 44s main
main
3m 44s
chore(release): set version 4.0.11 CI #74: Commit 98438fd pushed by jonaprieto
3m 42s main
main
3m 42s
build: refresh first-party dependencies CI #73: Commit de5befb pushed by jonaprieto
3m 34s main
main
3m 34s
fix(accuracy): close refinement semantics CI #72: Commit ba6552d pushed by jonaprieto
4m 44s main
main
4m 44s
docs: clarify AI-assisted development CI #71: Commit 8b2b70d pushed by jonaprieto
4m 19s main
main
4m 19s
fix(accuracy): close refinement semantics CI #70: Pull request #60 opened by jonaprieto
6s chore/release-v4.0.10-pr
chore/release-v4.0.10-pr
6s
chore(release): prepare release CI #69: Commit b580af2 pushed by jonaprieto
3m 41s main
main
3m 41s
build: pin newest first-party releases CI #68: Pull request #59 opened by jonaprieto
3m 41s codex/release-4.0.9-20260813
codex/release-4.0.9-20260813
3m 41s
chore(release): prepare v4.0.8 (#58) CI #67: Commit f525815 pushed by jonaprieto
4s main
main
4s
chore(release): prepare v4.0.8 CI #66: Pull request #58 opened by jonaprieto
2m 24s codex/release-4.0.8-20260813
codex/release-4.0.8-20260813
2m 24s
refactor(typing): centralize scoped environments (#57) CI #65: Commit bb7a2e5 pushed by jonaprieto
3m 23s main
main
3m 23s
refactor(typing): centralize scoped environments CI #64: Pull request #57 opened by jonaprieto
3m 22s codex/eventb-typing-scopes-20260813
codex/eventb-typing-scopes-20260813
3m 22s
docs: add review guidance (#56) CI #63: Commit 927d0f7 pushed by jonaprieto
2m 35s main
main
2m 35s