Skip to content

Actions: isabelle-prover/isabelle-go-codegen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove unneeded files Build #11: Commit 08b4c92 pushed by larsrh
June 12, 2024 06:05 11m 22s main
main
June 12, 2024 06:05 11m 22s
Build Build #10: by larsrh
June 12, 2024 06:04 11m 24s v0.3.1
v0.3.1
June 12, 2024 06:04 11m 24s
update for Isabelle2024 Build #9: Commit 518df9a pushed by larsrh
May 24, 2024 18:48 11m 35s v0.3
v0.3
May 24, 2024 18:48 11m 35s
update for Isabelle2024 Build #8: Commit 518df9a pushed by larsrh
May 24, 2024 07:48 11m 33s main
main
May 24, 2024 07:48 11m 33s
adapt to upstream changes (AFP/a8ac72f7dd9f) Build #7: Commit 83bf929 pushed by larsrh
April 22, 2024 07:34 11m 26s main
main
April 22, 2024 07:34 11m 26s
Build Build #6: by larsrh
January 22, 2024 07:59 11m 15s v0.2.1
v0.2.1
January 22, 2024 07:59 11m 15s
fix tests after 5fba2ef Build #5: Commit 6c70cc0 pushed by larsrh
January 22, 2024 07:24 11m 26s main
main
January 22, 2024 07:24 11m 26s
remove some code printing for strings Build #4: Commit 5fba2ef pushed by larsrh
January 22, 2024 06:32 11m 3s main
main
January 22, 2024 06:32 11m 3s
Merge pull request #8 from isabelle-prover/github-workflow Build #3: Commit f0a4768 pushed by larsrh
January 5, 2024 10:25 11m 31s main
main
January 5, 2024 10:25 11m 31s
add GitHub workflow Build #2: Pull request #8 opened by larsrh
January 5, 2024 07:54 11m 6s github-workflow
github-workflow
January 5, 2024 07:54 11m 6s
add GitHub workflow Build #1: Commit c6cfd83 pushed by larsrh
January 5, 2024 07:54 11m 18s github-workflow
github-workflow
January 5, 2024 07:54 11m 18s