]> https://gitweb.dealii.org/ - code-gallery.git/commit
Merge pull request #162 from marcfehling/cron
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 29 Sep 2023 15:35:36 +0000 (09:35 -0600)
committerGitHub <noreply@github.com>
Fri, 29 Sep 2023 15:35:36 +0000 (09:35 -0600)
commit2a4bb61f07eeb0b34fc24920e88d4b29d5ebb074
tree3dff21e518a3322c3bc2a771c8c0e21c281c9d4e
parentdf4282d39471e6e30fa7464a46aa77fec1fd05c2
parent7f4ca8af84a60cf558ce6c2556669711d0e87f76
Merge pull request #162 from marcfehling/cron

github-actions: Only run scheduled jobs on main repository, and no longer on forks.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.