Skip to content

Actions: jvanbruegge/binder_datatypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 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
Unary Substitution Build thys #673: Pull request #128 synchronize by b4er
1s b4er:unary-substitution
b4er:unary-substitution
1s
Implement fresh injection theorem Build thys #672: Pull request #129 ready_for_review by b4er
17m 26s b4er:fresh-inject
b4er:fresh-inject
17m 26s
Implement fresh injection theorem Build thys #671: Pull request #129 synchronize by b4er
2s b4er:fresh-inject
b4er:fresh-inject
2s
Implement fresh injection theorem Build thys #670: Pull request #129 opened by b4er
4s b4er:fresh-inject
b4er:fresh-inject
4s
Unary Substitution Build thys #669: Pull request #128 ready_for_review by b4er
17m 24s b4er:unary-substitution
b4er:unary-substitution
17m 24s
Unary Substitution Build thys #668: Pull request #128 synchronize by b4er
3s b4er:unary-substitution
b4er:unary-substitution
3s
Unary Substitution Build thys #667: Pull request #128 synchronize by dtraytel
2s b4er:unary-substitution
b4er:unary-substitution
2s
Unary Substitution Build thys #666: Pull request #128 opened by b4er
11m 21s b4er:unary-substitution
b4er:unary-substitution
11m 21s
improve on #126: workaround loss of qualification for type class assu… Build thys #665: Commit ef3d3e2 pushed by jvanbruegge
17m 22s master
master
17m 22s
improve on #126: workaround loss of qualification for type class assumption names Build thys #664: Pull request #127 opened by dtraytel
17m 29s fix_126
fix_126
17m 29s
Make binder induction more robust (#125) Build thys #663: Commit 5bdb4d0 pushed by jvanbruegge
17m 20s master
master
17m 20s
made binder induction more robust Build thys #662: Pull request #125 opened by dtraytel
17m 13s binder_induction
binder_induction
17m 13s
Do not register pre-datatype MRBNFs (#123) Build thys #661: Commit 557c9ef pushed by jvanbruegge
17m 6s master
master
17m 6s
Do not register pre-datatype MRBNFs Build thys #660: Pull request #123 synchronize by jvanbruegge
16m 51s no-registration
no-registration
16m 51s
Do not register pre-datatype MRBNFs Build thys #659: Pull request #123 synchronize by jvanbruegge
16m 44s no-registration
no-registration
16m 44s
Do not register pre-datatype MRBNFs Build thys #658: Pull request #123 opened by jvanbruegge
15m 22s no-registration
no-registration
15m 22s
Allow to change the names of all the constants (#122) Build thys #657: Commit 3f17a44 pushed by jvanbruegge
17m 31s master
master
17m 31s
Allow to change the names of all the constants Build thys #656: Pull request #122 opened by jvanbruegge
17m 15s change-name
change-name
17m 15s
Add BMV monads (#60) Build thys #655: Commit 1a1d851 pushed by jvanbruegge
17m 2s master
master
17m 2s
Build thys in Isabelle Devel Build thys in Isabelle Devel #14: Manually run by jvanbruegge
13s bmv_monads
bmv_monads
13s
Add BMV monads Build thys #654: Pull request #60 synchronize by jvanbruegge
17m 42s bmv_monads
bmv_monads
17m 42s
Add BMV monads Build thys #653: Pull request #60 synchronize by jvanbruegge
14m 16s bmv_monads
bmv_monads
14m 16s
Add BMV monads Build thys #652: Pull request #60 synchronize by jvanbruegge
3m 35s bmv_monads
bmv_monads
3m 35s
Add BMV monads Build thys #651: Pull request #60 synchronize by jvanbruegge
17m 23s bmv_monads
bmv_monads
17m 23s
Add BMV monads Build thys #650: Pull request #60 synchronize by jvanbruegge
15m 9s bmv_monads
bmv_monads
15m 9s