Skip to content

Actions: MarcellPerger1/programming_lang_2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
Merge pull request #65 from MarcellPerger1/add-typechecking .github/workflows/run_tests.yml #149: Commit 22f9ee4 pushed by MarcellPerger1
16s main
main
16s
Add name resolution and scopes .github/workflows/run_tests.yml #148: Pull request #65 synchronize by MarcellPerger1
15s add-typechecking
add-typechecking
15s
Add name resolution and scopes .github/workflows/run_tests.yml #147: Pull request #65 synchronize by MarcellPerger1
18s add-typechecking
add-typechecking
18s
Add name resolution and scopes .github/workflows/run_tests.yml #146: Pull request #65 synchronize by MarcellPerger1
1m 7s add-typechecking
add-typechecking
1m 7s
Add name resolution and scopes .github/workflows/run_tests.yml #145: Pull request #65 opened by MarcellPerger1
17s add-typechecking
add-typechecking
17s