Skip to content

Actions: metamath/metamath-exe

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix README.TXT ci #832: Pull request #177 synchronize by wlammen
September 20, 2024 12:18 31s wlammen:master
wlammen:master
September 20, 2024 12:18 31s
fix README.TXT ci #831: Pull request #177 opened by wlammen
September 18, 2024 18:23 33s wlammen:master
wlammen:master
September 18, 2024 18:23 33s
Add test cases about minimization (#170) ci #830: Commit 50179d3 pushed by jkingdon
August 6, 2024 02:54 29s master
master
August 6, 2024 02:54 29s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) (#167) ci #829: Commit e75b336 pushed by digama0
February 5, 2024 01:31 31s master
master
February 5, 2024 01:31 31s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #828: Pull request #167 synchronize by benjub
February 4, 2024 19:53 27s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 19:53 27s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #827: Pull request #167 synchronize by benjub
February 4, 2024 19:52 30s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 19:52 30s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #826: Pull request #167 synchronize by benjub
February 4, 2024 19:52 27s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 19:52 27s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #825: Pull request #167 synchronize by benjub
February 4, 2024 19:52 27s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 19:52 27s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #824: Pull request #167 synchronize by benjub
February 4, 2024 18:42 26s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 18:42 26s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #823: Pull request #167 synchronize by benjub
February 4, 2024 18:41 26s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 18:41 26s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #822: Pull request #167 synchronize by benjub
February 4, 2024 18:41 30s benjub:wtex-logic
benjub:wtex-logic
February 4, 2024 18:41 30s
Sentences in generated theorem webpages ci #821: Pull request #171 synchronize by benjub
February 4, 2024 16:07 33s benjub:webpages
benjub:webpages
February 4, 2024 16:07 33s
Sentences in generated theorem webpages ci #820: Pull request #171 opened by benjub
February 4, 2024 15:49 28s benjub:webpages
benjub:webpages
February 4, 2024 15:49 28s
Add hypothesis and dv usage qualifiers to VERIFY PROOF ci #819: Pull request #92 synchronize by jamesjer
January 3, 2024 22:27 29s jamesjer:master
jamesjer:master
January 3, 2024 22:27 29s
Add hypothesis and dv usage qualifiers to VERIFY PROOF ci #818: Pull request #92 synchronize by jamesjer
January 1, 2024 00:35 33s jamesjer:master
jamesjer:master
January 1, 2024 00:35 33s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #817: Pull request #167 synchronize by benjub
November 19, 2023 10:11 35s benjub:wtex-logic
benjub:wtex-logic
November 19, 2023 10:11 35s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #816: Pull request #167 synchronize by benjub
November 18, 2023 18:59 28s benjub:wtex-logic
benjub:wtex-logic
November 18, 2023 18:59 28s
mmwtex.c: boolean-style evaluation in conditionals (+ linting) ci #815: Pull request #167 synchronize by benjub
November 18, 2023 18:55 31s benjub:wtex-logic
benjub:wtex-logic
November 18, 2023 18:55 31s
Add test cases about minimization ci #814: Pull request #170 synchronize by GinoGiotto
November 17, 2023 01:50 30s GinoGiotto:minimizer-test
GinoGiotto:minimizer-test
November 17, 2023 01:50 30s
Add test cases about minimization ci #813: Pull request #170 opened by GinoGiotto
November 17, 2023 01:30 30s GinoGiotto:minimizer-test
GinoGiotto:minimizer-test
November 17, 2023 01:30 30s
Attempting to fix the curly brackets bug (#166) ci #812: Commit 8fedf16 pushed by digama0
November 4, 2023 22:50 29s master
master
November 4, 2023 22:50 29s
Attempting to fix the curly brackets bug ci #811: Pull request #166 reopened by GinoGiotto
November 4, 2023 08:36 28s GinoGiotto:latex
GinoGiotto:latex
November 4, 2023 08:36 28s
Attempting to fix the curly brackets bug ci #810: Pull request #166 synchronize by digama0
November 4, 2023 00:26 35s GinoGiotto:latex
GinoGiotto:latex
November 4, 2023 00:26 35s
Attempting to fix the curly brackets bug ci #809: Pull request #166 synchronize by GinoGiotto
November 3, 2023 20:46 43s GinoGiotto:latex
GinoGiotto:latex
November 3, 2023 20:46 43s
Attempting to fix the curly brackets bug ci #808: Pull request #166 synchronize by GinoGiotto
November 3, 2023 20:37 38s GinoGiotto:latex
GinoGiotto:latex
November 3, 2023 20:37 38s