Skip to content

Actions: jonasagx/infdesc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update packages.tex to include fontspec
Build LaTeX document #65: Pull request #16 synchronize by jonasagx
September 1, 2024 06:03 3m 23s jonasagx-patch-1
September 1, 2024 06:03 3m 23s
Update packages.tex to include fontspec
Build LaTeX document #64: Pull request #16 opened by jonasagx
September 1, 2024 05:51 1m 35s jonasagx-patch-1
September 1, 2024 05:51 1m 35s
copy from gg's PR
Build LaTeX document #63: Pull request #15 synchronize by GGG710
July 26, 2024 23:21 1m 28s variables-quantifiers
July 26, 2024 23:21 1m 28s
logical-equivalence.tex
Build LaTeX document #62: Pull request #9 synchronize by jonasagx
July 12, 2024 07:05 1m 36s GGG710:patch-10
July 12, 2024 07:05 1m 36s
logical-equivalence.tex
Build LaTeX document #61: Pull request #9 synchronize by jonasagx
July 12, 2024 07:04 1m 35s GGG710:patch-10
July 12, 2024 07:04 1m 35s
copy from gg's PR
Build LaTeX document #60: Pull request #15 opened by jonasagx
July 12, 2024 06:50 1m 37s variables-quantifiers
July 12, 2024 06:50 1m 37s
Ggg710 patch 11
Build LaTeX document #59: Pull request #13 synchronize by jonasagx
July 6, 2024 22:04 1m 36s GGG710-patch-11
July 6, 2024 22:04 1m 36s
sets.tex
Build LaTeX document #58: Pull request #11 synchronize by jonasagx
June 2, 2024 19:44 2m 38s GGG710-patch-2
June 2, 2024 19:44 2m 38s
sets.tex
Build LaTeX document #57: Pull request #11 synchronize by jonasagx
June 2, 2024 19:44 2m 44s GGG710-patch-2
June 2, 2024 19:44 2m 44s
sets.tex
Build LaTeX document #56: Pull request #11 synchronize by jonasagx
June 2, 2024 04:13 3m 8s GGG710-patch-2
June 2, 2024 04:13 3m 8s
sets.tex
Build LaTeX document #55: Pull request #11 synchronize by jonasagx
June 2, 2024 04:06 1m 41s GGG710-patch-2
June 2, 2024 04:06 1m 41s
sets.tex
Build LaTeX document #54: Pull request #11 synchronize by jonasagx
June 2, 2024 03:56 1m 40s GGG710-patch-2
June 2, 2024 03:56 1m 40s
sets.tex
Build LaTeX document #53: Pull request #11 synchronize by jonasagx
June 2, 2024 03:34 1m 56s GGG710-patch-2
June 2, 2024 03:34 1m 56s
sets.tex
Build LaTeX document #52: Pull request #11 synchronize by jonasagx
June 2, 2024 02:43 2m 7s GGG710-patch-2
June 2, 2024 02:43 2m 7s
sets.tex
Build LaTeX document #51: Pull request #11 synchronize by jonasagx
May 28, 2024 21:47 1m 43s GGG710-patch-2
May 28, 2024 21:47 1m 43s
traducao do primeiro capitulo
Build LaTeX document #50: Pull request #1 synchronize by jonasagx
May 28, 2024 20:32 1m 41s getting-started
May 28, 2024 20:32 1m 41s
sets.tex
Build LaTeX document #49: Pull request #11 synchronize by jonasagx
May 28, 2024 20:29 1m 44s GGG710-patch-2
May 28, 2024 20:29 1m 44s
sets.tex
Build LaTeX document #48: Pull request #11 synchronize by GGG710
May 28, 2024 18:43 1m 45s GGG710-patch-2
May 28, 2024 18:43 1m 45s
sets.tex
Build LaTeX document #47: Pull request #11 synchronize by GGG710
May 28, 2024 14:17 1m 47s GGG710-patch-2
May 28, 2024 14:17 1m 47s
sets.tex
Build LaTeX document #46: Pull request #11 synchronize by jonasagx
May 27, 2024 06:37 1m 44s GGG710-patch-2
May 27, 2024 06:37 1m 44s
sets.tex
Build LaTeX document #45: Pull request #11 synchronize by jonasagx
May 27, 2024 06:16 2m 11s GGG710-patch-2
May 27, 2024 06:16 2m 11s
sets.tex
Build LaTeX document #44: Pull request #11 synchronize by jonasagx
May 27, 2024 06:11 2m 6s GGG710-patch-2
May 27, 2024 06:11 2m 6s
sets.tex
Build LaTeX document #43: Pull request #11 synchronize by jonasagx
May 27, 2024 06:04 1m 42s GGG710-patch-2
May 27, 2024 06:04 1m 42s
sets.tex
Build LaTeX document #42: Pull request #11 synchronize by jonasagx
May 27, 2024 05:58 1m 45s GGG710-patch-2
May 27, 2024 05:58 1m 45s
sets.tex
Build LaTeX document #41: Pull request #11 synchronize by jonasagx
May 27, 2024 05:50 1m 43s GGG710-patch-2
May 27, 2024 05:50 1m 43s