Skip to content

Actions: IPDSnelting/velcom

Actions

Build, publish and deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make -> column sortable Build, publish and deploy #1704: Commit 146c27b pushed by Kha
June 12, 2024 08:02 4m 50s main
main
June 12, 2024 08:02 4m 50s
Try upping ping timeout for big mathlib transfer Build, publish and deploy #1703: Commit e38935a pushed by Kha
January 24, 2024 17:30 2m 5s runner-v2
runner-v2
January 24, 2024 17:30 2m 5s
Try upping ping timeout for big mathlib transfer Build, publish and deploy #1702: Commit e38935a pushed by Kha
January 24, 2024 17:25 5m 44s main
main
January 24, 2024 17:25 5m 44s
Bump follow-redirects from 1.15.2 to 1.15.4 in /frontend Build, publish and deploy #1701: Commit 1d83a65 pushed by dependabot bot
January 10, 2024 13:38 2m 22s dependabot/npm_and_yarn/frontend/follow-redirects-1.15.4
dependabot/npm_and_yarn/frontend/follow-redirects-1.15.4
January 10, 2024 13:38 2m 22s
Ok Build, publish and deploy #1700: Commit 1d2af46 pushed by Kha
December 10, 2023 12:19 1m 58s runner-v1
runner-v1
December 10, 2023 12:19 1m 58s
Ok Build, publish and deploy #1699: Commit 1d2af46 pushed by Kha
December 10, 2023 12:17 4m 29s main
main
December 10, 2023 12:17 4m 29s
Oops Build, publish and deploy #1698: Commit 8193b34 pushed by Kha
December 10, 2023 12:14 2m 13s main
main
December 10, 2023 12:14 2m 13s
Release runner.jar Build, publish and deploy #1697: Commit b3cb85d pushed by Kha
December 10, 2023 11:56 6m 58s main
main
December 10, 2023 11:56 6m 58s
Bump ch.qos.logback:logback-classic from 1.2.9 to 1.2.13 in /backend Build, publish and deploy #1696: Commit 31cf05c pushed by dependabot bot
December 5, 2023 22:40 6h 0m 26s dependabot/maven/backend/ch.qos.logback-logback-classic-1.2.13
dependabot/maven/backend/ch.qos.logback-logback-classic-1.2.13
December 5, 2023 22:40 6h 0m 26s
Bump ch.qos.logback:logback-classic from 1.2.9 to 1.3.12 in /backend Build, publish and deploy #1695: Commit 13887b3 pushed by dependabot bot
November 29, 2023 22:47 2m 15s dependabot/maven/backend/ch.qos.logback-logback-classic-1.3.12
dependabot/maven/backend/ch.qos.logback-logback-classic-1.3.12
November 29, 2023 22:47 2m 15s
Bump axios from 1.3.4 to 1.6.0 in /frontend Build, publish and deploy #1694: Commit dfd0cb1 pushed by dependabot bot
November 11, 2023 11:03 2m 44s dependabot/npm_and_yarn/frontend/axios-1.6.0
dependabot/npm_and_yarn/frontend/axios-1.6.0
November 11, 2023 11:03 2m 44s
Merge pull request #356 from IPDSnelting/dependabot/npm_and_yarn/fron… Build, publish and deploy #1693: Commit 57ce034 pushed by Kha
October 19, 2023 07:16 4m 49s main
main
October 19, 2023 07:16 4m 49s
Bump @babel/traverse from 7.21.3 to 7.23.2 in /frontend Build, publish and deploy #1692: Commit 33272cf pushed by dependabot bot
October 18, 2023 23:17 4m 4s dependabot/npm_and_yarn/frontend/babel/traverse-7.23.2
dependabot/npm_and_yarn/frontend/babel/traverse-7.23.2
October 18, 2023 23:17 4m 4s
Oh Java Build, publish and deploy #1691: Commit fb9760c pushed by Kha
October 12, 2023 07:15 4m 51s main
main
October 12, 2023 07:15 4m 51s
Bump instruction threshold to 10B Build, publish and deploy #1690: Commit 380caf1 pushed by Kha
October 12, 2023 07:13 3m 26s main
main
October 12, 2023 07:13 3m 26s
Fix reporting only instruction regressions Build, publish and deploy #1689: Commit a30765b pushed by Kha
October 12, 2023 06:49 4m 23s main
main
October 12, 2023 06:49 4m 23s
Remove KIT deployment Build, publish and deploy #1688: Commit cf9e04b pushed by Kha
October 11, 2023 14:15 6m 19s main
main
October 11, 2023 14:15 6m 19s
Merge pull request #355 from IPDSnelting/abs-instr Build, publish and deploy #1687: Commit 54874bc pushed by Kha
October 11, 2023 13:56 5m 50s main
main
October 11, 2023 13:56 5m 50s
format and signify mathlib instructions count by absolute value Build, publish and deploy #1686: Commit f1b54be pushed by Kha
October 11, 2023 13:31 2m 58s abs-instr
abs-instr
October 11, 2023 13:31 2m 58s
Bump org.eclipse.jgit:org.eclipse.jgit in /backend/backend Build, publish and deploy #1685: Commit ac9caff pushed by dependabot bot
September 18, 2023 19:22 3m 27s dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.6.1.202309021850-r
dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.6.1.202309021850-r
September 18, 2023 19:22 3m 27s
Merge pull request #352 from IPDSnelting/fix/disable-matrix-selector Build, publish and deploy #1684: Commit a27c410 pushed by Kha
August 7, 2023 09:34 26s main
main
August 7, 2023 09:34 26s
[frontend] Disable matrix selector if it has too many cells Build, publish and deploy #1683: Commit ad0453c pushed by I-Al-Istannen
August 7, 2023 09:22 2m 47s fix/disable-matrix-selector
fix/disable-matrix-selector
August 7, 2023 09:22 2m 47s
[frontend] Disable matrix selector if it has too many cells Build, publish and deploy #1682: Commit a67766c pushed by I-Al-Istannen
August 7, 2023 09:15 2m 34s fix/disable-matrix-selector
fix/disable-matrix-selector
August 7, 2023 09:15 2m 34s
[frontend] Disable matrix selector if it has too many cells Build, publish and deploy #1681: Commit 9e727a1 pushed by I-Al-Istannen
August 7, 2023 09:14 2m 28s fix/disable-matrix-selector
fix/disable-matrix-selector
August 7, 2023 09:14 2m 28s
Merge pull request #351 from IPDSnelting/fix/footer-items-per-page-op… Build, publish and deploy #1680: Commit f8196ff pushed by Kha
August 6, 2023 12:30 4m 49s main
main
August 6, 2023 12:30 4m 49s