Skip to content

Actions: h0nzZik/minuska

Actions

Build and profile and CoqDoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-profile.yml
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for nondeterminism in language specifications (#28) Build and profile and CoqDoc #440: Commit 65f49b2 pushed by h0nzZik
July 10, 2024 17:55 13m 49s main
main
July 10, 2024 17:55 13m 49s
Support for nondeterminism in language specifications Build and profile and CoqDoc #439: Pull request #28 synchronize by h0nzZik
July 10, 2024 17:39 6m 23s nondet
nondet
July 10, 2024 17:39 6m 23s
Support for nondeterminism in language specifications Build and profile and CoqDoc #438: Pull request #28 synchronize by h0nzZik
July 10, 2024 17:06 5m 56s nondet
nondet
July 10, 2024 17:06 5m 56s
Support for nondeterminism in language specifications Build and profile and CoqDoc #437: Pull request #28 synchronize by h0nzZik
July 10, 2024 15:32 6m 34s nondet
nondet
July 10, 2024 15:32 6m 34s
Support for nondeterminism in language specifications Build and profile and CoqDoc #436: Pull request #28 synchronize by h0nzZik
July 10, 2024 14:16 5m 59s nondet
nondet
July 10, 2024 14:16 5m 59s
Support for nondeterminism in language specifications Build and profile and CoqDoc #435: Pull request #28 synchronize by h0nzZik
July 9, 2024 21:19 5m 28s nondet
nondet
July 9, 2024 21:19 5m 28s
Support for nondeterminism in language specifications Build and profile and CoqDoc #434: Pull request #28 opened by h0nzZik
July 9, 2024 17:28 8m 5s nondet
nondet
July 9, 2024 17:28 8m 5s
More cleanup (#27) Build and profile and CoqDoc #433: Commit dce78bb pushed by h0nzZik
July 6, 2024 19:36 13m 11s main
main
July 6, 2024 19:36 13m 11s
More cleanup Build and profile and CoqDoc #432: Pull request #27 synchronize by h0nzZik
July 6, 2024 19:24 8m 52s rm-lowlang-2
rm-lowlang-2
July 6, 2024 19:24 8m 52s
More cleanup Build and profile and CoqDoc #431: Pull request #27 synchronize by h0nzZik
July 6, 2024 19:09 3m 45s rm-lowlang-2
rm-lowlang-2
July 6, 2024 19:09 3m 45s
More cleanup Build and profile and CoqDoc #430: Pull request #27 opened by h0nzZik
July 6, 2024 18:48 8m 54s rm-lowlang-2
rm-lowlang-2
July 6, 2024 18:48 8m 54s
Merge pull request #26 from h0nzZik/rm-lowlang Build and profile and CoqDoc #429: Commit de73b75 pushed by h0nzZik
July 6, 2024 17:32 13m 43s main
main
July 6, 2024 17:32 13m 43s
Rm lowlang (1) Build and profile and CoqDoc #428: Pull request #26 synchronize by h0nzZik
July 6, 2024 17:19 8m 49s rm-lowlang
rm-lowlang
July 6, 2024 17:19 8m 49s
Rm lowlang (1) Build and profile and CoqDoc #427: Pull request #26 synchronize by h0nzZik
July 6, 2024 15:30 7m 5s rm-lowlang
rm-lowlang
July 6, 2024 15:30 7m 5s
Rm lowlang (1) Build and profile and CoqDoc #426: Pull request #26 opened by h0nzZik
July 6, 2024 14:45 4m 8s rm-lowlang
rm-lowlang
July 6, 2024 14:45 4m 8s
Merge pull request #25 from h0nzZik/fix-missing-dep Build and profile and CoqDoc #425: Commit be1776a pushed by h0nzZik
June 30, 2024 11:50 11m 1s main
main
June 30, 2024 11:50 11m 1s
fix build-and-profile Build and profile and CoqDoc #424: Pull request #25 opened by h0nzZik
June 30, 2024 11:41 8m 37s fix-missing-dep
fix-missing-dep
June 30, 2024 11:41 8m 37s
Merge pull request #24 from h0nzZik/nicer-benchmarks-3 Build and profile and CoqDoc #423: Commit eff132b pushed by h0nzZik
June 29, 2024 18:37 10m 57s main
main
June 29, 2024 18:37 10m 57s
Nicer benchmarks 3 Build and profile and CoqDoc #422: Pull request #24 synchronize by h0nzZik
June 29, 2024 18:32 4m 53s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 18:32 4m 53s
Nicer benchmarks 3 Build and profile and CoqDoc #421: Pull request #24 synchronize by h0nzZik
June 29, 2024 18:15 5m 52s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 18:15 5m 52s
Nicer benchmarks 3 Build and profile and CoqDoc #420: Pull request #24 synchronize by h0nzZik
June 29, 2024 16:57 8m 33s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 16:57 8m 33s
Nicer benchmarks 3 Build and profile and CoqDoc #419: Pull request #24 opened by h0nzZik
June 29, 2024 16:55 1m 40s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 16:55 1m 40s
Merge pull request #23 from h0nzZik/nicer-benchmarks-2 Build and profile and CoqDoc #418: Commit 977cd4f pushed by h0nzZik
June 29, 2024 16:47 12m 53s main
main
June 29, 2024 16:47 12m 53s
Nicer benchmarks 2 Build and profile and CoqDoc #417: Pull request #23 synchronize by h0nzZik
June 29, 2024 16:34 6m 36s nicer-benchmarks-2
nicer-benchmarks-2
June 29, 2024 16:34 6m 36s
Nicer benchmarks 2 Build and profile and CoqDoc #416: Pull request #23 opened by h0nzZik
June 29, 2024 16:26 5m 54s nicer-benchmarks-2
nicer-benchmarks-2
June 29, 2024 16:26 5m 54s