Skip to content

Actions: leanprover/velcom

Actions

Build, publish and deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-publish.yml
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix GraphTimespanControls Build, publish and deploy #1748: Commit f83863f pushed by Garmelon
2m 14s old-options-api
old-options-api
2m 14s
Migrate RepoBranchSelector to composition API Build, publish and deploy #1747: Commit d9acf65 pushed by Garmelon
2m 17s old-migrate-frontend
old-migrate-frontend
2m 17s
Remove checkstyle Build, publish and deploy #1746: Commit 8973355 pushed by Garmelon
1m 57s old-backend-deps
old-backend-deps
1m 57s
Remove Python-based CLI Build, publish and deploy #1745: Commit 23fc4b2 pushed by Garmelon
1m 57s no-cli
no-cli
1m 57s
Check code formatting in CI (#378) Build, publish and deploy #1744: Commit 12f29ac pushed by Garmelon
3m 12s main
main
3m 12s
Ignore #377 in blames Build, publish and deploy #1743: Commit 1e011da pushed by Garmelon
1m 57s fmt-ci
fmt-ci
1m 57s
Check code formatting in CI Build, publish and deploy #1742: Commit 4cc45f0 pushed by Garmelon
1m 56s fmt-ci
fmt-ci
1m 56s
Reformat all files (#377) Build, publish and deploy #1741: Commit 1786021 pushed by Garmelon
2m 53s main
main
2m 53s
Reformat all files Build, publish and deploy #1740: Commit 529f5cd pushed by Garmelon
2m 1s fmt-apply
fmt-apply
2m 1s
Set up code formatting (#376) Build, publish and deploy #1739: Commit 5b50528 pushed by Garmelon
2m 53s main
main
2m 53s
Remove eslint Build, publish and deploy #1738: Commit 40fd1e0 pushed by Garmelon
1m 48s fmt-config
fmt-config
1m 48s
Set up frontend code formatting Build, publish and deploy #1737: Commit 33810c1 pushed by Garmelon
1m 50s fmt-config
fmt-config
1m 50s
Clean up infrastructure (#375) Build, publish and deploy #1736: Commit bb10283 pushed by Garmelon
2m 48s main
main
2m 48s
Fix and refactor build scripts Build, publish and deploy #1735: Commit f9af51a pushed by Garmelon
2m 27s infrastructure
infrastructure
2m 27s
Fix and refactor build scripts Build, publish and deploy #1734: Commit ff85939 pushed by Garmelon
2m 10s infrastructure
infrastructure
2m 10s
Remove nix shell (#374) Build, publish and deploy #1733: Commit 4a20a5b pushed by Garmelon
3m 20s main
main
3m 20s
Remove nix shell Build, publish and deploy #1732: Commit 83e6a46 pushed by Garmelon
1m 58s no-nix
no-nix
1m 58s
Merge pull request #370 from IPDSnelting/bench-permission Build, publish and deploy #1731: Commit 44b8eb0 pushed by Kha
1m 50s runner-v3
runner-v3
1m 50s
Bump form-data from 4.0.0 to 4.0.4 in /frontend Build, publish and deploy #1730: Commit a04c1fa pushed by dependabot bot
1m 50s dependabot/npm_and_yarn/frontend/form-data-4.0.4
dependabot/npm_and_yarn/frontend/form-data-4.0.4
1m 50s
Bump brace-expansion from 1.1.11 to 1.1.12 in /frontend Build, publish and deploy #1729: Commit e75e12d pushed by dependabot bot
1m 58s dependabot/npm_and_yarn/frontend/brace-expansion-1.1.12
dependabot/npm_and_yarn/frontend/brace-expansion-1.1.12
1m 58s
Bump org.eclipse.jgit:org.eclipse.jgit in /backend/backend Build, publish and deploy #1728: Commit 623e535 pushed by dependabot bot
1m 57s dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.10.1.202505221210-r
dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.10.1.202505221210-r
1m 57s
Merge pull request #370 from IPDSnelting/bench-permission Build, publish and deploy #1727: Commit 44b8eb0 pushed by Kha
3m 9s main
main
3m 9s
Revert "Bump ch.qos.logback:logback-classic from 1.2.9 to 1.2.13 in /… Build, publish and deploy #1726: Commit 88ac4d6 pushed by Garmelon
2m 1s bench-permission
bench-permission
2m 1s
Temporarily disable !bench permission checks Build, publish and deploy #1725: Commit 46ef486 pushed by Garmelon
6h 0m 20s bench-permission
bench-permission
6h 0m 20s
Bump org.eclipse.jgit:org.eclipse.jgit in /backend/backend Build, publish and deploy #1724: Commit 30c446f pushed by dependabot bot
1m 58s dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-7.2.1.202505142326-r
dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-7.2.1.202505142326-r
1m 58s