Skip to content

Actions: IPDSnelting/velcom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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