Skip to content

Actions: agontard/hol2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
obtain alignments .github/workflows/main.yml #13: Commit 43e6408 pushed by agontard
1m 5s to-classes
to-classes
1m 5s
fix recording of modus ponens (#198) .github/workflows/main.yml #12: Commit 1109b6e pushed by agontard
29m 8s main
main
29m 8s
.github/workflows/main.yml .github/workflows/main.yml #11: by agontard
29m 3s fix_MP
fix_MP
29m 3s
.github/workflows/main.yml .github/workflows/main.yml #10: by agontard
33m 12s main
main
33m 12s
add option for modules and remove remaining dependencies .github/workflows/main.yml #9: Commit 6f310a2 pushed by agontard
4m 58s to-classes
to-classes
4m 58s
allow warnings .github/workflows/main.yml #8: Commit ed7f703 pushed by agontard
5m 6s to-classes
to-classes
5m 6s
use correct renamings .github/workflows/main.yml #7: Commit 4271c9b pushed by agontard
1m 11s check-mappings
check-mappings
1m 11s
fixes .github/workflows/main.yml #6: Commit d655075 pushed by agontard
1m 8s check-mappings
check-mappings
1m 8s
fix .github/workflows/main.yml #5: Commit 4ef1781 pushed by agontard
4m 52s check-mappings
check-mappings
4m 52s
wip .github/workflows/main.yml #4: Commit 7d67f12 pushed by agontard
11m 7s config_options
config_options
11m 7s
variable in help .github/workflows/main.yml #3: Commit 1d4ac5a pushed by agontard
11m 57s config_options
config_options
11m 57s
extra rocq options in makefile .github/workflows/main.yml #2: Commit 1606607 pushed by agontard
16m 13s config_options
config_options
16m 13s
.github/workflows/main.yml .github/workflows/main.yml #1: Manually run by agontard
15m 50s main
main
15m 50s