Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Mar 23, 2024

• Readme: Add db schema graph to readme

  zgtm

  committedMar 23, 2024
  d3f5272

Commits on Mar 20, 2024

• Tools: Generate database code in git pre-commit hook

  zgtm

  committedMar 20, 2024
  83676c0

• Fix: Admin db cleanup not working anymore after db changes allowing multiple usergroup admins

  zgtm

  committedMar 20, 2024
  73c7d20

• Fix: Admin db cleanup not working and failing with an internal server error

  zgtm

  committedMar 20, 2024
  c0488f7

• Template jwinf: Show number of inactivy temporary sessions in admin db cleanup area

  zgtm

  committedMar 20, 2024
  1f68219

• Automatically remove some inactive temporary sessions on every OAuth login

  zgtm

  committedMar 20, 2024
  f6ace91

Commits on Feb 20, 2024

• Change version number to 1.19.1

  zgtm

  committedFeb 20, 2024
  18c8fa7

• Fix: Add missing template file 'admin_edit_group.hbs'

  zgtm

  committedFeb 20, 2024
  d2e96b7

• Change version number to 1.19.0

  zgtm

  committedFeb 20, 2024
  dc712c2

• Fix clippy complaint ('clippy::get-first')

  zgtm

  committedFeb 20, 2024
  d6afa23

• Add new option in group settings to change group name and tag

  zgtm

  committedFeb 20, 2024
  704e620

Commits on Dec 25, 2023

• Change version number to 1.18.0

  zgtm

  committedDec 25, 2023
  91381a8

Commits on Dec 7, 2023

• Allow to filter contests by their contest secret

  zgtm

  committedDec 7, 2023
  84cae2c

• Config: Add new config option 'restricted_task_directories'

  zgtm

  committedDec 7, 2023
  65af409

Commits on Dec 6, 2023

• template jwinf: Add Christmas easter-egg

  zgtm

  committedDec 6, 2023
  7c9753c

• images: Add Christmas version of JWINF logos

  zgtm

  committedDec 6, 2023
  3b10e8e

Commits on Nov 30, 2023

• Change version number to 1.17.1

  zgtm

  committedNov 30, 2023
  9f5ede6

• db: Fix SQL statement for contest list with group participations being broken in Postgres

  zgtm

  committedNov 30, 2023
  96b3338

• Change version number to 1.17.0

  zgtm

  committedNov 30, 2023
  276b66f

• Reorder logging while reading in contests for maintainability of code and readability of log output

  zgtm

  committedNov 30, 2023
  94dc5bb

• Add command line flag '--version' to just show the version number

  zgtm

  committedNov 30, 2023
  b532f82

• Show start- / end-date of next / current contest on index page

  zgtm

  committedNov 30, 2023
  593e9df

• Template jwinf: Content group results ZIP download: Number multiple files with the same name

  zgtm

  committedNov 30, 2023
  8ce7c8f

• Template jwinf: Content group results download as ZIP file (implemented in javascript in the browser)

  zgtm

  committedNov 30, 2023
  baa5315

• Contest group result download: URL-encode filenames for better portability of downloads

  zgtm

  committedNov 30, 2023
  83f3af1

Commits on Nov 27, 2023

• Contest overview: Just show contests with group results in contest list for group results

  zgtm

  committedNov 27, 2023
  ad83b1a

• Pipeline: Fix clippy error after rename of 'clippy::unwrap_or_else_default' to 'clippy::unwrap_or_default'

  zgtm

  committedNov 27, 2023
  1f97c3a

Commits on Nov 25, 2023

• Changes in CI pipeline and Cargo.toml to use 'main' as default branch

  zgtm

  committedNov 25, 2023
  6099834

• Template jwinf: Fix error message for contests without tasks when not logged in

  zgtm

  committedNov 25, 2023
  6715315

Commits on Nov 10, 2023

• Fix admin contest result download after change to multiple group admins

  zgtm

  committedNov 10, 2023
  82d688e

• Fix contest group results after change to multiple group admins

  zgtm

  committedNov 10, 2023
  d78aaa3

Commits on Nov 9, 2023

• Change version number to 1.16.0

  zgtm

  committedNov 9, 2023
  fb58f05

• Template jwinf: Make adding new group admins more responsive

  zgtm

  committedNov 9, 2023
  8fd8df5

• Template jwinf: Allow teachers to add additional admins to groups

  zgtm

  committedNov 9, 2023
  fd315a5

• Add new endpoint /group/<id>/addadmin to add additional admins to groups

  zgtm

  committedNov 9, 2023
  038e2d5

Pagination

PreviousNext