Code

Support time-group feature#5

Code

Merged

erikmd merged 10 commits intoalphacoq-community/docker-coq-action:alphafrom feature-timegroupcoq-community/docker-coq-action:feature-timegroupCopy head branch name to clipboardApr 1, 2020

+241-20

Commits

Commits on Mar 28, 2020

• chore: Add .gitignore

  Show description for 720016f
  erikmd

  committed
  720016f

Commits on Mar 29, 2020

• chore: Add whitelist .dockerignore

  erikmd

  committed
  ebc8882

• feat: Implement startGroup/endGroup with time-difference feature

  Show description for ab99182
  erikmd

  committed
  ab99182

• feat: Copy timegroup.sh in the action image

  erikmd

  committed
  0569093

• feat: Add minimified version of startGroup/endGroup in entrypoint.sh

  Show description for 5893da2
  erikmd

  committed
  5893da2

• fix: Remove clutter by evaluating the if-then-else beforehand

  erikmd

  committed
  b800cf7

• docs: Update the custom_script default and documentation

  Show description for ceb59e6
  erikmd

  committed
  ceb59e6

Commits on Apr 1, 2020

• chore: Add Makefile to automate the generation/tests

  erikmd

  committed
  adf418b

• fix(timegroup.sh): reduce $(set -x)'s noise in startGroup/endGroup

  Show description for e3697ee
  erikmd

  committed
  e3697ee

• fix: Enclose the 'opam switch' command in a timegroup

  erikmd

  committed
  2521356