Logo
Explore Help
Sign In
alois/CoqDecks
Watch 1
Star 0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
283 Commits 1 Branch 0 Tags
main
Commit Graph
8 Commits
Author SHA1 Message Date
Gareth Latty d3e816eddb Move to using shared material library.
Build / Build docker images. (push) Has been cancelled
Details
2022-06-02 23:07:50 +01:00
Gareth Latty d0c0225cc1 Update dependencies. 2022-05-20 16:56:56 +01:00
Gareth Latty d60fb165ad Update build and add dependabot config. 2021-11-28 18:58:05 +00:00
Gareth Latty ebd6f1aaaf Move from deprecated image labels to modern standard. 2021-11-28 15:36:22 +00:00
Gareth Latty 21fb6aad6b Update dependencies. 2021-09-19 14:11:12 +01:00
Gareth Latty 637cebb043 Move to docker buildx bake for builds, build for arm64. 2021-09-19 13:10:43 +01:00
Gareth Latty f817229b59 Replace deprecated GitHub action. 2020-12-31 01:25:27 +00:00
Gareth Latty d7e5e33f0c Publish to GitHub Container Registry. 2020-11-08 22:15:33 +00:00
Powered by Gitea Version: 1.27.1 Page: 361ms Template: 11ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API