Skip to content

Actions: MarcellPerger1/programming_lang_2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add basic typechecking .github/workflows/run_tests.yml #156: Pull request #72 opened by MarcellPerger1
19s add-typechecking
add-typechecking
19s
.github/workflows/run_tests.yml .github/workflows/run_tests.yml #155: Manually run by MarcellPerger1
16s add-typechecking
add-typechecking
16s
.github/workflows/fuzzer.yml .github/workflows/fuzzer.yml #26: Manually run by MarcellPerger1
6h 0m 21s main
main
6h 0m 21s
.github/workflows/fuzzer.yml .github/workflows/fuzzer.yml #25: Manually run by MarcellPerger1
35m 0s main
main
35m 0s
Merge pull request #69 from MarcellPerger1/add-typechecking .github/workflows/run_tests.yml #154: Commit b0f0c45 pushed by MarcellPerger1
20s main
main
20s
Add name resolver fuzzing .github/workflows/run_tests.yml #153: Pull request #69 synchronize by MarcellPerger1
25s add-typechecking
add-typechecking
25s
Add name resolver fuzzing .github/workflows/run_tests.yml #152: Pull request #69 opened by MarcellPerger1
20s add-typechecking
add-typechecking
20s
Merge pull request #68 from MarcellPerger1/add-typechecking .github/workflows/run_tests.yml #151: Commit 044b418 pushed by MarcellPerger1
12s main
main
12s
Fix name resolving bug, add tests .github/workflows/run_tests.yml #150: Pull request #68 opened by MarcellPerger1
13s add-typechecking
add-typechecking
13s